Design and implementation of an abstract interpreter for VHDL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2860, Issue , 2003, Pages 263-269

  Hymans, Charles ^a  

^a ECOLE POLYTECHNIQUE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; HARDWARE; SEMANTICS;

ABSTRACT INTERPRETATIONS; DESIGN AND IMPLEMENTATIONS; FORMAL DEFINITION; HARDWARE COMPONENTS; HARDWARE LANGUAGES; SAFETY PROPERTY; VHDL DESCRIPTION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0142245446     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39724-3_23     Document Type: Article

References (6)

1. ANSI/IEEE Std 1076-1987. IEEE Standard VHDL Language Reference Manual, 1988.
2. P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2-3):103-179, 1992. (The editor of Journal of Logic Programming has mistakenly published the unreadable galley proof. For a correct version of this paper, see http://www.di.ens.fr/~cousot.).
3. K. Goossens. Reasoning about VHDL using operational and observational semantics. In Correct Hardware Design and Verification Methods, volume 987 of Lecture Notes in Computer Science, 1995.
4. M. Gordon. The semantic challenge of Verilog HDL. In 10th Annual IEEE Symposium on Logic in Computer Science, pages 136-145, 1995.
5. C. Hymans. Checking safety properties of behavioral VHDL descriptions by abstract interpretation. In 9th International Static Analysis Symposium (SAS'02), volume 2477 of Lecture Notes in Computer Science, pages 444-460, 2002.
6. V. Rodrigues, D. Borrione, and P. Georgelin. An ACL2 model of VHDL for symbolic simulation and formal verification. In XIII Symposium on Integrated Circuits and Systems Design, 2000.