Prototyping of VLSI components from a formal specification | Zendy

R. McConnell | Zendy; Dominique Lavenier | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Prototyping of VLSI components from a formal specification

Author(s) -

R. McConnell,

Dominique Lavenier

Publication year - 1996

Publication title -

the journal of vlsi signal processing systems for signal image and video technology

Language(s) - English

Resource type - Journals

eISSN - 1573-109X

pISSN - 0922-5773

DOI - 10.1007/bf00924525

Subject(s) - computer science , formal specification , component (thermodynamics) , very large scale integration , system requirements specification , data flow diagram , vhdl , formal verification , coding (social sciences) , formal methods , programming language , computer architecture , embedded system , software engineering , field programmable gate array , database , mathematics , statistics , physics , thermodynamics

A trajectory from formal specification to component is presented, which can be used to prototype applications which combine off-the-shelf components and custom hardware, provided they meet the constraints of Synchronous 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 defined. Then, a component for motion video coding in VHDL is developed and synthesized, starting from a formal specification.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research