Syntax-Directed Verification of Circuit Function

Publisher Website

1 January 1981

book chapter
Published by Springer Nature

p. 196-202
https://doi.org/10.1007/978-3-642-68402-9_22

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

The Design of Special-Purpose VLSI Chips
Computer, 1980
Assigning meanings to programs
Published by American Mathematical Society (AMS) ,1967