VLSI SPECIFICATION AND VERIFICATION

被引：0
|
作者：
ANTOLA, A [1 ]
机构：
[1] POLITECN MILAN,DIP ELLETTRON,I-20133 MILAN,ITALY
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1990年 / 30卷 / 1-5期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：403 / 403
页数：1
相关论文
共 50 条
  • [31] PROTOCOL SPECIFICATION, TESTING AND VERIFICATION
    不详
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1985, 10 (3-4): : 231 - 237
  • [32] AN EXAMPLE OF SPECIFICATION AND VERIFICATION IN CESAR
    FERNANDEZ, JC
    SCHWARTZ, JP
    SIFAKIS, J
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1985, 207 : 199 - 210
  • [33] An Efficient Specification for System Verification
    Yamada, Chikatoshi
    Nagata, Yasunori
    Nakao, Zensho
    [J]. JOURNAL OF ADVANCED COMPUTATIONAL INTELLIGENCE AND INTELLIGENT INFORMATICS, 2006, 10 (06) : 931 - 938
  • [34] Timely Rollback: Specification and Verification
    Abadi, Martin
    Isard, Michael
    [J]. NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 19 - 34
  • [35] Formal Specification and Verification of CRDTs
    Zeller, Peter
    Bieniusa, Annette
    Poetzsch-Heffter, Arnd
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, 2014, 8461 : 33 - 48
  • [36] SPECIFICATION AND VERIFICATION OF SWITCHING SOFTWARE
    KAJIWARA, M
    ICHIKAWA, H
    ITOH, M
    YOSHIDA, Y
    [J]. IEEE TRANSACTIONS ON COMMUNICATIONS, 1985, 33 (03) : 193 - 198
  • [37] VERIFICATION OF THE VLSI-/370 MICROPROCESSOR
    GERST, H
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 137 - 145
  • [38] VERIFICATION OF THE VLSI-/370 MICROPROCESSOR
    GERST, H
    [J]. VLSI AND COMPUTER PERIPHERALS: VLSI AND MICROELECTRONIC APPLICATIONS IN INTELLIGENT PERIPHERALS AND THEIR INTERCONNECTION NETWORKS, 1989, : E128 - E133
  • [39] Parallel algorithms for VLSI layout verification
    MacPherson, K
    Banerjee, P
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 36 (02) : 156 - 172
  • [40] VLSI design and verification of the imagine processor
    Khailany, B
    Dally, WJ
    Chang, A
    Kapasi, UJ
    Namkoong, J
    Towles, B
    [J]. ICCD'2002: IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 2002, : 289 - 294
12345