A fast vector reuse verification method for standard cell library.

Ligang Hou Jingsong Zhi Lin Zhu Jinhui Wang Xiaohong Peng Shuqin Geng

Published in: ASICON (2015)

Keyphrases

verification method
model checking
temporal logic
neural network
data mining
machine learning
artificial intelligence
computer vision
real time
databases
image processing
multiscale
data structure
video sequences
vector space