Electronic design automation : synthesis, verification, and test /: synthesis, verification, and test. (©2009)