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 SizeFormat 
A Framework for Fixed-Point Compilation of SPICE Device Models Using Gappa.pdf634.24 kBAdobe PDFThumbnail
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


Plumx

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.