Sequential Logic Testing and Verification (The Springer International Series in Engineering and Computer Science)

Verification

by: Abhijit Ghosh · Srinivas Devadas · A. Richard Newton

Hardcover

ISBN: 978-0-7923-9188-3

ISBN-10: 0-7923-9188-8

Springer · 1991