A flip-flop matching engine to verify sequential optimizations

MaRDI QIDQ5478939zbMATH OpenFDO

Authors Solaiman Rahim, Bruno Rouzeyre, Lionel Torres

Publication date 14 July 2006

zbMATH Keywords

combinational equivalence checkingdon't care conditionsequivalence checkingmatchingredundancy removalsequential optimizationssynthesis

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1191738
• scientific article; zbMATH DE number 2111140
• Equivalence checking of digital circuits in an industrial environment
• Equivalence checking using structural methods
• Sequential Equivalence Checking Using a Hybrid Boolean-Word Level Decision Diagram

Cited in

(1)

• Establishing latch correspondence for sequential circuits using distinguishing signatures

This page was built for publication: A flip-flop matching engine to verify sequential optimizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5478939)