Livesynthesis: Towards An Interactive Synthesis Flow

The LiveSynth flow extracts a small subset of the design for synthesis and merges it back into the original synthesized netlist, thereby achieving results comparable to the non-incremental synthesis.LiveSynth includes two phases: a setup phas…

The LiveSynth flow extracts a small subset of the design for synthesis and merges it back into the original synthesized netlist, thereby achieving results comparable to the non-incremental synthesis.

LiveSynth includes two phases: a setup phase and a live (interactive) phase. The setup phase performs a regular synthesis of the whole design, finding invariant regions that are used as incremental grains for the live phase. 

More particularly, during the setup phase, LiveSynth automatically defines regions of a few thousand gates that make up the incremental grains. IN these incremental grains, LiveSynth finds invariant cones that are regions that do not change functionality across synthesis. These cones define regions where further optimization is not possible or necessary. 

During the live phase, each time there is a change in the resistor-transistor logic, LiveSynth performs and interactive pass that determines which changes were affected by the change and synthesizes only those regions. 

Fully optimized designs are achieved using a background process that optimizes the design of the first set of changes while the user works on the next set of changes. The background process removes imperfections inserted by the live flow, thereby improving the design implementation. 

Abstract

In digital circuit design, synthesis is a tedious and time-consuming task. Designers wait several hours for relatively small design changes to yield synthesis results.

Website

https://techtransfer.universityofcalifornia.edu/NCD/32828.html?utm_source=AUTMGTP&utm_medium=webpage&utm_term=ncdid_32828&utm_campaign=TechWebsites

Advantages

  • Incremental synthesis
  • Rapid but accurate results 
  • Faster development cycle 

Potential Applications

Digital circuit design

Contact Information

Name: Jeff Jackson

Email: jjackso6@ucsc.edu

Phone: (831) 459-3976