BOOK
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach
Keywords:
Computer science Computer hardware Floating point Embedded system Programming language
Metrics
7
Cited By
0.43
FWCI (Field Weighted Citation Impact)
0
Refs
0.82
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Embedded Systems Design Techniques
Physical Sciences → Computer Science → Hardware and Architecture
Numerical Methods and Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Parallel Computing and Optimization Techniques
Physical Sciences → Computer Science → Hardware and Architecture
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