Automatic generation of hardware checkers from formal micro-architectural specifications

Alexander Fedotov, Julien Schmaltz

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Automatic generation of hardware checkers from formal micro-architectural specifications'. Samen vormen ze een unieke vingerafdruk.

Zaken en Economie

Engineering en materiaalwetenschappen