Martin Wilke 62872200a3 The SystemC Verification (SCV) library is an extension library to SystemC ... which adds advanced verification capabilities to SystemC, including constrained randomization, complex constraint solvers, data-structure creation, Transaction Level Modeling (TLM), concurrency, and dynamic resource allocation management. WWW: http://www.systemc.org/ PR: ports/106822 Submitted by: Peter Johnson		2006-12-22 09:09:38 +00:00
..
files
distinfo
Makefile
pkg-descr