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...
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 |
Similar Items
-
Optimizing the Microstructure and Corrosion Resistance of BDD Coating to Improve the Service Life of Ti/BDD Coated Electrode
by: Xin ru Lu, et al.
Published: (2019-09-01) -
WPG-Controlled Quantum BDD Circuits with BDD Architecture on GaAs-Based Hexagonal Nanowire Network Structure
by: Hong-Quan ZHao, et al.
Published: (2012-01-01) -
A Study of BDD-style Smart Contract Integration Test on the Blockchain
by: Cheng, Ching-Ju, et al.
Published: (2018) -
BDD-based logic synthesis system
by: Yang, Congguang
Published: (2000) -
Using Extended Logical Primitives for Efficient BDD Building
by: David Fernandez-Amoros, et al.
Published: (2020-07-01)