Ganai, Malay K.
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. - Boston, MA : Springer US, 2007. - digital. - Series on Integrated Circuits and Systems, 1558-9412 . - Series on Integrated Circuits and Systems, .
9780387691671
10.1007/978-0-387-69167-1 doi
Computer science.
Computer aided design.
Computer engineering.
Systems engineering.
Computer Science.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Electrical Engineering.
TA345-345.5
620.00420285
SAT-Based Scalable Formal Verification Solutions [electronic resource] / by Malay K. Ganai, Aarti Gupta. - Boston, MA : Springer US, 2007. - digital. - Series on Integrated Circuits and Systems, 1558-9412 . - Series on Integrated Circuits and Systems, .
9780387691671
10.1007/978-0-387-69167-1 doi
Computer science.
Computer aided design.
Computer engineering.
Systems engineering.
Computer Science.
Computer-Aided Engineering (CAD, CAE) and Design.
Circuits and Systems.
Electrical Engineering.
TA345-345.5
620.00420285