Deriving Performance Bounds for Conditional Asynchronous Circuits Using Linear Programing.

Mehrdad Najibi Peter A. Beerel

Published in: ASYNC (2013)

Keyphrases

asynchronous circuits
delay insensitive
upper bound
model checking
process algebra
lower bound
lower and upper bounds
linear systems
linear functions
random field model
data sets
search algorithm
linear model
linear constraints
structural equation models