C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio.
Hiroshi Nakamura
Yuji Kukimoto
Masahiro Fujita
Hidehiko Tanaka
Published in:
CAV (DIMACS/AMS volume) (1990)
Keyphrases
</>
temporal logic
data sources
natural language
domain independent
satisfiability problem
representation language