{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T00:49:40Z","timestamp":1725670180291},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642283642"},{"type":"electronic","value":"9783642283659"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28365-9_24","type":"book-chapter","created":{"date-parts":[[2012,3,22]],"date-time":"2012-03-22T16:56:38Z","timestamp":1332435398000},"page":"290-301","source":"Crossref","is-referenced-by-count":1,"title":["FPGA Paranoia: Testing Numerical Properties of FPGA Floating Point IP-Cores"],"prefix":"10.1007","author":[{"given":"Xuan You","family":"Tan","sequence":"first","affiliation":[]},{"given":"David","family":"Boland","sequence":"additional","affiliation":[]},{"given":"George","family":"Constantinides","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"Hillesland, K., Lastra, A.: GPU Floating-Point Paranoia (2004), \n                    \n                      http:\/\/www.cs.unc.edu\/~ibr\/projects\/paranoia\/gpu_paranoia.pdf"},{"key":"24_CR2","unstructured":"Kahan, W., Severance, C.: An interview with the old man of floating-point (1998), \n                    \n                      http:\/\/www.eng.auburn.edu\/~agrawvd\/COURSE\/E6200_Fall07\/READ\/Kahan_Interview.pdf"},{"key":"24_CR3","unstructured":"IEEE, IEEE Standard for Binary Floating-Point Arithmetic, Std (1985)"},{"key":"24_CR4","unstructured":"Jones, A.: Supercomputing\u2019s future: Is it CPU or GPU? ZDNet UK \/ News and Analysis \/ Business of IT \/ IT Strategy (2010), \n                    \n                      http:\/\/www.zdnet.co.uk\/news\/it-strategy\/2010\/06\/16\/supercomputings-future-is-it-cpu-or-gpu-40089202"},{"key":"24_CR5","unstructured":"Gupta, S.: China\u2019s Investment In GPU Supercomputing Begins to Pay Off Big Time. NVIDIA Blog (2011), \n                    \n                      http:\/\/blogs.nvidia.com\/2011\/06\/chinas-investment-in-gpu-supercomputing-begins-to-pay-off-big-time"},{"key":"24_CR6","unstructured":"Intel, \u201cIntel and floating point\u201d. Cygnus Software (2006), \n                    \n                      http:\/\/www.intel.com\/standards\/floatingpoint.pdf"},{"key":"24_CR7","unstructured":"Kahan, W.: Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic. University of California, Berkeley, Tech. Rep (1997), \n                    \n                      http:\/\/www.cs.berkeley.edu\/~wkahan\/ieee754status\/IEEE754.PDF"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Underwood, K.: FPGAs vs. CPUs: trends in peak floating-point performance. In: Proc. Int. Symp. on Field Programmable Gate Arrays, pp. 171\u2013180 (2004)","DOI":"10.1145\/968280.968305"},{"key":"24_CR9","unstructured":"IEEE, IEEE Standard for Floating-Point Arithmetic, IEEE Std. 754 (2008)"},{"key":"24_CR10","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys (1991), \n                    \n                      http:\/\/download.oracle.com\/docs\/cd\/E19957-01\/806-3568\/ncg_goldberg.html"},{"key":"24_CR11","unstructured":"Kahan, W.: A brief tutorial on gradual underflow (2005), \n                    \n                      http:\/\/www.cs.berkeley.edu\/~wkahan\/ARITH_17U.pdf"},{"issue":"4","key":"24_CR12","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1007\/s10009-006-0204-6","volume":"8","author":"S. Beyer","year":"2006","unstructured":"Beyer, S.: Putting it all together - formal verification of the VAMP. International Journal on Software Tools for Technology Transfer\u00a08(4), 411\u2013430 (2006)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"3","key":"24_CR13","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10703-005-1613-y","volume":"26","author":"C. Jacobi","year":"2005","unstructured":"Jacobi, C.: Formal verification of the VAMP floating point unit. Formal Methods in System Design\u00a026(3), 227\u2013266 (2005)","journal-title":"Formal Methods in System Design"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Kikkeri, N., Seidel, P.M.: An FPGA Implementation of a Fully Verified Double Precision IEEE Floating-Point Adder. In: IEEE International Conference on Application-specific Systems, Architectures and Processors, pp. 83\u201388 (2007)","DOI":"10.1109\/ASAP.2007.4429962"},{"key":"24_CR15","unstructured":"Hauser, J.: Testfloat (2010), \n                    \n                      http:\/\/www.jhauser.us\/arithmetic\/TestFloat.html"},{"issue":"1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/382043.382405","volume":"27","author":"B. Verdonk","year":"2001","unstructured":"Verdonk, B., Cuyt, A., Verschaeren, D.: A precision- and range-independent tool for testing floating-point arithmetic II: conversions. ACM Trans. Math. Softw.\u00a027(1), 119\u2013140 (2001)","journal-title":"ACM Trans. Math. Softw."},{"key":"24_CR17","unstructured":"Kahan, W.: Paranoia in BASIC (1983), \n                    \n                      http:\/\/netlib.org\/paranoia\/paranoia.b"},{"key":"24_CR18","unstructured":"Wichmann, B.A.: Paranoia in Pascal (1985), \n                    \n                      http:\/\/netlib.org\/paranoia\/paranoia.p"},{"key":"24_CR19","unstructured":"Sumner, T., Gay, D.: Paranoia in C (1986), \n                    \n                      http:\/\/netlib.org\/paranoia\/paranoia.c"},{"issue":"2","key":"24_CR20","first-page":"223","volume":"10","author":"R. Karpinski","year":"1985","unstructured":"Karpinski, R.: Paranoia - a floating point benchmark. Byte Magazine\u00a010(2), 223\u2013235 (1985)","journal-title":"Byte Magazine"},{"key":"24_CR21","unstructured":"Altera: Floating-Point Megafunctions User Guide (2011), \n                    \n                      http:\/\/www.altera.com\/literature\/ug\/ug_altfp_mfug.pdf"},{"key":"24_CR22","unstructured":"Xilinx: LogiCore IP Floating-Point Operator v6.0 (2011), \n                    \n                      http:\/\/www.xilinx.com\/support\/documentation\/ip_documentation\/floating_point\/v6_0\/ds816_floating_point.pdf"},{"key":"24_CR23","unstructured":"de Dinechin, F.: FloPoCo, a generator of arithmetic cores for FPGAs (2010), \n                    \n                      http:\/\/flopoco.gforge.inria.fr\/"},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"de Dinechin, F., Pasca, B., Cret, O., Tudoran, R.: An FPGA-specific approach to floating-point accumulation and sum-of-products. In: Proc. Int. Conf. on Field-Programmable Technology, pp. 33\u201340 (2008)","DOI":"10.1109\/FPT.2008.4762363"},{"key":"24_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-642-12133-3_16","volume-title":"Reconfigurable Computing: Architectures, Tools and Applications","author":"A. Roldao Lopes","year":"2010","unstructured":"Roldao Lopes, A., Constantinides, G.A.: A Fused Hybrid Floating-Point and Fixed-Point Dot-Product for FPGAs. In: Sirisuk, P., Morgan, F., El-Ghazawi, T., Amano, H. (eds.) ARC 2010. LNCS, vol.\u00a05992, pp. 157\u2013168. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Reconfigurable Computing: Architectures, Tools and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28365-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T20:15:52Z","timestamp":1556482552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28365-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642283642","9783642283659"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28365-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}