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

Fingerprint Dive into the research topics where Alexander Fedotov is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 51 Similar Profiles
Specifications Engineering & Materials Science
Hardware Engineering & Materials Science
Computer hardware description languages Engineering & Materials Science

Research Output 2018 2019

  • 1 Report
  • 1 Conference contribution

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., Nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 19-04)

Research output: Book/ReportReportAcademic

Open Access
File

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. p. 1568-1573 6 p.

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

Specifications
Hardware
Computer hardware description languages
Functionality
Inclusion

Courses

Computer systems

1/09/09 → …

Course

Hardware verification

1/09/1531/08/20

Course

Software specification

1/09/15 → …

Course