Performance Evaluation of Asynchronous Circuits with Choice Using Abstract Probabilistic Timed Petri Nets.

Mehrdad Najibi Mahtab Niknahad Hossein Pedram

Published in: ISVLSI (2007)

Keyphrases

asynchronous circuits
timed petri nets
process algebra
discrete event systems
bayesian networks
delay insensitive
model checking
probabilistic model
artificial intelligence
reinforcement learning
random variables