Verifying Timed, Asynchronous Circuits using ACL2.
Yan PengMark R. GreenstreetPublished in: ASYNC (2019)
Keyphrases
- asynchronous circuits
- model checking
- timed automata
- temporal logic
- finite state machines
- process algebra
- natural language learning
- delay insensitive
- formal specification
- verification method
- petri net
- first order logic
- dynamic systems
- information retrieval
- formal methods
- discrete event
- search algorithm
- decision making