Test pattern generators using BDD and MTBDD

碩士 === 國立交通大學 === 電子研究所 === 82 === In this thesis, we use the Binary Decision Diagram (BDD) and Multiple Terminated Binary Decision Diagram (MTBDD) to generate the test patterns for combinational circuits. This approach is very efficient...

Full description

Bibliographic Details
Main Authors: Yuan-Jie Chen, 陳淵傑
Other Authors: Chung-Len Lee
Format: Others
Language:en_US
Published: 1994
Online Access:http://ndltd.ncl.edu.tw/handle/13010801424224686794