Reiner Genevriere

Learn More
In this paper a methodology for automatic area minimizing resynthesis of synchronous, digital circuitry was introduced. The circuit is entirely treated as a finite-state machine. The entire procedure works on a symbolic transition system which is represented as a set of BDDs.The redesign task is mainly understood as a re-encoding problem of the switching(More)
Memory is one of the most important components to be optimized in the several phases of the synthesis process. In behavioral synthesis, a memory is viewed as an abstract construct which hides the detail implementations of the memory. Consequently, for a vendor's memory, behavioral synthesis should create a clean model of the memory wrapper which abstracts(More)
  • 1