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

@inproceedings{pub8677,
    author = {

Huhn, Sebastian
 and 

Frehse, Stefan
 and 

Wille, Robert
 and 

Drechsler, Rolf
},
    title = {Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods},
    booktitle = {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},
    year = {2017}
}