Sciweavers

Share
DAC
2008
ACM

Merging nodes under sequential observability

9 years 3 months ago
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
Michael L. Case, Victor N. Kravets, Alan Mishchenk
Added 12 Nov 2009
Updated 12 Nov 2009
Type Conference
Year 2008
Where DAC
Authors Michael L. Case, Victor N. Kravets, Alan Mishchenko, Robert K. Brayton
Comments (0)
books