Formal Verification of Floating-Point Hardware DesignDavid M. Russinoff라이브러리에 저장컬렉션에 추가202218 citationsDOITopics & ConceptsComputer scienceComputer hardwarePoint (geometry)Embedded systemMathematicsGeometryNumerical Methods and Algorithms