1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-02-04 11:23:46 +00:00
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
..
2006-07-06 19:43:47 +00:00
2006-12-05 21:45:12 +00:00
2006-07-20 07:45:16 +00:00
2006-10-21 10:14:27 +00:00
2006-05-07 12:43:34 +00:00
2006-07-14 21:53:59 +00:00
2006-11-01 22:26:33 +00:00
2006-11-12 21:50:10 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-10-10 07:44:57 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-11-03 17:50:45 +00:00
2006-08-01 19:51:08 +00:00
2006-05-14 20:11:50 +00:00
2006-07-29 19:34:03 +00:00
2006-08-03 03:26:38 +00:00
2006-12-01 00:25:47 +00:00
2006-10-03 13:29:12 +00:00
2006-11-01 23:28:09 +00:00
2006-11-24 21:46:14 +00:00
2006-12-18 00:27:34 +00:00
2006-11-03 17:50:45 +00:00
2006-08-16 15:12:47 +00:00
2006-10-09 09:52:05 +00:00
2006-06-04 15:41:11 +00:00
2006-12-05 08:29:35 +00:00
2006-10-07 14:44:43 +00:00
2006-12-16 18:11:39 +00:00
2006-11-30 02:57:56 +00:00
2006-11-30 16:07:11 +00:00
2006-10-21 10:14:56 +00:00