Login / Signup
A false-path aware formal static timing analyzer considering simultaneous input transitions.
Shihheng Tsai
Chung-Yang Huang
Published in:
DAC (2009)
Keyphrases
</>
shortest path
search engine
video sequences
input data
formal methods
machine learning
website