The logic-to-hardware interface area of design automation.

Published in: AFIPS Fall Joint Computing Conference (2) (1968)

Keyphrases

design automation
circuit design
digital circuits
computer aided design
low cost
hardware and software
logic programming
modal logic
test generation
real time
user friendly
user interface
hardware implementation
computer systems
classical logic
multi valued
chip design
computer graphics