Show simple item record

Formal Hardware Verification in a Silicon Compilation Environment by Means of Theorem Proving

dc.contributor.authorAngelo, Catia Marcondes
dc.date.accessioned2021-09-29T12:39:41Z
dc.date.available2021-09-29T12:39:41Z
dc.date.issued1994-02
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/18
dc.sourceIIOimport
dc.titleFormal Hardware Verification in a Silicon Compilation Environment by Means of Theorem Proving
dc.typePHD thesis
dc.source.peerreviewno
imec.availabilityPublished - imec
imec.internalnotesThesis Advisors : Prof. Dr. Ir. L. Claesen and Prof. Dr. Ir. De Man


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record