Rapid-prototyping of high-assurance systems

Author

Auletta, Richard ; Traver, Chenice

Author_Institution

Dept. of Electr. & Comput. Eng., George Mason Univ., Fairfax, VA, USA

fYear

1993

fDate

5-6 Mar 1993

Firstpage

85

Lastpage

89

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/GLSV.1993.224474

Filename

224474