Logic Decomposition of Asynchronous Circuits Using STG Unfoldings.

Victor Khomenko

Published in: ASYNC (2011)

Keyphrases

asynchronous circuits
delay insensitive
process algebra
model checking
hierarchical decomposition
decomposition method
decomposition methods
data sets
neural network
website
expert systems
image decomposition