Formal verification of circuits and systems: Foreword

被引：0
|
作者：
Chakrabarti, P.P.
机构：
来源：
Sadhana - Academy Proceedings in Engineering Sciences | 2002年 / 27卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Formal verification of circuits and systems - Foreword
    Chakrabarti, PP
    SADHANA-ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, 2002, 27 : 127 - 127
  • [2] Foreword to the special issue on formal semantics and verification of programs and systems
    Zamulin, AV
    Nepomnyashchii, VA
    PROGRAMMING AND COMPUTER SOFTWARE, 1999, 25 (04) : 183 - 183
  • [3] Formal verification of circuits and systemsForeword
    P. P. Chakrabarti
    Sadhana, 2002, 27 (2) : 128 - 128
  • [4] Formal verification of combinational circuits
    Jain, J
    Narayan, A
    Fujita, M
    SangiovanniVincentelli, A
    TENTH INTERNATIONAL CONFERENCE ON VLSI DESIGN, PROCEEDINGS, 1997, : 218 - 225
  • [5] Formal Deadlock Verification for Click Circuits
    Verbeek, Freek
    Joosten, Sebastiaan
    Schmaltz, Julien
    2013 IEEE 19TH INTERNATIONAL SYMPOSIUM ON ASYNCHRONOUS CIRCUITS AND SYSTEMS (ASYNC), 2013, : 183 - 190
  • [6] Polynomial Formal Verification of Sequential Circuits
    Dominik, Caroline
    Drechsler, Rolf
    2024 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION, DATE, 2024,
  • [7] ON THE FORMAL SPECIFICATION AND VERIFICATION OF DIGITAL CIRCUITS
    DEGRAAF, PJ
    MICROPROCESSING AND MICROPROGRAMMING, 1990, 30 (1-5): : 537 - 544
  • [8] A method of formal verification of cryptographic circuits
    Hirabayashi, K
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 13 (03): : 321 - 322
  • [9] Formal verification of commercial integrated circuits
    Pixley, C
    IEEE DESIGN & TEST OF COMPUTERS, 2001, 18 (04): : 4 - 5
  • [10] Formal Methods for Verification of Analog Circuits
    Steinhorst, Sebastian
    Hedrich, Lars
    SIMULATION AND VERIFICATION OF ELECTRONIC AND BIOLOGICAL SYSTEMS, 2011, : 173 - 192
12345