Santa Cruz, Calif. — Working to support modeling and verification at a higher level of abstraction, Jeda Technologies is adding transaction-level assertion to native SystemC assertion (NSCa), a ...

Advances in both the physical properties of chips and in design tools allow us build huge systems into “just a few” square millimeters. The problem is that modeling these systems at the ...