Title :
Merging nodes under sequential observability
Author :
Case, Michael L. ; Kravets, Victor N. ; Mishchenko, Alan ; Brayton, Robert K.
Abstract :
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.
Keywords :
combinational circuits; logic CAD; network synthesis; sequential circuits; combinational observability; sequential equivalence; sequential observability; sequential technology independent synthesis; Algorithm design and analysis; Circuit synthesis; Design automation; Design optimization; Logic design; Merging; Observability; Permission; Signal design; Signal synthesis; Merge; Observable; Sequential; Synthesis;
Conference_Titel :
Design Automation Conference, 2008. DAC 2008. 45th ACM/IEEE
Conference_Location :
Anaheim, CA
Print_ISBN :
978-1-60558-115-6