Bertacco, Valeria.
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. - Boston, MA : Springer US, 2006. - digital.
9780387299068
10.1007/0-387-29906-8 doi
Engineering.
Computer hardware.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Computer Hardware.
Electronic and Computer Engineering.
TK7888.4
621.3815
Scalable Hardware Verification with Symbolic Simulation [electronic resource] / by Valeria Bertacco. - Boston, MA : Springer US, 2006. - digital.
9780387299068
10.1007/0-387-29906-8 doi
Engineering.
Computer hardware.
Computer aided design.
Systems engineering.
Engineering.
Circuits and Systems.
Computer-Aided Engineering (CAD, CAE) and Design.
Computer Hardware.
Electronic and Computer Engineering.
TK7888.4
621.3815