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

Glory Cheemala

Onderzoeksoutput: Scriptie › EngD Thesis

Originele taal-2	Engels
Begeleider(s)/adviseur	van der Putten, Piet, Begeleider Boonen, Marleen, Externe begeleider, Externe Persoon Postuma, Gerard, Externe begeleider, Externe Persoon
Datum van toekenning	1 jan. 2008
Plaats van publicatie	Eindhoven
Uitgever	Technische Universiteit Eindhoven
Gedrukte ISBN's	978-90-444-0803-4
Status	Gepubliceerd - 2008

Eindverslag.

Citeer dit

@phdthesis{198a1fb257db47bf8884313dfb477090,

title = "Formal verification of digital IP's by using onespin gapfreeverification methodology",

author = "Glory Cheemala",

note = "Eindverslag.",

year = "2008",

language = "English",

isbn = "978-90-444-0803-4",

series = "Eindverslagen Stan Ackermans Instituut",

publisher = "Technische Universiteit Eindhoven",

}