Detecting tangled logic structures in VLSI netlists.

Tanuj Jindal Charles J. Alpert Jiang Hu Zhuo Li Gi-Joon Nam Charles B. Winn

Published in: DAC (2010)

Keyphrases

signal processing
modal logic
vlsi design
computer vision
computational properties
chip design
data sets
search algorithm
logic programming
predicate logic
real time
data mining
machine learning
website
knowledge representation
automatic detection