1. Publications
  2. Toward a methodology for unified verification of hardware/software co-designs
  3. Toward a methodology for unified verification of hardware/software co-designs
print

Toward a methodology for unified verification of hardware/software co-designs

 

PUBLICATION: Toward a methodology for unified verification of hardware/software co-designs

© Springer. Personal use of this material is permitted. The definitive version of this paper was published in PROOFS 2015, Security Proofs for Embedded Systems, 17 September 2015, Saint-Malo, France / To be published in Journal of Cryptographic Engineering (JCEN), Springer and is available at :

Document