Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput 2018 2018

  • 1 Conferentiebijdrage

Automatic generation of hardware checkers from formal micro-architectural specifications

Fedotov, A. & Schmaltz, J., 19 apr 2018, Proceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018. Institute of Electrical and Electronics Engineers, Vol. 2018-January, blz. 1568-1573 6 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Specifications
Hardware
Computer hardware description languages
Inclusion
Functionality

Cursussen

Computer systems

1/09/09 → …

Cursus

Hardware verification

1/09/1531/08/20

Cursus

Software specification

1/09/15 → …

Cursus

Software specification

1/09/18 → …

Cursus