Proceedings-Artikel

Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler
In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January 16-19, Tokio, Japan, 2017.

Weitere Links

BibTeX