Knowledge-based optimal IIL generator from conventional logic circuit descriptions.

T. Watanabe T. Masuishi T. Nishiyama N. Horie

Published in: DAC (1986)

Keyphrases

digital circuits
high level
expert systems
dynamic programming
logic programming
logic synthesis
delay insensitive
neural network
asynchronous circuits
closed form
worst case
optimal solution
real time
np hard
predicate logic
logic circuits
artificial intelligence
chip design
micron cmos