Optimal Test Sequences for Logic Verification closure in State Dependent RTL Digital designs.
Anantharaj Thalaimalai VanarajRaja Sekar KumaresanMarshal RajG. LakshminarayananPublished in: ICCCNT (2022)
Keyphrases
- state dependent
- test sequences
- steady state
- test generation
- optimal policy
- asymptotically optimal
- queueing networks
- markov chain
- arrival rate
- test cases
- single server
- video sequences
- optimal solution
- stationary distribution
- queue length
- dynamic programming
- transition probabilities
- optimal control
- modal logic
- parallel algorithm
- model checking
- bit rate
- reinforcement learning