ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...