JEDA is focused on SystemC verification automation.  NSCv provides in-line dynamic treading with memory management and data coverage to SystemC.  NSCv fixes the fundamental threading limitations and memory management problems in SystemC and addresses some of missing capabilities in the commercially unsupported SCV (SystemC Verification Library).
 
NSCa is a comprehensive native SystemC assertion development and debug environment for transaction-level and cycle-level design.  NSCa enables the architect/systems engineer to create system-level checks that are used throughout the design and verification cycles.

Consultants' Corner
Gary Stringham & Associates, LLC
Sunburst Design, Inc.
Sutherland HDL, Inc.
XtremeEDA Corp.