SAT-Based Scalable Formal Verification Solutions

MLA

Ganai, Malay, et al. Sat-based Scalable Formal Verification Solutions. Springer US, 2007.

APA

Ganai, M., Chandrakasan, A., Ganai, M. K, & Gupta, A. (2007). SAT-Based Scalable Formal Verification Solutions. Springer US.

Chicago

Ganai, Malay, Anantha Chandrakasan, Malay K Ganai, and Aarti Gupta. Sat-Based Scalable Formal Verification Solutions. : Springer US, 2007.