Fixing Design Errors with Counterexamples and Resynthesis

14 years 4 months ago

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

Kai-Hui Chang, Igor L. Markov, Valeria Bertacco

ASPDAC 2007 | Hardware | Innovative Resynthesis Techniques | Internal Circuit Nodes | Simulation-based Verification |

claim paper

Added	12 Aug 2010
Updated	12 Aug 2010
Type	Conference
Year	2007
Where	ASPDAC
Authors	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco

Comments (0)