Explore projects
-
mbe-tools / TTool
OtherTTool (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
Updated -
sdram20 / coqdram
Apache License 2.0Updated -
Example of Verilog/SystemVerilog + SystemC TB simulation using Verilator
Updated -
sdram20 / MCsimCoq
MIT LicenseUpdated -
This is a project of OPC UA specification Part 14 PubSub implementation.
The project include 2 major parts : OPC UA server with opc ua pubsub kit and OPC UA MQTT Configuration tool .
Updated -
Generation of SystemC code from AADL models for functional simulation
Updated -
Updated
-
sen / stanalysis
MIT LicenseUpdated -
Xuecan Yang / chenchen
GNU Affero General Public License v3.0Updated -
Philippe Martins / free5gran
Apache License 2.0Updated -
Updated
-
Renaud Pacalet / embb
CeCILL Free Software License Agreement v2.1Embb, a generic hardware and software architecture for digital signal processing
Updated -
Updated
-
Updated
-
Updated
-
Xuecan Yang / darknet_mnist
MIT LicenseUpdated