systemverilog assertion package for commonly used properties, sequences, and checkers
/* Import Package */
import common_sva_pkg::*
/* Implementation */
SVA_CHECK_TIMING_AST_WIDTH(clk, input, 20)
- implement unit tests
-
Notifications
You must be signed in to change notification settings - Fork 0
loideyron/common_sva
About
Common SVA
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published