Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Hardin, David
Wilding, Matthew
and
Greve, David
1998.
Computer Aided Verification.
Vol. 1427,
Issue. ,
p.
39.
Harrison, John
1999.
Theorem Proving in Higher Order Logics.
Vol. 1690,
Issue. ,
p.
113.
Harrison, John
2000.
Theorem Proving in Higher Order Logics.
Vol. 1869,
Issue. ,
p.
233.
Harrison, John
2000.
Automated Deduction - CADE-17.
Vol. 1831,
Issue. ,
p.
1.
Jacobi, Christian
and
Kroening, Daniel
2000.
Informatik 2000.
p.
293.
Berg, Christoph
and
Jacobi, Christian
2001.
Correct Hardware Design and Verification Methods.
Vol. 2144,
Issue. ,
p.
325.
Kaufmann, Matt
and
Moore, J Strother
2001.
Structured Theory Development for a Mechanized Logic.
Journal of Automated Reasoning,
Vol. 26,
Issue. 2,
p.
161.
Kaivola, R.
and
Narasimhan, N.
2001.
Formal verification of the Pentium(R) 4 multiplier.
p.
115.
Boldo, S.
and
Daumas, M.
2001.
A mechanically-validated technique for extending the available precision.
p.
1299.
Boldo, Sylvie
and
Daumas, Marc
2002.
Properties of the subtraction valid for any floating point system.
Electronic Notes in Theoretical Computer Science,
Vol. 66,
Issue. 2,
p.
132.
Kaivola, R.
and
Narasimhan, N.
2002.
Formal verification of the Pentium/sup /spl reg//4 floating-point multiplier.
p.
20.
Sawada, Jun
and
Gamboa, Ruben
2002.
Formal Methods in Computer-Aided Design.
Vol. 2517,
Issue. ,
p.
274.
Hunt, Warren A.
Krug, Robert Bellarmine
and
Moore, J.
2003.
Correct Hardware Design and Verification Methods.
Vol. 2860,
Issue. ,
p.
319.
Beyer, Sven
Jacobi, Chris
Kröning, Daniel
Leinenbach, Dirk
and
Paul, Wolfgang J.
2003.
Correct Hardware Design and Verification Methods.
Vol. 2860,
Issue. ,
p.
51.
Boldo, S.
and
Daumas, M.
2003.
Representable correcting terms for possibly underflowing floating point operations.
p.
79.
Velev, M.N.
2003.
Collection of high-level microprocessor bugs from formal verification of pipelined and superscalar designs.
Vol. 1,
Issue. ,
p.
138.
Even, G.
Seidel, P.-M.
and
Ferguson, W.E.
2003.
A parametric error analysis of Goldschmidt's division algorithm.
p.
165.
2004.
Digital Arithmetic.
p.
649.
Ercegovac, Miloš D.
and
Lang, Tomás
2004.
Digital Arithmetic.
p.
396.
Boldo, Sylvie
and
Daumas, Marc
2004.
Properties of two’s complement floating point notations.
International Journal on Software Tools for Technology Transfer,
Vol. 5,
Issue. 2-3,
p.
237.