Email Address * *
Name
Subject *
Message * Synthesis and verification of digital circuits using functional simulation and Boolean satisfiability. - 124357898X - 9781243578983