Title :
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
fDate :
29 Aug-1 Sep 1995
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;
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
DOI :
10.1109/ASPDAC.1995.486387
