{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:32:02Z","timestamp":1725708722724},"reference-count":10,"publisher":"IEEE","license":[{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2014,12,1]],"date-time":"2014-12-01T00:00:00Z","timestamp":1417392000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/icecs.2014.7050122","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T20:03:03Z","timestamp":1425412983000},"page":"862-865","source":"Crossref","is-referenced-by-count":5,"title":["UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context"],"prefix":"10.1109","author":[{"given":"Torsten","family":"Maehne","sequence":"first","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Zhi","family":"Wang","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Beno\u00eet","family":"Vernay","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Liliana","family":"Andrade","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"C\u00e9dric","family":"Ben Aoun","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Jean-Paul","family":"Chaput","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Marie-Minerve","family":"Lou\u00ebrat","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Fran\u00e7ois","family":"P\u00eacheux","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Arnaud","family":"Krust","sequence":"additional","affiliation":[{"name":"Fraunhofer IIS\/EAS, D-01069 Dresden, Germany"}]},{"given":"Gerold","family":"Schr\u00f6pfer","sequence":"additional","affiliation":[{"name":"Sorbonne Universités, UPMC Univ Paris 06, UMR 7606, LIP6, F-75005 Paris, France"}]},{"given":"Martin","family":"Barnasconi","sequence":"additional","affiliation":[{"name":"NXP Semiconductors, 5656 AE Eindhoven, The Netherlands"}]},{"given":"Karsten","family":"Einwich","sequence":"additional","affiliation":[{"name":"NXP Semiconductors, 5656 AE Eindhoven, The Netherlands"}]},{"given":"Fabio","family":"Cenni","sequence":"additional","affiliation":[{"name":"STMicroelectronics (Grenoble) SAS, F-38019 Grenoble, France"}]},{"given":"Olivier","family":"Guillaume","sequence":"additional","affiliation":[{"name":"STMicroelectronics (Grenoble) SAS, F-38019 Grenoble, France"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/BMAS.2009.5338878"},{"key":"ref3","first-page":"212","author":"bamasconi","year":"2013","journal-title":"Standard SystemC AMS extensions 2 0 language reference manual Accellera Systems Initiative (ASI)"},{"key":"ref10","article-title":"Advancing systemlevel verification using UVM in SystemC","author":"v\u00f6rtler","year":"0","journal-title":"Accellera"},{"key":"ref6","first-page":"159","article-title":"Bond graph support in SystemC AMS","author":"maehne","year":"2012","journal-title":"Proc of the 10th International Conference on Bond Graph Modeling and Simulation (ICBGM 2012)"},{"journal-title":"System Dynamics Modeling and Simulation of Mechatronic Systems","year":"2006","author":"karnopp","key":"ref5"},{"key":"ref8","article-title":"A novel method of MEMS system-level modeling via multi-domain virtual prototyping in SystemC-AMS","author":"vernay","year":"2014","journal-title":"Proceedings of the EDAA\/ACM SIGDA PhD Forum at DATE 2014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/9783527647132.ch17"},{"journal-title":"Universal Verification Methodology (UVM) 1 1 User's Guide Version 1 1","first-page":"198","year":"2011","key":"ref2"},{"key":"ref9","article-title":"Advancing systemlevel verification using UVM in SystemC","author":"barnasconi","year":"2014","journal-title":"Proceedings of DVCon 2014"},{"year":"2012","key":"ref1"}],"event":{"name":"2014 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS)","start":{"date-parts":[[2014,12,7]]},"location":"Marseille, France","end":{"date-parts":[[2014,12,10]]}},"container-title":["2014 21st IEEE International Conference on Electronics, Circuits and Systems (ICECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7041007\/7049902\/07050122.pdf?arnumber=7050122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T17:50:44Z","timestamp":1693245044000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7050122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icecs.2014.7050122","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}