Binary decision diagram method for test generation of digital circuits

• 数字电路测试生成的二元判定图方法