Path-Specific Functional Timing Verification under Floating and Transition Modes of Operation.

Chun-Ning Lai Jie-Hong R. Jiang

Published in: DAC (2017)

Keyphrases

asynchronous circuits
real time
multiscale
information retrieval
computer vision
case study
high level
multi agent
multi agent systems
query processing
domain specific
higher level
model checking
functional analysis