메뉴 건너뛰기




Volumn 2003-January, Issue , 2003, Pages 17-22

FPgen - A test generation framework for datapath floating-point verification

Author keywords

Computer bugs; Debugging; Formal verification; Investments; Manuals; Microprocessors; Power generation; Testing

Indexed keywords

COMPUTER DEBUGGING; DIGITAL ARITHMETIC; INVESTMENTS; MICROPROCESSOR CHIPS; POWER GENERATION; TESTING;

EID: 84944327460     PISSN: 15526674     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HLDVT.2003.1252469     Document Type: Conference Paper
Times cited : (46)

References (17)
  • 1
    • 0003589319 scopus 로고    scopus 로고
    • An American National Standard, ANSI/IEEEE Std. 754-1985
    • IEEE standard for binary FP arithmetic. An American National Standard, ANSI/IEEEE Std. 754-1985.
    • IEEE Standard for Binary FP Arithmetic
  • 2
    • 0029230835 scopus 로고
    • Test Program Generation for Functional Verification of PowerPC Processors in IBM
    • A. Aharon et al. "Test Program Generation for Functional Verification of PowerPC Processors in IBM". In DAC, 1995, pp. 279-285.
    • (1995) DAC , pp. 279-285
    • Aharon, A.1
  • 3
    • 0031628215 scopus 로고    scopus 로고
    • User defined coverage - A tool supported methodology for design verification
    • R. Grinwald, E. Harel, M. Orgad, S. Ur, and A. Ziv. "User defined coverage - a tool supported methodology for design verification". In DAC, 1998, pp. 158-163.
    • (1998) DAC , pp. 158-163
    • Grinwald, R.1    Harel, E.2    Orgad, M.3    Ur, S.4    Ziv, A.5
  • 4
    • 0032634311 scopus 로고    scopus 로고
    • Verifying the SRT Division Algorithm Using Theorem Proving Techniques
    • Edmund M. Clarke, Steven M. German and Xudong Zhao. "Verifying the SRT Division Algorithm Using Theorem Proving Techniques". In Formal Methods in System Design, 14(1), 1999, pp 7-77.
    • (1999) Formal Methods in System Design , vol.14 , Issue.1 , pp. 7-77
    • Clarke, E.M.1    German, S.M.2    Zhao, X.3
  • 5
    • 0001909165 scopus 로고    scopus 로고
    • Functional Verification Methodology for Microprocessors Using the Genesys Test Program Generator. Application to the x86 Microprocessors Family
    • L. Fournier, Y. Arbetman, and M. Levinger. "Functional Verification Methodology for Microprocessors Using the Genesys Test Program Generator. Application to the x86 Microprocessors Family", In DATE99, 1999, pp. 434-441.
    • (1999) DATE99 , pp. 434-441
    • Fournier, L.1    Arbetman, Y.2    Levinger, M.3
  • 6
    • 70350221391 scopus 로고    scopus 로고
    • Formal Verification of the Pentium 4 FP Multiplier
    • R. Kaivola and N. Narasimhan. "Formal Verification of the Pentium 4 FP Multiplier". In DATE02, 2002, pp. 20-27.
    • (2002) DATE02 , pp. 20-27
    • Kaivola, R.1    Narasimhan, N.2
  • 7
    • 0037419517 scopus 로고    scopus 로고
    • Solving the Generalized Mask Constraint for Test Generation of Binary FP Add Operation
    • Special Issue: Real Numbers and Computers
    • L. Fournier, A. Ziv. "Solving the Generalized Mask Constraint for Test Generation of Binary FP Add Operation". Theoretical Computer Science, Special Issue: Real Numbers and Computers, Vol. 291/2, 2003, pp. 183-201.
    • (2003) Theoretical Computer Science , vol.291 , Issue.2 , pp. 183-201
    • Fournier, L.1    Ziv, A.2
  • 8
    • 0032641933 scopus 로고    scopus 로고
    • Number-theoretic Test Generation for Directed Rounding
    • M. Parks. "Number-theoretic Test Generation for Directed Rounding". In Proc. Computer Arithmetic, 1999, pp. 241-248.
    • Proc. Computer Arithmetic, 1999 , pp. 241-248
    • Parks, M.1
  • 9
    • 0028554113 scopus 로고
    • Fitting Formal Methods into the Design Cycle
    • K. L. Mcmillan. "Fitting Formal Methods into the Design Cycle". In CAV, 1994, pp. 314-319.
    • (1994) CAV , pp. 314-319
    • Mcmillan, K.L.1
  • 10
  • 13
    • 0034865880 scopus 로고    scopus 로고
    • Generation and Analysis of Hard to Round Cases for Binary FP Division
    • L. McFearin and D. Matula. "Generation and Analysis of Hard to Round Cases for Binary FP Division". In Proc. Computer Arithmetic, 2001, pp. 119-126
    • Proc. Computer Arithmetic, 2001 , pp. 119-126
    • McFearin, L.1    Matula, D.2
  • 14
    • 0043136372 scopus 로고    scopus 로고
    • Solving Range Constraints for Binary FP Instructions
    • A. Ziv, M. Aharoni, and S. Asaf. "Solving Range Constraints for Binary FP Instructions", In proc. ARITH16, 2003, pp 158-164.
    • Proc. ARITH16, 2003 , pp. 158-164
    • Ziv, A.1    Aharoni, M.2    Asaf, S.3
  • 16
    • 0012096424 scopus 로고    scopus 로고
    • A Precision and Range Independent Tool for Testing FP Arithmetic: Basic operations, square root and remainder
    • B. Verdonk, A. Cuyt, and D. Verschaeren, "A Precision and Range Independent Tool for Testing FP Arithmetic: basic operations, square root and remainder". ACM TOMS, Vol. 27, Number 1, 2001, pp. 92-118.
    • (2001) ACM TOMS , vol.27 , Issue.1 , pp. 92-118
    • Verdonk, B.1    Cuyt, A.2    Verschaeren, D.3
  • 17
    • 84944348773 scopus 로고    scopus 로고
    • Formal tools won't replace simulation, experts say
    • R. Goering, "Formal tools won't replace simulation, experts say", http://www.eetimes.com/story/OEG20030606S0017, EE Times.
    • EE Times
    • Goering, R.1


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