Nvidia Assigned Patent
(Targeted News Service Via Acquire Media NewsEdge) By Targeted News Service
ALEXANDRIA, Va., Sept. 5 - Nvidia, Santa Clara, Calif., has been assigned a patent (8,527,923) developed by Behzad Akbarpour, Santa Clara, Calif., and Prosenjit Chatterjee, San Francisco, for a "system, method, and computer program product for hierarchical formal hardware verification of floating-point division and/or square root algorithmic designs using automatic sequential equivalence checking."
The abstract of the patent published by the U.S. Patent and Trademark Office states: "A system, method, and computer program product are provided for hierarchical formal hardware verification of floating-point division and/or square root algorithmic designs using automatic sequential equivalence checking. In use, for at least one of a floating-point division algorithm and a square root algorithm, an architectural specification for hardware, a hardware implementation on the hardware, and at least one intermediate model having a level of specificity between the architectural specification and the hardware implementation are identified. Additionally, an equivalence is automatically determined, hierarchically, between the architectural specification, and the at least one intermediate model, and between the at least one intermediate model and the hardware implementation. Furthermore, for the hardware, the at least one of the floating-point division algorithm and the square root algorithm are formally verified, based on the automatic sequential equivalence determination."
The patent application was filed on March 16, 2012 (13/423,097). The full-text of the patent can be found at http://patft.uspto.gov/netacgi/nph-Parser?Sect1=PTO1&Sect2=HITOFF&d=PALL&p=1&u=%2Fnetahtml%2FPTO%2Fsrchnum.htm&r=1&f=G&l=50&s1=8,527,923.PN.&OS=PN/8,527,923&RS=PN/8,527,923
Written by Kusum Sangma; edited by Anand Kumar.
(c) 2013 Targeted News Service
[ Back To Technology News's Homepage ]