If you made any changes in Pure these will be visible here soon.

Research Output 2018 2018

  • 1 Conference contribution

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 (IEEE), Vol. 2018-January, p. 1568-1573 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Specifications
Hardware
Computer hardware description languages
Inclusion
Functionality

Courses

Computer systems

1/09/09 → …

Course

Hardware verification

1/09/1531/08/20

Course

Software specification

1/09/18 → …

Course

Software specification

1/09/15 → …

Course