Separate Binding of Assertions
silabs-robin opened this issue · comments
Task Outcome
The tb is rid from binds, the binds are separated out (into own file or otherwise as appropriate), and everything works functionality the same as it did before.
Or, some alternative solution to the problem is found.
Background information
See the comments in #2410
OneSpin formal works slightly different, so we cannot support both Jasper and OneSpin as the tb looks today.
Note: "remove binding to individual instances or use read_sva after compilation to load assertions", alternative?
Location Information
Completion Criteria
Both Jasper and OneSpin can compile with assertions included.