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 verification automation tool suite introduced in February.

NSCa is a native SystemC assertion development and debug environment. Its assertion syntax is said to provide a fourfold to tenfold code reduction over writing assertions directly in SystemC. An integrated development environment provides debug, coverage and trace tools, along with editing and make-file creation.

Until now, however, NSCa supported only cycle-level assertions.

Transaction assertions boost Jeda NSCa suite