IEEE - Institute of Electrical and Electronics Engineers, Inc. - Retiming and resynthesis with sweep are complete for sequential transformation

2009 Formal Methods in Computer-Aided Design (FMCAD)

Author(s): Hai Zhou
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Austin, TX, USA, USA
Conference Date: 15 November 2009
Page(s): 192 - 197
ISBN (CD): 978-1-4244-4966-8
DOI: 10.1109/FMCAD.2009.5351122
Regular:

There is a long history of investigations and debates on whether a sequence of retiming and resynthesis is complete for all sequential transformations (on steady states). It has been shown that... View More

Advertisement