State Encoding of Asynchronous Controllers Using Pseudo-Boolean Optimization.

Alberto Moreno Jordi Cortadella

Published in: ASYNC (2018)

Keyphrases

pseudo boolean optimization
data sets
information retrieval
lower bound
state space
variable length
asynchronous circuits
asynchronous communication
delay insensitive