Please use this identifier to cite or link to this item:
https://hdl.handle.net/10356/81202
Title: | FX-SCORE: A Framework for Fixed-Point Compilation of SPICE Device Models Using Gappa++ | Authors: | Martorell, Hélène Kapre, Nachiket |
Keywords: | Computer Science and Engineering | Issue Date: | 2012 | Source: | Martorell, H., & Kapre, N. (2012). FX-SCORE: A Framework for Fixed-Point Compilation of SPICE Device Models Using Gappa++. 2012 IEEE 20th International Symposium on Field-Programmable Custom Computing Machines, 77-84. | Conference: | 2012 IEEE 20th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) | Abstract: | Automated, offline precision-analysis of dataflow computation containing elementary functions (e.g. exp) and if-then-else control flow operations enables accurate fixed-point FPGA implementation of SPICE device equations. We perform interval analysis of these equations using Gappa++ to statically compare error bounds of fixed-point and double-precision implementations. This is possible due to the limited dynamic range of physical voltage, current and conductance quantities in a SPICE simulation of real-world circuits. In contrast to previous custom-precision SPICE device mappings, our fixed-point implementation has the same accuracy as double-precision implementation when compared to ideal arithmetic (reals). To deliver these implementations we develop FX-SCORE, a high-level framework based on the SCORE streaming FPGA framework, that automatically generates Gappa++ scripts and AutoESL circuits to explore the cost-quality tradeoffs of Fixed-point FPGA implementations. Using our methodology, we can determine whether fixed-point is always better than a double-precision implementation at the same relative error. We demonstrate 35% geometric mean area improvement for different SPICE device models such as Diode, Level-1 MOSFET and an Approximate MOSFET when comparing custom fixed-point implementations with standard double-precision realizations. | URI: | https://hdl.handle.net/10356/81202 http://hdl.handle.net/10220/39178 |
DOI: | 10.1109/FCCM.2012.23 | Schools: | School of Computer Engineering | Rights: | © 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. The published version is available at: [http://dx.doi.org/10.1109/FCCM.2012.23]. | Fulltext Permission: | open | Fulltext Availability: | With Fulltext |
Appears in Collections: | SCSE Conference Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A Framework for Fixed-Point Compilation of SPICE Device Models Using Gappa.pdf | 634.24 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
20
9
Updated on Mar 20, 2024
Web of ScienceTM
Citations
50
5
Updated on Oct 27, 2023
Page view(s) 50
436
Updated on Mar 28, 2024
Download(s) 50
169
Updated on Mar 28, 2024
Google ScholarTM
Check
Altmetric
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.