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

← 1 2 3 4 5 →