Performance Analysis of Asynchronous Circuits Using Markov Chains.
Peter A. BeerelAiguo XiePublished in: Concurrency and Hardware Design (2002)
Keyphrases
- markov chain
- asynchronous circuits
- steady state
- finite state
- process algebra
- delay insensitive
- monte carlo
- stationary distribution
- stochastic process
- state space
- markov process
- monte carlo simulation
- random walk
- transition probabilities
- markov model
- model checking
- markov processes
- monte carlo method
- sample path
- single server
- transition matrix
- assemble to order systems