URL:
<http://gna.org/task/?6444>
Summary: Submission of SCRV
Project: Gna! Administration
Submitted by: helmstet
Submitted on: Tuesday 01/20/2009 at 14:19
Status: None
Approval Status: None
Should Start On: Tuesday 01/20/2009 at 00:00
Should be Finished on: Friday 01/30/2009 at 00:00
Category: Project Approval
Priority: 5 - Normal
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
A new project has been registered at Gna!
This project account will remain inactive until a site admin approves or
discards the registration.
= Registration Administration =
While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
Administration <https://gna.org/siteadmin/groupedit.php?group_id=2884> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):
* Group Administration
<https://gna.org/siteadmin/groupedit.php?group_id=2884>
= Registration Details =
* Name: *SCRV*
* System Name: *scrv*
* Type: Programs
* License: Other (As SCRV is based on the OSCI SystemC library, we would like
to distribute it under the same license: the SystemC Open Source License.
http://www.systemc.org/about/org_docs/license/
)
----
==== Description: ====
SCRV is a tool chain to ease the validation of heterogeneous systems (e.g. a
system-on-chip mixing hardware and software).
A functional model of an heterogeneous system written in SystemC/TLM may be
use to simulate the embedded software and to validate the communications
inside the system, before the RTL description is available. The OSCI SystemC
library allows to simulate SystemC/TLM models, but does not allow to seek for
all synchronization errors because the OSCI scheduler is not flexible enough.
SCRV provides an improved simulator with a new scheduler, allowing
interactive simulation, random simulation, and automatic generation of
schedulings based on recent stateless model checking techniques.
SCRV may be of interest for all people using SystemC/TLM models to develop
new Systems-on-Chip (SoCs) or to port low level software to a new platform.
SCRV is currently used by STMicroelectronics (SoC manufacturer) and INRIA
(french research institute).
SCRV is distributed under the SystemC license. The source code is available
on the Verimag laboratory website:
http://www-verimag.imag.fr/~helmstet/scrv-2009-01-20.tgz
==== Other Software Required: ====
This project depends on two libraries:
- Xerces-C++ XML Parser
http://xerces.apache.org/xerces-c/
- LP Solve
http://sourceforge.net/projects/lpsolve
_______________________________________________________
Reply to this item at:
<http://gna.org/task/?6444>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Register mailing list
[email protected]
https://mail.gna.org/listinfo/register
