Login / Signup

A Binary Decision Diagram Approach to On-line Testing of Asynchronous Circuits with Dynamic and Static C-elements.

Pradeep Kumar BiswalSantosh Biswas
Published in: J. Electron. Test. (2019)
Keyphrases
  • asynchronous circuits
  • binary decision diagrams
  • dynamic analysis
  • process algebra
  • delay insensitive
  • reinforcement learning
  • search algorithm
  • model checking