Options
An Overview on Formal Techniques for Understanding Digital Hardware Designs
Publikationstyp
Conference Paper
Date Issued
2018-08
Sprache
English
Author(s)
Institut
TORE-URI
Start Page
75
End Page
80
Article Number
8748750
Citation
International Conference on Reliability, Infocom Technologies and Optimization: Trends and Future Directions (ICRITO 2018)
Contribution to Conference
Publisher DOI
Scopus ID
Today's complex digital hardware systems are developed by large distributed teams of engineers often spread over multiple companies. Reuse of existing Intellectual Property (IP) cores and software libraries as well as the integration of various technologies makes it impossible for a single person to know all the details of the actual implementation. Often documentation is outdated or not even available. However, when activating (sub-)systems, debugging certain functionality, or including new team members, a detailed understanding is mandatory to converge to a reliable embedded device. Automation for design understanding provides tool support for understanding the functionality of unknown systems or functional units. This overview reviews the state-of-the-art in formal techniques usable or targeted to support design understanding.