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

• Binary decision diagram method for test generation of digital circuits