TEST-GENERATION FOR CIRCUITS DESCRIBED IN PROCEDURAL HARDWARE DESCRIPTION LANGUAGES (HDLS)

被引：1

作者：

SAPIECHA, K ^{[1
]}

CZICHON, T ^{[1
]}

机构：

[1] WARSAW UNIV TECHNOL,INST COMP SCI,PL-00665 WARSAW,POLAND

来源：

MICROPROCESSING AND MICROPROGRAMMING | 1986年 / 18卷 / 1-5期

关键词：

D O I：

10.1016/0165-6074(86)90067-0

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：371 / 379

页数：9

共 50 条

[1] TEST-GENERATION ALGORITHMS FOR COMPUTER HARDWARE DESCRIPTION LANGUAGES
LEVENDEL, YH
MENON, PR
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1982, 31 (07) : 577 - 588
[2] AN AUTOMATIC TEST-GENERATION ALGORITHM FOR HARDWARE DESCRIPTION LANGUAGES
NORROD, FE
[J]. 26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, 1989, : 429 - 434
[3] TEST-GENERATION FOR DIGITAL CIRCUITS DESCRIBED BY MEANS OF REGISTER TRANSFER LANGUAGES
VILLAR, E
BRACHO, S
[J]. IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (02): : 69 - 77
[4] OPART - A HARDWARE-DESCRIPTION LANGUAGE FOR TEST-GENERATION
SZIRAY, J
NAGY, Z
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1991, 32 (1-5): : 525 - 530
[5] AUTOMATION OF TEST-GENERATION ON THE BASIS OF HARDWARE MODELING OF BASIC MICROELECTRONIC CIRCUITS
ALUMJAN, RS
STEPANJAN, SO
[J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1984, (02): : 88 - 90
[6] FUNCTIONAL TEST-GENERATION FOR DIGITAL CIRCUITS DESCRIBED USING BINARY DECISION DIAGRAMS
ABADIR, MS
REGHBATI, HK
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (04) : 375 - 379
[7] ATTAIN TESTABILITY WITH HIERARCHICAL DESIGN - GENERATE TEST VECTORS AUTOMATICALLY FOR SEQUENTIAL-CIRCUITS DESCRIBED IN HARDWARE DESCRIPTION LANGUAGES
NURIE, GM
[J]. ELECTRONIC DESIGN, 1991, 39 (12) : 89 - &
[8] TEST-GENERATION FOR SEQUENTIAL-CIRCUITS
MA, HKT
DEVADAS, S
NEWTON, AR
SANGIOVANNIVINCENTELLI, A
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1988, 7 (10) : 1081 - 1093
[9] TEST-GENERATION FOR CYCLIC COMBINATIONAL-CIRCUITS
RAHUNATHAN, A
ASHAR, P
MALIK, S
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1995, 14 (11) : 1408 - 1414
[10] TEST-GENERATION FOR HIGHLY SEQUENTIAL-CIRCUITS
GHOSH, A
DEVADAS, S
NEWTON, AR
[J]. 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 362 - 365

← 1 2 3 4 5 →