Enhancing robustness of sequential circuits using application-specific knowledge and formal methods.

Sebastian Huhn, Stefan Frehse, Robert Wille, Rolf Drechsler

Browse the full ASPDAC paper archive.