-
1
-
-
0003589319
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
0034852165
-
Chaff: Engineering an Efficient SAT Solver
-
M. Moskewicz, C. Madigan, Y. Zhao, L. Zhang, and S. Malik. "Chaff: Engineering an Efficient SAT Solver". In DAC, 2001, pp. 530-535.
-
(2001)
DAC
, pp. 530-535
-
-
Moskewicz, M.1
Madigan, C.2
Zhao, Y.3
Zhang, L.4
Malik, S.5
-
13
-
-
0034865880
-
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
-
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
-
15
-
-
0034865853
-
A Decimal FP Specification
-
M. Cowlishaw, E. Schwarz, R. Smith, and C. Webb. "A Decimal FP Specification", In Proc. Computer Arithmetic, 2001, pp. 147-154.
-
Proc. Computer Arithmetic, 2001
, pp. 147-154
-
-
Cowlishaw, M.1
Schwarz, E.2
Smith, R.3
Webb, C.4
-
16
-
-
0012096424
-
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
-
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
|