FUNCTIONAL TEST-GENERATION USING BINARY DECISION DIAGRAMS

被引：1

作者：

ABADIR, MS ^{[1
]}

REGHBATI, HK ^{[1
]}

机构：

[1] SIMON FRASER UNIV,SCH COMP SCI,BURNABY V5A 1S6,BC,CANADA

来源：

COMPUTERS & MATHEMATICS WITH APPLICATIONS | 1987年 / 13卷 / 5-6期

关键词：

D O I：

10.1016/0898-1221(87)90072-1

中图分类号：

O29 [应用数学];

学科分类号：

070104 ;

摘要：

引用

页码：413 / 430

页数：18

共 50 条

[21] FUNCTIONAL TEST-GENERATION BASED ON UNATE FUNCTION-THEORY
PITCHUMANI, V
SOMAN, SS
IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (06) : 756 - 760
[22] A FUNCTIONAL-LEVEL TEST-GENERATION METHODOLOGY USING 2-LEVEL REPRESENTATIONS
DAVE, UJ
PATEL, JH
26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, 1989, : 722 - 725
[23] High-speed test-generation method using a test generation circuit
Hirose, Fumiyasu, 1600, (21):
[24] FUNTEST - FUNCTIONAL TEST-GENERATION FOR VLSI-CIRCUITS AND SYSTEMS
GEISSELHARDT, W
MOHRS, W
MOELLER, U
MICROELECTRONICS AND RELIABILITY, 1989, 29 (03): : 357 - 364
[25] Impact and Performance of Randomized Test-Generation Using Prolog
Gelderie, Marcus
Luff, Maximilian
Peltzer, Maximilian
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 164 - 180
[26] TEST-GENERATION FOR PROCESSING CONTROL
CHIPULIS, VP
AUTOMATION AND REMOTE CONTROL, 1992, 53 (10) : 1623 - 1630
[27] GENETIC ALGORITHM FOR BINARY AND FUNCTIONAL DECISION DIAGRAMS OPTIMIZATION
Stojkovic, Suzana
Velickovic, Darko
Moraga, Claudio
FACTA UNIVERSITATIS-SERIES ELECTRONICS AND ENERGETICS, 2018, 31 (02) : 169 - 187
[28] Automatic test pattern generation for functional register-transfer level circuits using assignment decision diagrams
Ghosh, I
Fujita, M
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2001, 20 (03) : 402 - 415
[29] TEST-GENERATION FOR CURRENT TESTING
NIGH, P
MALY, W
IEEE DESIGN & TEST OF COMPUTERS, 1990, 7 (01): : 26 - 38
[30] ON THE ACCELERATION OF TEST-GENERATION ALGORITHMS
FUJIWARA, H
SHIMONO, T
IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (12) : 1137 - 1144

← 1 2 3 4 5 →