Login / Signup
Fast false path identification based on functional unsensitizability using RTL information.
Yuki Yoshikawa
Satoshi Ohtake
Tomoo Inoue
Hideo Fujiwara
Published in:
ASP-DAC (2009)
Keyphrases
</>
information sources
decision making
higher level
structural information
domain knowledge
temporal information
database
prior knowledge
user interaction
information sharing
information flow
information overload
information space