“TTool for DIPLODOCUS” is an open-source UML-based toolkit for the design space exploration of system-on-chip. Its strength relies in its abstraction and formal verification capabilities.

Contact:
Ludovic Apvrille (Ludovic.Apvrille@enst.fr)