{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T15:03:09Z","timestamp":1779807789386,"version":"3.53.1"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2018,12,21]],"date-time":"2018-12-21T00:00:00Z","timestamp":1545350400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Des. Autom. Electron. Syst."],"published-print":{"date-parts":[[2019,1,31]]},"abstract":"<jats:p>Temperature is a critical property of smart systems, due to its impact on reliability and to its inter-dependence with power consumption. Unfortunately, the current design flows evaluate thermal evolution ex-post on offline power traces. This does not allow to consider temperature as a dimension in the design loop, and it misses all the complex inter-dependencies with design choices and power evolution. In this article, by adopting the functional language SystemC-AMS (Analog Mixed Signal), we propose a method to enable thermal\/power\/functional co-simulation. The system thermal model is built by using state-of-the-art circuit equivalent models, by exploiting the support for electrical linear networks intrinsic of SystemC-AMS. The experimental results will show that the choice of SystemC-AMS is a winning strategy for building a simultaneous simulation of multiple functional and extra-functional properties of a system. The generated code exposes an accuracy comparable to that of the reference thermal simulator HotSpot. Additionally, the initial overhead due to the general purpose nature of SystemC-AMS is compensated by the surprisingly high performance of transient simulation, with speedups as high as two orders of magnitude.<\/jats:p>","DOI":"10.1145\/3267125","type":"journal-article","created":{"date-parts":[[2018,12,21]],"date-time":"2018-12-21T08:39:21Z","timestamp":1545381561000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["SystemC-AMS Thermal Modeling for the Co-simulation of Functional and Extra-Functional Properties"],"prefix":"10.1145","volume":"24","author":[{"given":"Yukai","family":"Chen","sequence":"first","affiliation":[{"name":"Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sara","family":"Vinco","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Enrico","family":"Macii","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1369-9688","authenticated-orcid":false,"given":"Massimo","family":"Poncino","sequence":"additional","affiliation":[{"name":"Politecnico di Torino, Turin, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,12,21]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Proc. of DOE MODSIM. 1--3.","author":"Beckmann B.","year":"2013"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/280756.280881"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2013.206"},{"key":"e_1_2_1_4_1","volume-title":"Proc. of IEEE SysCon. 756--761","author":"Bousquet L."},{"key":"e_1_2_1_5_1","unstructured":"D. Buttlar J. Farrell and B. Nichols. 2013. PThreads Programming\u2014A POSIX Standard for Better Multiprocessing. O\u2019Reilly Media. D. Buttlar J. Farrell and B. Nichols. 2013. PThreads Programming\u2014A POSIX Standard for Better Multiprocessing. O\u2019Reilly Media."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902961.2902975"},{"key":"e_1_2_1_7_1","doi-asserted-by":"crossref","unstructured":"F. Fummi M. Lora F. Stefanni D. Trachanis J. Vanhese and S. Vinco. 2014. Moving from co-simulation to simulation for effective smart systems design. In IEEE\/ACM DATE. 1--4. F. Fummi M. Lora F. Stefanni D. Trachanis J. Vanhese and S. Vinco. 2014. Moving from co-simulation to simulation for effective smart systems design. In IEEE\/ACM DATE. 1--4.","DOI":"10.7873\/DATE.2014.299"},{"key":"e_1_2_1_8_1","volume-title":"Proc. of IEEE SOCC. 263--266","author":"Hartmann P. A."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647955"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/2263019.2263045"},{"key":"e_1_2_1_11_1","unstructured":"W. Huang K. Sankaranarayanan R. J. Rib M. R. Stan and K. Skadron. 2007. An Improved Block-Based Thermal Model in HotSpot 4.0 with Granularity Considerations. Retrieved from citeseerx.ist.psu.edu\/viewdoc\/summary?doi&equals;10.1.1.80.3864. W. Huang K. Sankaranarayanan R. J. Rib M. R. Stan and K. Skadron. 2007. An Improved Block-Based Thermal Model in HotSpot 4.0 with Granularity Considerations. Retrieved from citeseerx.ist.psu.edu\/viewdoc\/summary?doi&equals;10.1.1.80.3864."},{"key":"e_1_2_1_12_1","first-page":"1","article-title":"IEEE standard for standard SystemC analog\/mixed-signal extensions language reference manual","volume":"1666","author":"IEEE.","year":"2016","journal-title":"Std"},{"key":"e_1_2_1_13_1","unstructured":"IEEE PATMOS. 2017. DESIGN CONTEST\u2014Design for Performance and Thermal Efficiency. Retrieved from http:\/\/patmos2017.web.auth.gr\/patmos2017_designContest.php. IEEE PATMOS. 2017. DESIGN CONTEST\u2014Design for Performance and Thermal Efficiency. Retrieved from http:\/\/patmos2017.web.auth.gr\/patmos2017_designContest.php."},{"key":"e_1_2_1_14_1","volume-title":"MKL\u2014Math Kernel Library","year":"2017"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","unstructured":"L. Jani and A. Poppe. 2017. Adaptive co-simulation of functional-thermal behaviour of integrated circuits. In IEEE THERMINIC. 1--8. L. Jani and A. Poppe. 2017. Adaptive co-simulation of functional-thermal behaviour of integrated circuits. In IEEE THERMINIC. 1--8.","DOI":"10.1109\/THERMINIC.2017.8233823"},{"key":"e_1_2_1_16_1","unstructured":"T. Kemper Y. Zhang Z. Bian and A. Shakouri. 2006. Ultrafast temperature profile calculation in IC chips. In IEEE THERMINIC. 133--137. T. Kemper Y. Zhang Z. Bian and A. Shakouri. 2006. Ultrafast temperature profile calculation in IC chips. In IEEE THERMINIC. 133--137."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2015.56"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089014.1089017"},{"key":"e_1_2_1_19_1","doi-asserted-by":"crossref","unstructured":"P. Liu Z. Qi H. Li L. Jin W. Wu S. X. Tan and J. Yang. 2005. Fast thermal simulation for architecture level dynamic thermal management. In IEEE ICCAD. 639--644. P. Liu Z. Qi H. Li L. Jin W. Wu S. X. Tan and J. Yang. 2005. Fast thermal simulation for architecture level dynamic thermal management. In IEEE ICCAD. 639--644.","DOI":"10.1109\/ICCAD.2005.1560145"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2228267"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594233.1594314"},{"key":"e_1_2_1_22_1","volume-title":"Boundary Value Problems of Heat Conduction","author":"Ozisik M."},{"key":"e_1_2_1_23_1","volume-title":"Proc. of ECSI\/IEEE FDL. 1--8.","author":"Pan X."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.879797"},{"key":"e_1_2_1_25_1","volume-title":"Proc. of IEEE\/ECSI FDL. 90--97","author":"Reuther C."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1261387"},{"key":"e_1_2_1_27_1","volume-title":"Technical Report CS-2003-08. Univ. of Virginia Dept. of CS.","author":"Skadron K.","year":"2003"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024786"},{"key":"e_1_2_1_29_1","first-page":"223","article-title":"Instruction level power analysis and optimization of software","volume":"13","author":"Tiwari V.","year":"1996","journal-title":"IEEE ICVD"},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","unstructured":"A. Viehl B. Sander O. Bringmann and W. Rosenstiel. 2008. Integrated requirement evaluation of non-functional system-on-chip properties. In ECSI\/IEEE FDL. 105--110. A. Viehl B. Sander O. Bringmann and W. Rosenstiel. 2008. Integrated requirement evaluation of non-functional system-on-chip properties. In ECSI\/IEEE FDL. 105--110.","DOI":"10.1109\/FDL.2008.4641430"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"A. Vincenzi A. Sridhar M. Ruggiero and D. Atienza. 2011. Fast thermal simulation of 2D\/3D integrated circuits exploiting neural networks and GPUs. In IEEE\/ACM ISLPED. 151--156. A. Vincenzi A. Sridhar M. Ruggiero and D. Atienza. 2011. Fast thermal simulation of 2D\/3D integrated circuits exploiting neural networks and GPUs. In IEEE\/ACM ISLPED. 151--156.","DOI":"10.1109\/ISLPED.2011.5993628"},{"key":"e_1_2_1_32_1","first-page":"1702","article-title":"A layered methodology for the simulation of extra-functional properties in smart systems","volume":"36","author":"Vinco S.","year":"2017","journal-title":"IEEE TCAD"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2627369.2627657"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2891409"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2017.2778066"},{"key":"e_1_2_1_36_1","volume-title":"SPICE-compatible thermal simulation with lumped circuit modeling for thermal reliability analysis based on modeling order reduction","author":"Wang T.-Y."},{"key":"e_1_2_1_37_1","first-page":"163","article-title":"Automated high-level modeling of power, temperature and timing variation for microprocessor","volume":"10","author":"Wang Z.","year":"2017","journal-title":"KMUTNB IJAST"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882589"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1561\/1500000007"},{"key":"e_1_2_1_40_1","volume-title":"Technical Report CS-2015-04. Univ. of Virginia Dept. of CS.","author":"Zhang R.","year":"2015"}],"container-title":["ACM Transactions on Design Automation of Electronic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3267125","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3267125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T14:07:47Z","timestamp":1779804467000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3267125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,21]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,1,31]]}},"alternative-id":["10.1145\/3267125"],"URL":"https:\/\/doi.org\/10.1145\/3267125","relation":{},"ISSN":["1084-4309","1557-7309"],"issn-type":[{"value":"1084-4309","type":"print"},{"value":"1557-7309","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,21]]},"assertion":[{"value":"2018-02-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-08-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}