• 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