Verification driven formal architecture and microarchitecture modeling

Yogesh Mahajan, Carven Chan, Ali Bayazit, Sharad Malik, Wei Qin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Scopus citations

Fingerprint

Dive into the research topics of 'Verification driven formal architecture and microarchitecture modeling'. Together they form a unique fingerprint.

Engineering & Materials Science