| Version 60 (modified by , 15 years ago) (diff) |
|---|
What is SoCLib
- SoCLib is an open platform for virtual prototyping of multi-processors system on chip (MP-SoC).
- The core of the platform is a library of SystemC simulation models for virtual components (IP cores), with a guaranteed path to silicon.
- The project is funded by the french 'Agence Nationale pour la Recherche'.
- It involves 6 industrial companies and 10 laboratories? which are working together to build this platform
You may want to have a look at FeaturesDescription, or [GetAccount get an account] If you want to try SoCLib without going through the installation process, the SoCLib Virtual machine appliance may help you !
SoCLib Components
- SoCLib Components General Index : documentation about the available hardware components (IP cores)
Installation
- Installation Notes : how to install the SoCLib platform on your computer
Development
- Soclib Cc is the current build system for SoCLib platforms
- Adding new components to the library : the rules to follow to add a new IP core to the library.
SoCLib OS support
- DNA/OS : DNA/OS is a micro-kernel for MPSoCs. It supersedes MutekA, and still provides the POSIX thread API.
- MutekH : Exo-kernel based OS for classical and heterogeneous MPSoCs with POSIX threads support
- NetBSD : Highly portable Unix-like Open Source operating system
- eCos : An open source, royalty-free, real-time operating system intended for embedded applications.
- RTEMS : Real-Time Operating System for Multiprocessor Systems
Middleware
- MWMR : Hardware / Software communication middleware
- MutekS : Optimized, static OS implementation usable with the DSX tool
SoCLib Tools
- DSX : Design Space Exploration tool
- SystemCASS : Fast SystemC simulation kernel
- SoCView : Interactive simulation environment for debug and instrumentation
- GdbServer : A GDB server for multi-processor architectures
- MemoryChecker : A memory access error checker similar to valgrind.
- VCI Validation : A library for the validation of the VCI protocol (CABA and TLM-T versions)
- GAUT : A high-level synthesis tool allowing to generate automatically systemC CABA and TLM-T files.
SoCLib Resources
Mailing list
The dev@… Mailing list is public and targets general discussion about SoCLib component development.
To join the list, either
- send an email to dev-subscribe@…;
- see http://www.soclib.fr/wws/info/dev.
Writing and design guides
- General SoCLib Rules : general rules regarding the SoCLib components.
- CABA Writing Rules : rules to write SystemC CABA simulation models.
- TLM-DT Writing Rules : rules to write SystemC TLM-DT simulation models.
- Processor Modeling : a general method to write generic processor models.
- Endianness considerations? : Endianness rules in SoCLib
- CABA/TLM-DT Transactors : general principles
Miscelaneous
- Critères Pour Plate-Forme TLM-T : criteria defined for writing TLM-T simulation models.
- SoclibCc/DesignGuide is an attempt to justify the choices made in soclib-cc
- Models of documents? to be used by the project partners
- Frequently asked questions: When things goes wrong
- Benchmark: A few shared benchmarks
