SPECIFICATION AND VERIFICATION OF VLSI SYSTEMS

被引：0
|
作者：
WILK, A
PNUELI, A
机构：
来源：
1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS | 1989年
关键词：
D O I：
10.1109/ICCAD.1989.76991
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：460 / 463
页数：4
相关论文
共 50 条
  • [1] VLSI SPECIFICATION AND VERIFICATION
    ANTOLA, A
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 403 - 403
  • [2] VLSI ASYNCHRONOUS SYSTEMS - SPECIFICATION AND SYNTHESIS
    GOPALAKRISHNAN, G
    AKELLA, V
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 1992, 16 (10) : 517 - 527
  • [3] A DESIGN METHODOLOGY FOR THE CORRECT SPECIFICATION OF VLSI SYSTEMS
    BOLCHINI, C
    BOMBANA, M
    CAVALLORO, P
    COSTI, C
    FUMMI, F
    ZAZA, G
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 563 - 570
  • [4] FORMAL SPECIFICATION AND VERIFICATION OF MICROPROCESSOR SYSTEMS
    JOYCE, JJ
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 371 - 378
  • [5] A toolset for the specification and verification of embedded systems
    Rebaiaia, ML
    Benmohamed, M
    Jaam, JM
    Hasnah, A
    [J]. PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, : 1539 - 1545
  • [6] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
    CARMO, J
    SERNADAS, A
    [J]. INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
  • [7] Specification and verification of timed lazy systems
    Corradini, F
    Pistore, M
    [J]. MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1996, 1996, 1113 : 279 - 290
  • [8] Embedded systems: Challenges in specification and verification
    Pnueli, A
    [J]. EMBEDDED SOFTWARE, PROCEEDINGS, 2002, 2491 : 1 - 14
  • [9] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [10] Specification and verification of concurrent systems in CESAR
    Queille, J. P.
    Sifakis, J.
    [J]. 25 YEARS OF MODEL CHECKING: HISTORY, ACHIEVEMENTS, PERSPECTIVES, 2008, 5000 : 216 - 230
12345