Citation
Maher Mneimneh, Karem Sakallah, John Moondanos. "Preserving Synchronizing Sequences of Sequential Circuits After Retiming". 2004 Asia and South Pacific Design Automation Conference, 6, January, 2004.

Abstract
We propose a novel approach to preserve the synchronizing sequences of a circuit after retiming. The significance of this problem stems from the necessity of maintaining correct initialization of circuits after retiming optimizations. It has been previously shown that forward retiming moves across fanout stems can destroy a synchronizing sequence. We build on this observation and introduce the notion of “invalid states” that might arise due to forward moves. We show that the set of synchronizing sequences of a given circuit can be preserved by modifying transitions from those invalid states. We present an algorithm that implicitly computes the set of invalid states. Then, we describe a post-retiming synthesis step that incrementally resynthesizes some next-state functions to alter the behavior of invalid states to ensure correct post-retiming initialization. We report promising experimental results on the ISCAS 89 benchmarks and on a set of retimed circuits from an Intel Pentium-III class microprocessor.

Electronic downloads

• Maher-Mneimneh-aspdac04.pdf · application/pdf · 199 kbytes

Citation formats

• HTML

  Maher Mneimneh, Karem Sakallah, John Moondanos. <a
  href="http://www.gigascale.org/pubs/444.html">Preserving
  Synchronizing Sequences of Sequential Circuits After
  Retiming</a>, 2004 Asia and South Pacific Design
  Automation Conference, 6, January, 2004.

• Plain text

  Maher Mneimneh, Karem Sakallah, John Moondanos. "Preserving
  Synchronizing Sequences of Sequential Circuits After
  Retiming". 2004 Asia and South Pacific Design Automation
  Conference, 6, January, 2004.

• BibTeX

  @inproceedings{MneimnehSakallahMoondanos04_PreservingSynchronizingSequencesOfSequentialCircuits,
      author = {Maher Mneimneh and Karem Sakallah and John
                Moondanos},
      title = {Preserving Synchronizing Sequences of Sequential
                Circuits After Retiming},
      booktitle = {2004 Asia and South Pacific Design Automation
                Conference},
      pages = {6},
      month = {January},
      year = {2004},
      abstract = {We propose a novel approach to preserve the
                synchronizing sequences of a circuit after
                retiming. The significance of this problem stems
                from the necessity of maintaining correct
                initialization of circuits after retiming
                optimizations. It has been previously shown that
                forward retiming moves across fanout stems can
                destroy a synchronizing sequence. We build on this
                observation and introduce the notion of “invalid
                states” that might arise due to forward moves. We
                show that the set of synchronizing sequences of a
                given circuit can be preserved by modifying
                transitions from those invalid states. We present
                an algorithm that implicitly computes the set of
                invalid states. Then, we describe a post-retiming
                synthesis step that incrementally resynthesizes
                some next-state functions to alter the behavior of
                invalid states to ensure correct post-retiming
                initialization. We report promising experimental
                results on the ISCAS 89 benchmarks and on a set of
                retimed circuits from an Intel Pentium-III class
                microprocessor.},
      URL = {http://www.gigascale.org/pubs/444.html}
  }
  

Posted by Aaron Walburg on 18 Feb 2004..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.