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

Glory Cheemala

Research output: Thesis › EngD Thesis

Original language	English
Supervisors/Advisors	van der Putten, Piet, Supervisor Boonen, Marleen, External supervisor, External person Postuma, Gerard, External supervisor, External person
Award date	1 Jan 2008
Place of Publication	Eindhoven
Publisher	Technische Universiteit Eindhoven
Print ISBNs	978-90-444-0803-4
Publication status	Published - 2008

Eindverslag.

Cite this

@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",

type = "EngD Thesis",

}