VLSI Systems and Computations
Springer Berlin Heidelberg
Chapter title |
Syntax-Directed Verification of Circuit Function
|
---|---|
Chapter number | 22 |
Book title |
VLSI Systems and Computations
|
Published by |
Springer, Berlin, Heidelberg, January 1981
|
DOI | 10.1007/978-3-642-68402-9_22 |
Book ISBNs |
978-3-64-268404-3, 978-3-64-268402-9
|
Authors |
Michael J. Foster |