TripleS - a formal validation environment for functional specifications

Juha-Pekka Soininen, Janne Saarikettu, Ville Veijalainen, Tuomo Huttunen

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    Abstract

    A TripleS formal validation environment for the analysis of functional specification is presented.The approach is based on the state space generation, model abstraction, data hiding and advanced analysis techniques.
    Original languageEnglish
    Title of host publicationHardware description languages and their application
    Subtitle of host publicationSpecification, modelling, verification and synthesis of microelectronic systems
    EditorsCarlos Delgado Roos, Eduard Cerny
    Place of PublicationLondon
    Pages83-85
    ISBN (Electronic)978-0-387-35064-6
    DOIs
    Publication statusPublished - 1997
    MoE publication typeA4 Article in a conference publication
    EventIFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications - Toledo, Spain
    Duration: 20 Apr 199725 Apr 1997

    Publication series

    SeriesIFIP International Federation for Information Processing
    ISSN1571-5736

    Conference

    ConferenceIFIP TC 10 WG 10.5 International Conference on Computer Hardware Description Languages and Their Applications
    CountrySpain
    CityToledo
    Period20/04/9725/04/97

    Fingerprint Dive into the research topics of 'TripleS - a formal validation environment for functional specifications'. Together they form a unique fingerprint.

    Cite this