Merging nodes under sequential observability

This paper presents a new type of sequential technology independent synthesis. Building on the previous notions of combinational observability and sequential equivalence, sequential observability is introduced and discussed. By considering both the sequential nature of the design and observability simultaneously, better results can be obtained than with either algorithm alone. The experimental results show that this method can reduce the technology-independent gate count up to 10% more than the previously best known synthesis techniques. Categories and Subject Desc. J.6 [Computer-aided design]: CAD General Terms Algorithms, Design, Performance, Verification Keywords Sequential, Observable, Merge, Synthesis

• Type: Conference
• Year: 2008
• Where: DAC
• Authors: Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton
• Keywords: DAC 2008, Design Automation, Sequential Equivalence, Sequential Nature, Sequential Technology