BOOK

Formal Verification of Floating-Point Hardware Design

Keywords:
Computer science Computer hardware Point (geometry) Embedded system Mathematics

Metrics

18
Cited By
6.38
FWCI (Field Weighted Citation Impact)
3
Refs
0.95
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Numerical Methods and Algorithms
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

JOURNAL ARTICLE

Formal Verification of Floating-Point Programs

Sylvie BoldoJean-Christophe Filliâtre

Journal:   Proceedings/Proceedings - Symposium on Computer Arithmetic Year: 2007 Pages: 187-194
JOURNAL ARTICLE

Formal verification in hardware design

Christoph KernMark R. Greenstreet

Journal:   ACM Transactions on Design Automation of Electronic Systems Year: 1999 Vol: 4 (2)Pages: 123-193
© 2026 ScienceGate Book Chapters — All rights reserved.