mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-30 05:40:06 +00:00
62872200a3
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
8 lines
343 B
Plaintext
8 lines
343 B
Plaintext
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/
|