ON PROPERTIES OF ALGEBRAIC TRANSFORMATIONS AND THE MULTIFAULT TESTABILITY OF MULTILEVEL LOGIC

被引：0
|
作者：
HACHTEL, G
JACOBY, R
KEUTZER, K
MORRISON, C
机构：
来源：
1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS | 1989年
关键词：
D O I：
10.1109/ICCAD.1989.76983
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：422 / 425
页数：4
相关论文
共 50 条
  • [1] MULTIFAULT AND DELAY-FAULT TESTABILITY OF MULTILEVEL CIRCUITS
    KE, W
    MENON, PR
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1995, 6 (03): : 333 - 336
  • [2] ON PROPERTIES OF ALGEBRAIC TRANSFORMATIONS AND THE SYNTHESIS OF MULTIFAULT-IRREDUNDANT CIRCUITS
    HACHTEL, G
    JACOBY, RM
    KEUTZER, K
    MORRISON, CR
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (03) : 313 - 321
  • [3] LOT: Logic optimization with testability - New transformations for logic synthesis
    Chatterjee, M
    Pradhan, DK
    Kunz, W
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1998, 17 (05) : 386 - 399
  • [4] Algebraic properties and transformations of monographs
    de la Tour, Thierry Boy
    THEORETICAL COMPUTER SCIENCE, 2025, 1024
  • [5] Logic synthesis for testability
    Tsai, CC
    SIXTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1996, : 118 - 121
  • [6] ALGEBRAIC PROPERTIES OF PROPOSITION LOGIC TOTALITY
    NEGRU, IS
    DOKLADY AKADEMII NAUK SSSR, 1974, 218 (06): : 1276 - 1279
  • [7] Specification transformations and design for testability
    Karoui, K
    Dssouli, R
    Cherkaoui, O
    IEEE GLOBECOM 1996 - CONFERENCE RECORD, VOLS 1-3: COMMUNICATIONS: THE KEY TO GLOBAL PROSPERITY, 1996, : 680 - 685
  • [8] Testability Transformations For Existing APIs
    Arcuri, Andrea
    Galeotti, Juan P.
    2020 IEEE 13TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2020), 2020, : 153 - 163
  • [9] Testability preserving and enhancing transformations for robust delay fault testability
    Karkare, A
    Singla, M
    Jain, A
    ELEVENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 370 - 373
  • [10] Communications software design for testability: specification transformations and testability measures
    Dssouli, R
    Karoui, K
    Saleh, K
    Cherkaoui, O
    INFORMATION AND SOFTWARE TECHNOLOGY, 1999, 41 (11-12) : 729 - 743
12345