메뉴 건너뛰기




Volumn 1166, Issue , 1996, Pages 34-48

BMDs can delay the use of theorem proving for verifying arithmetic assembly instructions

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; FORMAL METHODS; MICROPROGRAMMING;

EID: 84957658472     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0031798     Document Type: Conference Paper
Times cited : (8)

References (33)
  • 7
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • Aug
    • R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, Aug. 1986.
    • (1986) IEEE Transactions on Computers , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 17
    • 0005031024 scopus 로고
    • A proof of correctness of the Viper microprocessor: The first level
    • Ktuwer Acad. Publ., Jan
    • A. Cohn. A proof of correctness of the Viper microprocessor: the first level. In VLSI Specification, Verification and Synthesis. Ktuwer Acad. Publ., Jan. 1987.
    • (1987) VLSI Specification, Verification and Synthesis
    • Cohn, A.1
  • 23
    • 0001550560 scopus 로고
    • Formal hardware verification methods: A survey
    • Oct
    • A. Gupta. Formal hardware verification methods: a survey. Formal Methods in System Design, 1(2/3):151-238, Oct. 1992.
    • (1992) Formal Methods in System Design , vol.1 , Issue.2-3 , pp. 151-238
    • Gupta, A.1
  • 27
    • 0003878157 scopus 로고
    • PhD thesis, Institute for Computing Science, University of Texas at Austin
    • W. Hunt Jr. FM8501: a Verified Microprocessor. PhD thesis, Institute for Computing Science, University of Texas at Austin, 1986.
    • (1986) FM8501: A Verified Microprocessor
    • Hunt, W.1
  • 29
  • 32
    • 0029218969 scopus 로고
    • Formal modeling and verification of microprocessors
    • Jan
    • P. J. Windley. Formal modeling and verification of microprocessors. IEEE Transactions on Computers, 44(1), Jan. 1995.
    • (1995) IEEE Transactions on Computers , vol.44 , Issue.1
    • Windle, P.J.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.