An Algebraic Approach to Formal Verification of Microprocessors

被引：0
|
作者：
Kanji Hirabayashi
机构：
[1] Toshiba Techno Center Inc.,
来源：
Journal of Electronic Testing | 2001年 / 17卷
关键词：
formal verification; microprocessor;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
In this letter we report the formal verification of microprocessors. After we describe algebraically a bit-sliced microprocessor at both function and logic levels, we apply the symbolic manipulation of Mathematica.
引用
收藏
页码：543 / 544
页数：1
相关论文
共 50 条
  • [41] An Approach for Formal Verification of Authentication Protocols
    A. M. Mironov
    [J]. Lobachevskii Journal of Mathematics, 2022, 43 : 443 - 454
  • [42] An Approach for Formal Verification of Authentication Protocols
    Mironov, A. M.
    [J]. LOBACHEVSKII JOURNAL OF MATHEMATICS, 2022, 43 (02) : 443 - 454
  • [43] Equational approach to formal verification of SET
    Ogata, K
    Futatsugi, K
    [J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 50 - 59
  • [44] Formal Verification Integration Approach for DSML
    Zalila, Faiez
    Cregut, Xavier
    Pantel, Marc
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 336 - 351
  • [45] Divide and conquer approach to functional verification of PowerPC(TM) microprocessors
    Roth, C
    Tyler, J
    Jagodik, P
    Nguyen, H
    [J]. 8TH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 1997, : 128 - 133
  • [46] INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS.
    Furtado, A.L.
    Maibaum, T.S.E.
    [J]. 1600, (28):
  • [47] FORMAL SCATTERING-THEORY BY AN ALGEBRAIC APPROACH
    ALHASSID, Y
    LEVINE, RD
    [J]. PHYSICAL REVIEW LETTERS, 1985, 54 (08) : 739 - 741
  • [48] Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation
    Kalla, Priyank
    [J]. PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 2 - 2
  • [49] Formal Verification of Semi-algebraic Sets and Real Analytic Functions
    Slagel, J. Tanner
    White, Lauren
    Dutle, Aaron
    [J]. CPP '21: PROCEEDINGS OF THE 10TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, 2021, : 278 - 290
  • [50] Formal Verification of Error Correcting Circuits Using Computational Algebraic Geometry
    Lvov, Alexey
    Lastras-Montano, Luis A.
    Paruthi, Viresh
    Shadowen, Robert
    El-Zein, Ali
    [J]. PROCEEDINGS OF THE 12TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2012), 2012, : 141 - 148
12345