Advanced Search
DU Hui-min, LIU Jian-yuan, HAN Jun-gang, GAO De-yuan. Verification of the Microprocessor PICJ. Journal of Computer-Aided Design & Computer Graphics, 2000, 12(5): 390-395.
Citation: DU Hui-min, LIU Jian-yuan, HAN Jun-gang, GAO De-yuan. Verification of the Microprocessor PICJ. Journal of Computer-Aided Design & Computer Graphics, 2000, 12(5): 390-395.
shu

Verification of the Microprocessor PIC

    Graphical Abstract
    • Abstract
  • Binary Decision Diagram and symbolic model checking has made breakthrough in digital circuit design．This paper introduces the principle and methods of model checking and focuses on how to validate the correctness of a microprocessor PIC by VIS Equivalence of part design of PIC is proved，an important feature of PIC is verified and a bug is found．
    • FullText(HTML)
  • loading
    • References (0)
    • Related Articles
  • Extended English Abstract

Catalog

    Turn off MathJax
    Article Contents
      Email Alert RSS

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return