Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing)

Electronic

by: Shi-Yu Huang · Kwang-Ting (Tim) Cheng

Hardcover

ISBN: 978-0-7923-8184-6

ISBN-10: 0-7923-8184-X

Springer · 1998