ACCORD: Automatic Catching and CORrection of Logic Design Errors in Combinatorial Circuits.

Pi-Yu Chung Ibrahim N. Hajj

Published in: ITC (1992)

Keyphrases

logic synthesis
digital circuits
artificial intelligence
engineering design
high level synthesis
logic circuits
design principles
genetic algorithm
computer aided
neural network
hardware implementation
design methodology
error analysis
classical logic
semi automatic
high speed
object oriented