SIMD MATRIX-METHODS FOR DETECTING HAZARDS IN LOGIC-CIRCUITS

被引：2

作者：

HEAL, BW

PAGE, RMR

机构：

[1] Univ of Portsmouth, Portsmouth

来源：

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES | 1993年 / 140卷 / 04期

关键词：

COMBINATORIAL LOGIC CIRCUITS; ALGORITHMS; SIMD COMPUTERS; MATRIX ALGEBRA; HAZARDS;

D O I：

10.1049/ip-e.1993.0029

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

The paper describes the underlying theory and an outline for an algorithm which is designed to utilise the power of SIMD computers to detect and locate the presence of logic hazards in combinational logic circuits.

引用

页码：201 / 204

页数：4

共 50 条

[21] MATRIX-METHODS FOR POLYNOMIALS
LASZLO, L
LINEAR ALGEBRA AND ITS APPLICATIONS, 1981, 36 (MAR) : 129 - 131
[22] TESTING OF ZIPPER CMOS LOGIC-CIRCUITS
TONG, Q
JHA, NK
IEEE JOURNAL OF SOLID-STATE CIRCUITS, 1990, 25 (03) : 877 - 880
[23] PARTITIONING OF LOGIC-CIRCUITS FOR EXHAUSTIVE TESTING
LALA, PK
TAO, DL
INTERNATIONAL JOURNAL OF ELECTRONICS, 1990, 69 (02) : 225 - 231
[24] WIDTH AND DEPTH OF COMBINATIONAL LOGIC-CIRCUITS
YASUURA, H
INFORMATION PROCESSING LETTERS, 1981, 13 (4-5) : 191 - 194
[25] FUNCTIONAL SPECIFICATION AND TESTING OF LOGIC-CIRCUITS
ABADIR, MS
REGHBATI, HK
COMPUTERS & MATHEMATICS WITH APPLICATIONS, 1985, 11 (12) : 1143 - 1153
[26] ON DETERMINING SYMMETRIES IN INPUTS OF LOGIC-CIRCUITS
POMERANZ, I
REDDY, SM
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (11) : 1428 - 1434
[27] PUNCHTHROUGH ANALYSIS OF JOSEPHSON LOGIC-CIRCUITS
HARRIS, EP
CHANG, WH
IEEE TRANSACTIONS ON MAGNETICS, 1983, 19 (03) : 1209 - 1212
[28] PSEUDO-BOOLEAN LOGIC-CIRCUITS
HAYES, JP
IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (07) : 602 - 612
[29] AN ALGORITHM FOR DESIGNING MULTIPLEXER LOGIC-CIRCUITS
EKTARE, AB
MITAL, DP
INTERNATIONAL JOURNAL OF ELECTRONICS, 1980, 49 (02) : 103 - 114
[30] INTERFACING LOGIC-CIRCUITS AND INDUCTIVE LOADS
SWEDEN, R
ELECTRONIC ENGINEERING, 1977, 49 (594): : 21 - 22

← 1 2 3 4 5 →