Scalable Hardware Verification with Symbolic Simulation
Publisher: Springer
Published: December 21, 2005
Language: eng
Number of pages: 180
ISBN-13: 9780387244112