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 条
  • [21] An Ontology of Specification Patterns for Verification of Concurrent Systems
    Garanina, Natalia
    Zubin, Vladimir
    Lyakh, Tatiana
    Gorlatch, Sergei
    [J]. NEW TRENDS IN INTELLIGENT SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES (SOMET_18), 2018, 303 : 515 - 528
  • [22] PERTS: an environment for specification and verification of reactive systems
    Bhattacharjee, AK
    Dhodapkar, SD
    Shyamasundar, RK
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2001, 71 (03) : 299 - 310
  • [23] Specification, design, prototyping and verification of software systems
    De Man, J.
    Duponcheel, L.
    Van Puymbroeck, W.
    Perez Dominguez, R.
    [J]. Electrical communication, 1988, 62 (3-4): : 259 - 264
  • [24] Finite Verification of the Characteristic Specification of Discrete Systems
    王龙
    黄琳
    [J]. Science Bulletin, 1993, (06) : 521 - 525
  • [25] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    [J]. INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [26] Specification and Verification of Invariant Properties of Transition Systems
    Gaina, Daniel
    Tutu, Ionut
    Riesco, Adrian
    [J]. 2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 99 - 108
  • [27] SPECIFICATION, DESIGN, PROTOTYPING AND VERIFICATION OF SOFTWARE SYSTEMS
    DEMAN, J
    DUPONCHEEL, L
    VANPUYMBROECK, W
    DOMINGUEZ, RP
    [J]. ELECTRICAL COMMUNICATION, 1988, 62 (3-4): : 259 - 264
  • [28] Integrated methodology for the specification, verification and testing of systems
    Holcombe, Mike
    [J]. Software Testing Verification and Reliability, 1993, 3 (3-4) : 149 - 163
  • [29] SPECIAL ISSUE ON VERIFICATION, TEST AND DIAGNOSIS OF VLSI SYSTEMS
    FUJIWARA, H
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1995, E78D (07) : 789 - 790
  • [30] Methodology of functional test synthesis and verification for VLSI systems
    Hudec, J
    [J]. ITI 2000: PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2000, : 61 - 66
12345