Tutorial T7B: Optimally Addressing Verification Constraint Complexity for Effective Functional Convergence.

Shankar Hemmady

Published in: VLSI Design (2012)

Keyphrases

model checking
computer vision
real time
databases
data structure
computational complexity
computational cost
space complexity
functional verification