A design and verification environment for ELLA

Author

Barringer, Howard ; Gough, Graham ; Monahan, Brian ; Williams, Albert ; Arcus, Matthew ; Armstrong, Andrew ; Hill, Mike

Author_Institution

Dept. of Comput. Sci., Manchester Univ., UK

fYear

1995

fDate

29 Aug-1 Sep 1995

Firstpage

685

Lastpage

690

Abstract

We describe a fully integrated design environment for the Hardware Description Language ELLA, which provides formal verification support to the hardware engineer. The environment includes both conventional hardware design tools, and special purpose tools for ELLA-level design transformation, symbolic simulation and formal verification. All tools operate from an underlying formal semantic representation of ELLA. The operation of the various tools is described from the user viewpoint via a simple design example

Keywords

digital simulation; formal verification; hardware description languages; logic CAD; ELLA; ELLA-level design transformation; Hardware Description Language; formal semantic representation; formal verification; hardware design tools; hardware engineer; integrated design environment; symbolic simulation; Circuit simulation; Computer science; Design automation; Design engineering; Displays; Formal verification; Graphical user interfaces; Hardware design languages; Libraries; Monitoring;

fLanguage

English

Publisher

ieee

Conference_Titel

Design Automation Conference, 1995. Proceedings of the ASP-DAC '95/CHDL '95/VLSI '95., IFIP International Conference on Hardware Description Languages. IFIP International Conference on Very Large Scal

Conference_Location

Chiba

Print_ISBN

4-930813-67-0

Type

conf

DOI

10.1109/ASPDAC.1995.486387

Filename

486387