Control / data-flow analysis for VHDL semantic extraction

Journal of Information Science and Engineering

Volumn 14, Issue 3, 1998, Pages 547-565

  Hsieh, Yee Wing ^{a,b,c,d,e,f,g}   Levitan, Steven P ^{a,b,g,h,i,j,k,l,m}  

^a University of Pittsburgh   (United States)

^b UNIVERSITY OF PITTSBURGH   (United States)

^c OHIO STATE UNIVERSITY   (United States)

^d MENTOR GRAPHICS CORPORATION   (United States)

^e LUCENT TECHNOLOGIES   (United States)

^f ACM

^g IEEE

^h CASE WESTERN RESERVE UNIVERSITY   (United States)

ⁱ UNIVERSITY OF MASSACHUSETTS   (United States)

^j HEWLETT PACKARD COMPANY   (United States)

^k University of Massachusetts   (United States)

^l ACM special Interest Group

^m OSA ^*

more..

Author keywords

Control data flow analysis; Memory semantics extraction; Model abstraction; Model partitioning; VHDL semantics extraction

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED SOFTWARE ENGINEERING; DATA FLOW ANALYSIS; DATA STORAGE EQUIPMENT; MATHEMATICAL MODELS;

MEMORY SEMANTICS EXTRACTION; SOFTWARE PACKAGE COSPAN;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0032165081     PISSN: 10162364     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)

1. Z. Har' El and R. P. Kurshan, COSPAN User's Guide, AT&T Bell Laboratories, 1993.
2. K.L. McMillan, Symbolic Model Checking, Kluwer Academia Publisher, 1993.
3. R.K. Brayton, A. Sangiovanni-Vincentelli, F. Somenzi and A. Azi S. Sarwary, "Vis: A system for verification and synthesis," in Proceed-ings of Conference on Formal Methods in Computer-Aided Design, 1996, pp. 428-432.
4. IEEE, New York, VHDL Language Reference Manual, IEEE Standard 1076-1993, 1994.
5. A.V. Aho, R. Sethi and J.D. Ullman, Compilers: Principles, Techniques and Tools, ch. Code Optimization, Addison-Wesley Publishing Company, 1986, pp. 608-623.
6. Y.-W Hsieh and S.P. Levitan, "Model abstraction for formal verification," in Proceedings of The 1st Design, Automation and Test in Europe Conference, 1998, pp. 140-147.