Sign in
A Data Path Verifier for Register Transfer Level Using Temporal Logic Language Tokio.
Hiroshi Nakamura
Yuji Kukimoto
Masahiro Fujita
Hidehiko Tanaka
Published in:
CAV (1990)
Keyphrases
</>
temporal logic
data sources
reinforcement learning
distributed systems
representation language