Title :
Rapid-prototyping of high-assurance systems
Author :
Auletta, Richard ; Traver, Chenice
Author_Institution :
Dept. of Electr. & Comput. Eng., George Mason Univ., Fairfax, VA, USA
Abstract :
The rapid prototyping of VLSI systems from an abstract specification is described. The high-assurance rapid-prototyping environment HARP is used. HARP is based on the translation of an abstract formal language with a formal semantics to a synchronous, communication-dominated finite state machine with data path implementation. The approach supports the specification, verification, synthesis, and VLSI level implementation of communicating sequential processes (CSP)-specified globally and locally clocked synchronous digital systems using existing tools for design and formal verification
Keywords :
VLSI; circuit CAD; circuit layout CAD; integrated logic circuits; logic CAD; sequential circuits; CAD; FSM; HARP; VLSI systems; abstract specification; communicating sequential processes; data path implementation; digital circuit design; finite state machine; formal verification; high-assurance systems; locally clocked synchronous digital systems; rapid prototyping; Communication channels; Communication switching; Communication system control; Digital systems; Formal verification; Hardware design languages; Protocols; Prototypes; Switches; Very large scale integration;
Conference_Titel :
VLSI, 1993. 'Design Automation of High Performance VLSI Systems', Proceedings., Third Great Lakes Symposium on
Conference_Location :
Kalamazoo, MI
Print_ISBN :
0-8186-3430-8
DOI :
10.1109/GLSV.1993.224474
