Login / Signup
An Implementation of Extended Burst-Mode Specifications as Quasi Delay Insensitive State Machines.
Duarte Lopes de Oliveira
Orlando Verducci Jr.
Vitor L. V. Torres
Gracieth Cavalcanti Batista
Robson L. Moreno
Leonardo Romano
Published in:
LASCAS (2019)
Keyphrases
</>
delay insensitive
state machines
asynchronous circuits
state machine
petri net
model checking
low power
neural network
distributed systems
control structure
sequence diagrams
recurrent networks
reactive systems