|
Native SystemC Assertions(NSCa), is a scalable System to RTL verification solution that provides native assertion mechanism in SystemC. In its first release, NSCa provides assertions constructs very much similar to those in SystemVerilog Assertions(SVA).
|
||||||
|
||||||
|
||||||
