Login / Signup
Verification of hardware designs thru symbolic manipulation.
Todd J. Wagner
Published in:
Design Automation and Microprocessors (1977)
Keyphrases
</>
hardware designs
model based diagnosis
high level
symbolic representation
symbolic description
image processing
dynamic systems