|Publisher DOI:||10.1109/ICRITO.2018.8748750||Title:||An Overview on Formal Techniques for Understanding Digital Hardware Designs||Language:||English||Authors:||Fey, Görschwin||Issue Date:||Aug-2018||Source:||2018 7th International Conference on Reliability, Infocom Technologies and Optimization: Trends and Future Directions, ICRITO 2018 : 75-80 (2018-08)||Journal or Series Name:||International Conference on Reliability, Infocom Technologies and Optimization: Trends and Future Directions, ICRITO 2018||Abstract (english):||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.||URI:||http://hdl.handle.net/11420/3085||ISBN:||978-153864692-2||Institute:||Eingebettete Systeme E-13||Type:||InProceedings (Aufsatz / Paper einer Konferenz etc.)|
|Appears in Collections:||Publications without fulltext|
Show full item record
checked on Oct 22, 2020
Add Files to Item
Note about this record
Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.