Full-Symbolic ATPG for Large Circuits.

Gianpiero Cabodi Paolo Camurati Stefano Quer

Published in: ITC (1994)

Keyphrases

high speed
tunnel diode
digital circuits
artificial intelligence
circuit design
high level
video sequences
website
symbolic data
connectionist models
delay insensitive
logic synthesis
image sequences
vlsi circuits
symbolic reasoning
connectionist learning
connectionist systems
database