mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +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
4 lines
224 B
Plaintext
4 lines
224 B
Plaintext
MD5 (scv-1.0p2-sysc2.2.12jun06.tgz) = a7570ed0c21959dd86226d0ea86dc093
|
|
SHA256 (scv-1.0p2-sysc2.2.12jun06.tgz) = e93ca7125ff8b3fa4db54d5996b387a13e45a3a6e6dab30246e50f7c5bf0efc0
|
|
SIZE (scv-1.0p2-sysc2.2.12jun06.tgz) = 2266179
|