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 :
بازگشت