Formal verification of digital IP's by using onespin gapfreeverification methodology

Glory Cheemala

    Research output: ThesisPd Eng Thesis

    Original languageEnglish
    Awarding Institution
    Supervisors/Advisors
    • van der Putten, Piet, Supervisor
    • Boonen, Marleen, External supervisor, External person
    • Postuma, Gerard, External supervisor, External person
    Award date1 Jan 2008
    Place of PublicationEindhoven
    Publisher
    Print ISBNs978-90-444-0803-4
    Publication statusPublished - 2008

    Bibliographical note

    Eindverslag.

    Cite this