California at Berkeleys Synthesis System

The University of California at Berkeley s synthesis system includes tran ormations, scheduling and data path synthesis. 

A serial / parallel / disjoint code sequence, represented textually in a Lisp-based syntax. 

Uses various compiler transformations, including constant folding and dead code elimination. 

Tseng s running example, a MOSFET model evaluation routine, a code sequence example, and a fifth-order digital elliptic wave filter example. 

Srinivas Devadas, Algorithms for Hardware Allocation in Data Path Synthesis , IEEE Trans, on CAD, pages 768-781, July 1989. 

---