TY - JOUR
T1 - A graph representation for programmable logic arrays to facilitate testing and logic design
AU - Tang, Jing Jou
AU - Lee, Kuen Jong
AU - Liu, Bin Da
N1 - Funding Information:
Manuscript received October 30, 1997; revised March 3, 1998. This work was supported by the National Science Council of the Republic of China under Contract NSC-84-2215-E-006-027. This paper was recommended by Associate Editor R. Aitken. J. J. Tang is with the Department of Electronic Engineering, Nan-Tai Institute of Technology, Tainan, Taiwan R.O.C. K. J. Lee and B. D. Liu are with the Department of Electrical Engineering, National Cheng-Kung University, Tainan, Taiwan R.O.C. Publisher Item Identifier S 0278-0070(98)08488-7.
PY - 1998
Y1 - 1998
N2 - In this paper, we present a new graph model and an associated set of operations for representing programmable logic arrays (PLA's). The signal lines and devices of a PLA are represented as the edges and vertices of a directed graph, respectively. Through this graph model, most realistic PLA faults, including cross-point, stuck-at, break, and bridging faults, can be modeled and classified, and the maximal diagnosis resolution of a PLA can be determined. Moreover, the model can be easily transformed into a gate-level model. Hence, the work of automatic test-pattern generation for a PLA and for other random logic can be done simultaneously. We also show that this representation can be extended to some logic design techniques such as logic minimization, folding, and decomposition for PLA's. Thus, this graph model can unify the data structure and operations required in PLA design and test.
AB - In this paper, we present a new graph model and an associated set of operations for representing programmable logic arrays (PLA's). The signal lines and devices of a PLA are represented as the edges and vertices of a directed graph, respectively. Through this graph model, most realistic PLA faults, including cross-point, stuck-at, break, and bridging faults, can be modeled and classified, and the maximal diagnosis resolution of a PLA can be determined. Moreover, the model can be easily transformed into a gate-level model. Hence, the work of automatic test-pattern generation for a PLA and for other random logic can be done simultaneously. We also show that this representation can be extended to some logic design techniques such as logic minimization, folding, and decomposition for PLA's. Thus, this graph model can unify the data structure and operations required in PLA design and test.
UR - https://www.scopus.com/pages/publications/0032182589
UR - https://www.scopus.com/pages/publications/0032182589#tab=citedBy
U2 - 10.1109/43.728922
DO - 10.1109/43.728922
M3 - Article
AN - SCOPUS:0032182589
SN - 0278-0070
VL - 17
SP - 1030
EP - 1043
JO - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
JF - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IS - 10
ER -