forked from opendacs/PyHCL
33 lines
429 B
Markdown
33 lines
429 B
Markdown
# General
|
|
|
|
|
|
|
|
# Formal backend
|
|
|
|
|
|
|
|
# Installing requirements
|
|
|
|
|
|
|
|
# Example
|
|
## External assertions
|
|
## Internal assertions
|
|
## External stimulus
|
|
## More assertions/past
|
|
## Assuming memory content
|
|
|
|
|
|
|
|
# Utilities and primitives
|
|
## Assertions/clock/reset
|
|
## Specifying the initial value of a signal
|
|
## Specifying a initial assumption
|
|
## Memory content(Mem)
|
|
## Specifying assertion in the reset scope
|
|
## Formal primitives
|
|
|
|
|
|
|
|
|
|
# Limitations |