SYMBOLIC RELIABILITY EVALUATION USING A MICROPROCESSOR

被引：0

|

作者：

SHARMA, S

AGGARWAL, KK

机构：

来源：

RELIABILITY ENGINEERING & SYSTEM SAFETY | 1989年 / 24卷 / 01期

关键词：

D O I：

10.1016/0951-8320(89)90054-9

中图分类号：

T [工业技术];

学科分类号：

08 ;

摘要：

引用

收藏

页码：51 / 67

页数：17

相关论文

共 50 条

[1] SYMBOLIC RELIABILITY EVALUATION USING LOGICAL SIGNAL RELATIONS
AGGARWAL, KK
RAI, S
IEEE TRANSACTIONS ON RELIABILITY, 1978, 27 (03) : 202 - 205
[2] RELIABILITY OF SYMBOLIC EVALUATION.
Howden, William E.
1977, : 442 - 447
[3] Automatic generation of assertions for formal verification of PowerPC™ microprocessor arrays using symbolic trajectory evaluation
Wang, LC
Abadir, MS
Krishnamurthy, N
1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS, 1998, : 534 - 537
[4] SYMBOLIC RELIABILITY EVALUATION OF REDUCIBLE NETWORKS
MISRA, RB
MICROELECTRONICS RELIABILITY, 1979, 19 (03) : 253 - 257
[5] Symbolic simulation of microprocessor models using type classes in Haskell
Day, NA
Lewis, JR
Cook, B
CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 346 - 349
[6] Symbolic reliability evaluation of a software with network structure
S. Chatterjee
R. B. Misra
S. S. Alam
OPSEARCH, 2004, 41 (3) : 165 - 177
[7] Symbolic NFA scheduling of a RISC microprocessor
Brewer, F
Haynal, S
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2002, 10 (04) : 429 - 434
[8] MICROPROCESSOR DEVICE RELIABILITY
HNATEK, ER
MICROELECTRONICS AND RELIABILITY, 1978, 17 (03): : 379 - 385
[9] Circuit reliability analysis using symbolic techniques
Miskov-Zivanov, Natasa
Marculescu, Diana
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, 25 (12) : 2638 - 2649
[10] PREDICTING MICROPROCESSOR RELIABILITY
HORDESKI, M
COMPUTER DESIGN, 1984, 23 (06): : 20 - 20

← 1 2 3 4 5 →