{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:37:09Z","timestamp":1761323829835},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2012,6,1]],"date-time":"2012-06-01T00:00:00Z","timestamp":1338508800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1007\/s10617-012-9092-z","type":"journal-article","created":{"date-parts":[[2012,7,19]],"date-time":"2012-07-19T01:29:02Z","timestamp":1342661342000},"page":"115-135","source":"Crossref","is-referenced-by-count":10,"title":["HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels"],"prefix":"10.1007","volume":"16","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Valerio","family":"Guarnieri","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Stefanni","sequence":"additional","affiliation":[]},{"given":"Sara","family":"Vinco","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,7,18]]},"reference":[{"key":"9092_CR1","first-page":"1","volume-title":"Proc of ACM\/IEEE DATE","author":"W Ecker","year":"2007","unstructured":"Ecker W, Esen V, Schonberg L, Steininger T, Velten M, Hull M (2007) Impact of description language, abstraction layer, and value representation on simulation performance. In: Proc of ACM\/IEEE DATE, pp\u00a01\u20136"},{"key":"9092_CR2","unstructured":"Accellera Systems Initiative (2005) IEEE 1666-2005 Standard SystemC Language Reference Manual. http:\/\/www.accellera.org"},{"key":"9092_CR3","unstructured":"Ecker W (2007) Impact of SystemC data types on execution speed. http:\/\/www-ti.informatik.uni-tuebingen.de\/systemc\/Documents\/Presentation-15-UP2_ecker.pdf"},{"key":"9092_CR4","volume-title":"System design with SystemC","author":"T Grotker","year":"2002","unstructured":"Grotker T, Liao S, Martin G, Swan S (2002) System design with SystemC. Kluwer Academic, Norwell"},{"key":"9092_CR5","first-page":"19","volume-title":"ACM\/IEEE CODES+ISSS","author":"L Cai","year":"2003","unstructured":"Cai L, Gajski D (2003) Transaction level modeling: an overview. In: ACM\/IEEE CODES+ISSS, pp\u00a019\u201324"},{"key":"9092_CR6","unstructured":"TLM Transaction-Level Modeling Library (2009) OSCI TLM-2.0 Language Reference Manual. http:\/\/www.accellera.org"},{"key":"9092_CR7","volume-title":"Using transactional level models in a SoC design flow","author":"F Ghenassia","year":"2003","unstructured":"Ghenassia F et al. (2003) Using transactional level models in a SoC design flow. Kluwer Academic, Dordrecht"},{"issue":"12","key":"9092_CR8","doi-asserted-by":"crossref","first-page":"1730","DOI":"10.1109\/TC.2010.187","volume":"60","author":"N Bombieri","year":"2011","unstructured":"Bombieri N, Fummi F, Pravadelli G (2011) Automatic abstraction of RTL IPs into equivalent TLM descriptions. IEEE Trans Comput 60(12):1730\u20131743","journal-title":"IEEE Trans Comput"},{"key":"9092_CR9","unstructured":"Carbon Design Systems (2012) Carbon design model studio. http:\/\/www.carbondesignsystems.com"},{"key":"9092_CR10","first-page":"149","volume-title":"Proc of ACM\/IEEE ASP-DAC","author":"M Nanjundappa","year":"2010","unstructured":"Nanjundappa M, Patel HD, Bijoy AJ, Shukla SK (2010) SCGPSim: a fast SystemC simulator on GPUs. In: Proc of ACM\/IEEE ASP-DAC, pp\u00a0149\u2013154"},{"key":"9092_CR11","first-page":"1","volume-title":"Proc of ACM\/IEEE ASP-DAC","author":"R Sinha","year":"2011","unstructured":"Sinha R, Prakash A, Patel HD (2011) Parallel simulation of mixed-abstraction SystemC models on GPUs and multicore CPUs. In: Proc of ACM\/IEEE ASP-DAC, pp\u00a01\u20136"},{"key":"9092_CR12","first-page":"1","volume-title":"Proc of ACM\/IEEE DATE","author":"N Bombieri","year":"2012","unstructured":"Bombieri N, Fummi F, Guarnieri V (2012) FAST-GP: an RTL functional verification framework based on fault simulation on GP-GPUs. In: Proc of ACM\/IEEE DATE, pp\u00a01\u20136"},{"key":"9092_CR13","unstructured":"NVIDIA (2012) Cuda home page. http:\/\/www.nvidia.com\/object\/cuda_home_new.html"},{"key":"9092_CR14","volume-title":"Proc of DVCon conference","author":"G Tumbush","year":"2007","unstructured":"Tumbush G, Hupp M (2007) Dramatically increase the performance of SystemC simulations. In: Proc of DVCon conference"},{"key":"9092_CR15","first-page":"337","volume-title":"Proc of FDL conference","author":"A Takach","year":"2004","unstructured":"Takach A, Gutberlet P, Waters S (2004) Fast bit-accurate C++ datatypes for functional system verification and synthesis. In: Proc of FDL conference, pp\u00a0337\u2013345"},{"key":"9092_CR16","unstructured":"Herrera F (2008) Heterogeneous specification and automatic software generation from SystemC for embedded systems. Ph.D. thesis, University of Cantabria"},{"key":"9092_CR17","first-page":"557","volume-title":"Proc of ACM\/IEEE DAC","author":"D Chatterjee","year":"2009","unstructured":"Chatterjee D, DeOrio A, Bertacco V (2009) Event-driven gate-level simulation with GP-GPUs. In: Proc of ACM\/IEEE DAC, pp\u00a0557\u2013562"},{"key":"9092_CR18","first-page":"1332","volume-title":"Proc of ACM\/IEEE DATE","author":"D Chatterjee","year":"2009","unstructured":"Chatterjee D, DeOrio A, Bertacco V (2009) GCS: high-performance gate-level simulation with GP-GPUs. In: Proc of ACM\/IEEE DATE, pp\u00a01332\u20131337"},{"key":"9092_CR19","first-page":"71","volume-title":"Proc of IEEE ISPDC","author":"A Sen","year":"2010","unstructured":"Sen A, Aksanli B, Bozkurt M, Mert M (2010) Parallel cycle based logic simulation using graphics processing units. In: Proc of IEEE ISPDC, pp\u00a071\u201378"},{"key":"9092_CR20","first-page":"822","volume-title":"Proc of ACM\/IEEE DAC","author":"K Gulati","year":"2008","unstructured":"Gulati K, Khatri SP (2008) Towards acceleration of fault simulation using graphics processing units. In: Proc of ACM\/IEEE DAC, pp\u00a0822\u2013827"},{"key":"9092_CR21","first-page":"380","volume-title":"Proc of ACM\/IEEE DAC","author":"MA Kochte","year":"2010","unstructured":"Kochte MA, Schaal M, Wunderlich H-J, Zoellin CG (2010) Efficient fault simulation on many-core processors. In: Proc of ACM\/IEEE DAC, pp\u00a0380\u2013385"},{"key":"9092_CR22","first-page":"1","volume-title":"Proc of IEEE ITC","author":"H Li","year":"2010","unstructured":"Li H, Xu D, Han Y, Cheng KT, Li X (2010) nGFSIM: a GPU-based fault simulator for 1-to-n detection and its applications. In: Proc of IEEE ITC, pp\u00a01\u201310"},{"issue":"1","key":"9092_CR23","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1049\/ess:20030104","volume":"1","author":"W Stoye","year":"2003","unstructured":"Stoye W, Greaves D, Richards N, Green J (2003) Using RTL-to-C++ translation for large SoC concurrent engineering: a case study. IEEE\/IET Electron Syst Softw 1(1):20\u201325","journal-title":"IEEE\/IET Electron Syst Softw"},{"key":"9092_CR24","first-page":"24","volume-title":"Proc of ACM\/IEEE DAC","author":"N Bombieri","year":"2010","unstructured":"Bombieri N, Fummi F, Pravadelli G (2010) Abstraction of RTL IPs into embedded software. In: Proc of ACM\/IEEE DAC, pp\u00a024\u201329"},{"key":"9092_CR25","unstructured":"Aldec DVM (2012) http:\/\/www.aldec.com"},{"key":"9092_CR26","unstructured":"Snyder W, Wasson P, Galbi D (2012) Verilator\u2014Convert Verilog code to C++\/SystemC. http:\/\/www.veripool.org\/wiki\/verilator"},{"key":"9092_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2010\/436328","volume":"2010","author":"N Bombieri","year":"2010","unstructured":"Bombieri N, Di Guglielmo G, Ferrari M, Fummi F, Pravadelli G, Stefanni F, Venturelli A (2010) HIFSuite: tools for HDL code conversion and manipulation. EURASIP J Embed Syst 2010:1\u201320","journal-title":"EURASIP J Embed Syst"},{"key":"9092_CR28","unstructured":"EDALab s.r.l. (2012) EDALab networked embedded systems. http:\/\/www.edalab.it\/"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9092-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-012-9092-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-012-9092-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T19:29:35Z","timestamp":1559244575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-012-9092-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":28,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,6]]}},"alternative-id":["9092"],"URL":"https:\/\/doi.org\/10.1007\/s10617-012-9092-z","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,6]]}}}