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 of Floating-Point Division
Ashish KapoorWarren E. FergusonHimanshu JainSudipta Kundu
Year: 2023 Pages: 93-96
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