DocumentCode
1747629
Title
Handling complex VHDL semantics with an OO intermediate format
Author
Rahmati, Dara ; Zebardast, Abolfazl Salimi ; Reshadi, Mohammad H. ; Navabi, Zainalabedin
Author_Institution
Dept. of Electr. & Comput. Eng., Tehran Univ., Iran
Volume
2
fYear
2001
fDate
2001
Firstpage
1273
Abstract
One of the most important problems for integrating CAD tools is the sharing of the design information between various tools and environments. Using a standard intermediate format makes the interfacing and processing very easy so that all the applications may start their own processing from intermediate formats. We have used the CHIRE (Compiled HDL Intermediate Representation with Extensibility) intermediate format, which is a revision of AIRE/CE and have implemented a VHDL analyzer that generates the CHIRE intermediate format and covers the whole grammar. It also has a powerful semantic checking capability. We propose a semantic checking algorithm and illustrate its steps by using a very complicated example for the challenging aspects of semantic checking in VHDL. Being a good example of using CHIRE, it also implicitly demonstrates the benefits of using an object-oriented format for CAD tools
Keywords
context-sensitive grammars; hardware description languages; object-oriented methods; program compilers; programming language semantics; AIRE/CE; CAD environments; CAD tools integration; CHIRE; CHIRE intermediate format; OO intermediate format; VHDL analyzer; compiled HDL intermediate representation with extensibility; complex VHDL semantics; context-sensitive grammar; design information sharing; grammar; interfacing; object-oriented format; processing; semantic checking algorithm; standard intermediate format; Aggregates; Design automation; Design engineering; Hardware design languages; Intellectual property; Memory management; Protection; Testing; Trademarks;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 2001. Canadian Conference on
Conference_Location
Toronto, Ont.
ISSN
0840-7789
Print_ISBN
0-7803-6715-4
Type
conf
DOI
10.1109/CCECE.2001.933625
Filename
933625
Link To Document