The SAVANT project is a joint program between the Air Force, MTL Systems, Inc. and the University of Cincinnati to develop a VHDL analyzer that is freely redistributable for noncommercial use. The goal is to facilitate the insertion of VHDL technology into the government, industrial, and university research and development programs. The analyzer validates the correctness of the input VHDL and builds an intermediate representation in memory for manipulation by backend analysis tools (e.g., behavioral synthesis, fault modeling, and simulation code generators). The intermediate (called AIRE/CE) is well-documented, in review for standardization, and in use by other commercial vendors. The SAVANT technology is freely available in source code form and, under separate programs, the University of Cincinnati is also developing a backend code generator and simulation kernel so that complete front-to-back analysis and simulation activities can be performed with nearly free software.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    The SAVANT project


    Contributors:
    Wilsey, P.A. (author) / Martin, D.E. (author) / Hirsch, H. (author)


    Publication date :

    1998-01-01


    Size :

    709805 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    The Savant Project

    Wilsey, P. / Martin, D. / Hirsch, H. et al. | British Library Conference Proceedings | 1998


    Volkswagen Polo TDi Confort - Savant melange

    L'Hospital,G. / Caremantrant,M. / Volkswagen,Wolfsburg,DE | Automotive engineering | 1999


    VHDL-based distributed fault simulation using SAVANT

    Baucom, R.J. / DeLong, T.A. / Smith, D.T. et al. | IEEE | 1998


    VHDL-Based Distributed Fault Simulation Using Savant

    Baucom, R. / DeLong, T. / Smith, D. et al. | British Library Conference Proceedings | 1998


    Hope for the SGML Savant Is Near & Far Away

    Boeri, R. J. / Hensel, M. | British Library Online Contents | 1996