PROTOTYPING OF VLSI COMPONENTS FROM A FORMAL SPECIFICATION

A trajectory from formal specification to component is presented, whic h can be used to prototype applications which combine off-the-shelf co mponents and custom hardware, provided they meet the constraints of Sy nchronous Data Flow. The formal specification allows one to prove that custom components will be correctly synchronized in a system context. VLSI Synchronous Data Flow is introduced, the constraints it imposes are elaborated, and functions relevant to constructing a system are de fined. Then, a component for motion video coding in VHDL is developed and synthesized, starting from a formal specification.