Fixing Design Errors with Counterexamples and Resynthesis

-- In this work we propose a new error-correction framework, called CoR

• Type: Conference
• Year: 2007
• Where: ASPDAC
• Authors: Kai-Hui Chang, Igor L. Markov, Valeria Bertacco
• Keywords: ASPDAC 2007, Hardware, Innovative Resynthesis Techniques, Internal Circuit Nodes, Simulation-based Verification