Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models
Double-precision computations operating on inputs with uncertainty margins can be compiled to lower precision fixed-point datapaths with no loss in output accuracy. We observe that ideal SPICE model equations based on device physics include process parameters which must be matched with real-world me...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Paper |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10356/98267 http://hdl.handle.net/10220/17400 |
| _version_ | 1811695698054217728 |
|---|---|
| author | Kapre, Nachiket |
| author2 | School of Computer Engineering |
| author_facet | School of Computer Engineering Kapre, Nachiket |
| author_sort | Kapre, Nachiket |
| collection | NTU |
| description | Double-precision computations operating on inputs with uncertainty margins can be compiled to lower precision fixed-point datapaths with no loss in output accuracy. We observe that ideal SPICE model equations based on device physics include process parameters which must be matched with real-world measurements on specific silicon manufacturing processes through a noisy data-fitting process. We expose this uncertainty information to the open-source FX-SCORE compiler to enable automated error analysis using the Gappa++ backend and hardware circuit generation using Vivado HLS. We construct an error model based on interval analysis to statically identify sufficient fixedpoint precision in the presence of uncertainty as compared to reference double-precision design. We demonstrate 1-16× LUT count improvements, 0.5-2.4× DSP count reductions and 0.9-4× FPGA power reduction for SPICE devices such as Diode, Level-1 MOSFET and an Approximate MOSFET designs. We generate confidence in our approach using Monte-Carlo simulations with auto-generated Matlab models of the SPICE device equations. |
| first_indexed | 2024-10-01T07:27:36Z |
| format | Conference Paper |
| id | ntu-10356/98267 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T07:27:36Z |
| publishDate | 2013 |
| record_format | dspace |
| spelling | ntu-10356/982672020-05-28T07:17:40Z Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models Kapre, Nachiket School of Computer Engineering IEEE Annual International Symposium on Field-Programmable Custom Computing Machines (21st : 2013 : Seattle, Washington, US) DRNTU::Engineering::Computer science and engineering::Computing methodologies Double-precision computations operating on inputs with uncertainty margins can be compiled to lower precision fixed-point datapaths with no loss in output accuracy. We observe that ideal SPICE model equations based on device physics include process parameters which must be matched with real-world measurements on specific silicon manufacturing processes through a noisy data-fitting process. We expose this uncertainty information to the open-source FX-SCORE compiler to enable automated error analysis using the Gappa++ backend and hardware circuit generation using Vivado HLS. We construct an error model based on interval analysis to statically identify sufficient fixedpoint precision in the presence of uncertainty as compared to reference double-precision design. We demonstrate 1-16× LUT count improvements, 0.5-2.4× DSP count reductions and 0.9-4× FPGA power reduction for SPICE devices such as Diode, Level-1 MOSFET and an Approximate MOSFET designs. We generate confidence in our approach using Monte-Carlo simulations with auto-generated Matlab models of the SPICE device equations. Accepted version 2013-11-07T07:50:06Z 2019-12-06T19:53:00Z 2013-11-07T07:50:06Z 2019-12-06T19:53:00Z 2013 2013 Conference Paper Kapre, N. (2013). Exploiting Input Parameter Uncertainty for Reducing Datapath Precision of SPICE Device Models. 2013 IEEE 21st Annual International Symposium on Field-Programmable Custom Computing Machines, pp.189-197. https://hdl.handle.net/10356/98267 http://hdl.handle.net/10220/17400 10.1109/FCCM.2013.28 en © 2013 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.2013.28] application/pdf |
| spellingShingle | DRNTU::Engineering::Computer science and engineering::Computing methodologies Kapre, Nachiket Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models |
| title | Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models |
| title_full | Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models |
| title_fullStr | Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models |
| title_full_unstemmed | Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models |
| title_short | Exploiting input parameter uncertainty for reducing datapath precision of SPICE device models |
| title_sort | exploiting input parameter uncertainty for reducing datapath precision of spice device models |
| topic | DRNTU::Engineering::Computer science and engineering::Computing methodologies |
| url | https://hdl.handle.net/10356/98267 http://hdl.handle.net/10220/17400 |
| work_keys_str_mv | AT kaprenachiket exploitinginputparameteruncertaintyforreducingdatapathprecisionofspicedevicemodels |