Electronic design automation: synthesis, verification, and test

Submitted by superuser on Mon, 04/06/2015 - 22:00

L. - T. Wang, Chang, Y. - W., and Cheng, K. - T. Tim, Electronic design automation: synthesis, verification, and test. Morgan Kaufmann, 2009.