S

SMASHUP

This project aims to automate the translation of hardware/software co-designs into a ProVerif specification that ProVerif can handle.

Project ID: 260
Name
Last commit
Last update
examples Loading commit data...
parser Loading commit data...
LICENSE_CECILL_ENG Loading commit data...
LICENSE_CECILL_FR Loading commit data...
README.md Loading commit data...
smashup.py Loading commit data...