Login / Signup

Verification of Circuits Including Black Box Based on TED.

Junhua WuGuangshun LiXinchuang LiuGuang-Sheng Ma
Published in: CAD/Graphics (2007)
Keyphrases
  • black box
  • asynchronous circuits
  • black boxes
  • white box
  • high speed
  • model checking
  • state transition
  • delay insensitive
  • rule extraction
  • test cases
  • hybrid systems
  • databases
  • integration testing
  • white box testing