Scalable Hardware Verification with Symbolic Simulation

Simulation

by Valeria Bertacco

Hardcover

ISBN: 978-0-387-24411-2

ISBN-10: 0-387-24411-5

Springer · 2005