Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove non staged ports without pending PR from c* | Baptiste Daroussin | 2014-09-01 | 6 | -129/+0 |
| | | | | Notes: svn path=/head/; revision=366865 | ||||
* | The SystemC Verification (SCV) library is an extension library to SystemC | Martin Wilke | 2006-12-22 | 6 | -0/+129 |
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 Notes: svn path=/head/; revision=180469 |