This project provides utility libraries that can be used by several MBE tools such as RAMSES, TTool or RDALTE
TTool (pronounced "tea-tool") is a toolkit dedicated to the edition of UML and SysML diagrams, and to the simulation and formal verification (safety, security, performance) of those diagrams.
See ttool.telecom-paris.fr and @TTool_UML_SysML
SystemVerilog simulation environment for an UART
A hardware / software architecture protecting the external memories of an SoC