Bridge: A Versatile Behavioral Synthesis System

The existing behavioral synthesis systems either assume a micro- architecture model (6,8,11,12,13,14) or view the target circuits as a set of finite state Machines (2,16). A finite state machine model preserves a snapshot view of the circuit behavior; the circuit is implemented in a combinational part and a number of flip-flops.