Efficient BMC for multi-clock systems with clocked specifications

Malay K. Ganai, Aarti Gupta

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

12 Scopus citations

Fingerprint Dive into the research topics of 'Efficient BMC for multi-clock systems with clocked specifications'. Together they form a unique fingerprint.

Engineering & Materials Science