K 10
svn:author
V 4
miwi
K 8
svn:date
V 27
2006-12-22T09:09:38.000000Z
K 7
svn:log
V 390
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

END