Book 2006

Scalable Hardware Verification with Symbolic Simulation

Authors:

ISBN: 978-0-387-24411-2 (Print) 978-0-387-29906-8 (Online)