Section: Software
SimSoC
Participants : Claude Helmstetter, Vania Joloboff [ correspondant ] , Jiajia Song, Hui Xiao.
The simulation software made by the FORMES Team is called SimSoC. It is based on SystemC kernel and uses Transaction Level Modeling for interactions between the hardware models. The software includes:
-
Instruction Set Simulators. The ARM Version 5 has been implemented. Other architectures are under development.
-
A dynamic translator from binary programs to an internal representation. For the ARM architecture a compiler has been developed that generates the C++ translated code, using parameterized specialization options.
-
Some peripheral models such as a serial line controller, a flash memory controller, an interrupt controller.
-
Utilities software such as a utility to generate permanent storage for flash memory simulation, or a compiler tool to generate instruction binary decoder.
It is intended that the software will be distributed under open source license. See http://formes.asia/cms/softwares/simsoc for more information.