Expand description
Parameterized Verification
Verify properties for any bus width N, any FIFO depth D, etc. Uses Z3 quantifiers: forall N:Int. N > 0 -> property(N).
Enums§
Functions§
- verify_
parameterized - Verify a parameterized property.
Parameterized Verification
Verify properties for any bus width N, any FIFO depth D, etc. Uses Z3 quantifiers: forall N:Int. N > 0 -> property(N).