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

Page view(s)

66
Last Week
0
Last month
3
checked on Oct 22, 2020

Google ScholarTM

Check

Add Files to Item

Note about this record

Export

Items in TORE are protected by copyright, with all rights reserved, unless otherwise indicated.