HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Prototyping of VLSI Components from a Formal Specification

Roderick Mcconnell 1
1 API - Parallel VLSI Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : We present a trajectory from formal specification to component, 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 us to prove that custom components will be correctly synchronized in a system context. We first introduce VLSI Synchronous Data Flow, elaborate the constraints it imposes, and define functions relevant to constructing a system. Then we describe the construction of a simulation model. Finally, we develop a component for motion video coding in VHDL, starting from a formal specification.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074315
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 3:02:35 PM
Last modification on : Friday, February 4, 2022 - 3:25:11 AM
Long-term archiving on: : Sunday, April 4, 2010 - 9:57:15 PM

Identifiers

  • HAL Id : inria-00074315, version 1

Citation

Roderick Mcconnell. Prototyping of VLSI Components from a Formal Specification. [Research Report] RR-2363, INRIA. 1994. ⟨inria-00074315⟩

Share

Metrics

Record views

87

Files downloads

319