SMASHUP

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