FreeBSD cad  : scv
SystemC Verification library
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.
http://www.systemc.org/
|
scv history
v. 1.2
date: 2007/07/19 07:44:08; author: gabor; state: Exp; lines: +1 -1
- Remove USE_GNUCONFIG, which is a noop
- portlint(1)
PR: ports/114283
Submitted by: gabor
Approved by: Peter Johnson (maintainer)
v. 1.1
date: 2006/12/22 09:09:38; author: miwi; state: Exp;
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
=============================================================================
|
