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

Glory Cheemala

    Onderzoeksoutput: ScriptiePd Eng Thesis

    Originele taal-2Engels
    Toekennende instantie
    Begeleider(s)/adviseur
    • van der Putten, Piet, Begeleider
    • Boonen, Marleen, Externe begeleider, Externe Persoon
    • Postuma, Gerard, Externe begeleider, Externe Persoon
    Datum van toekenning1 jan 2008
    Plaats van publicatieEindhoven
    Uitgever
    Gedrukte ISBN's978-90-444-0803-4
    StatusGepubliceerd - 2008

    Bibliografische nota

    Eindverslag.

    Citeer dit