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 条

[31] Extension Properties and Subdirect Representation in Abstract Algebraic Logic
Lavicka, Tomas
Noguera, Carles
STUDIA LOGICA, 2018, 106 (06) : 1065 - 1095
[32] ALGEBRAIC PROPERTIES OF THE SPACE OF MULTIVALUED AND PARACONSISTENT LOGIC PROGRAMS
SUBRAHMANIAN, VS
FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE ////, 1989, 405 : 56 - 67
[33] ALGEBRAIC PROPERTIES OF THE SPACE OF MULTIVALUED AND PARACONSISTENT LOGIC PROGRAMS
SUBRAHMANIAN, VS
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 405 : 56 - 67
[34] ON ALGEBRAIC MULTILEVEL PRECONDITIONINGMETHODS
曹志浩
蒋意程
Numerical Mathematics A Journal of Chinese Universities(English Series), 1993, (01) : 25 - 37
[35] Classification and properties of fast linearly independent logic transformations
Falkowski, BJ
Rahardja, S
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 1997, 44 (08) : 646 - 655
[36] Classification and properties of fast linearly independent logic transformations
Nanyang Technological Univ, Singapore, Singapore
IEEE Transactions on Circuits and Systems II: Analog and Digital Signal Processing, 1997, 44 (08): : 646 - 656
[37] TESTABILITY MEASURE TO IMPROVE ALGEBRAIC TEST GENERATION.
Lioy, Antonio
Mezzalama, Marco
Software & microsystems, 1984, 3 (02): : 37 - 41
[38] Random pattern testability of memory control logic
Savir, J
15TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, 1997, : 399 - 407
[39] Automating algebraic proofs in algebraic logic
Hsiang, Jieh
Wasilewska, Anita
Fundamenta Informaticae, 1996, 28 (1-2) : 129 - 140
[40] ON ALGEBRAIC GROUPS OF TRANSFORMATIONS
WEIL, A
AMERICAN JOURNAL OF MATHEMATICS, 1955, 77 (02) : 355 - 391

← 1 2 3 4 5 →