{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:31:15Z","timestamp":1742635875347,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,11]]},"DOI":"10.1109\/iccad.2011.6105356","type":"proceedings-article","created":{"date-parts":[[2011,12,22]],"date-time":"2011-12-22T18:06:43Z","timestamp":1324577203000},"page":"367-374","source":"Crossref","is-referenced-by-count":10,"title":["ModSpec: An open, flexible specification framework for multi-domain device modelling"],"prefix":"10.1109","author":[{"given":"David","family":"Amsallem","sequence":"first","affiliation":[]},{"given":"Jaijeet","family":"Roychowdhury","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"19","DOI":"10.1109\/TPEL.2010.2103329"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1137\/090766498"},{"key":"18","first-page":"49","article-title":"Evaluating mppt converter topologies using a matlab pv model","volume":"21","author":"walker","year":"2001","journal-title":"Journal of Electrical & Electronics Engineering"},{"key":"15","first-page":"85","article-title":"Model reduction via projection onto nonlinear manifolds, with applications to analog circuits and biochemical systems","author":"gu","year":"2008","journal-title":"Proceedings of the 2008 IEEE\/ACM International Conference on Computer-Aided Design"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1002\/nme.3050"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1137\/080743627"},{"doi-asserted-by":"publisher","key":"14","DOI":"10.1016\/S0893-9659(99)00063-4"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1561\/1000000009"},{"year":"0","author":"eaton","key":"12"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1016\/j.laa.2003.11.034"},{"doi-asserted-by":"publisher","key":"20","DOI":"10.1017\/CBO9780511791253"},{"year":"0","journal-title":"Neuron Structure","key":"22"},{"year":"2007","author":"izhikevich","journal-title":"Dynamical Systems in Neuroscience The Geometry of Excitability and Bursting","key":"23"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1016\/0020-7101(84)90008-4"},{"doi-asserted-by":"publisher","key":"25","DOI":"10.1113\/jphysiol.1971.sp009364"},{"doi-asserted-by":"publisher","key":"26","DOI":"10.1007\/s10827-010-0229-4"},{"doi-asserted-by":"publisher","key":"27","DOI":"10.2514\/1.35374"},{"key":"28","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1090\/qam\/910462","article-title":"Turbulence and the dynamics of coherent structures. part i: Coherent structures","volume":"45","author":"sirovich","year":"1987","journal-title":"Quarterly of Applied Mathematics"},{"year":"0","journal-title":"Drosophila Melanogaster Neuron Network","key":"29"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.21236\/ADA637166","author":"quarles","year":"1989","journal-title":"Analysis of performance and convergence issues for circuit simulation"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/TCAD.2010.2042892"},{"year":"2003","author":"lemaitre","journal-title":"Compact Device Modeling Using Verilog-aMS and ADMS","key":"10"},{"key":"1","article-title":"Bsim 3v3.2 mosfet model users' manual","author":"liu","year":"1998","journal-title":"Technical Report UCB\/ERL M98\/51"},{"year":"1975","author":"chua","journal-title":"Computer-Aided Analysis of Electronic Circuits Algorithms and Computational Techniques","key":"7"},{"year":"1989","author":"press","journal-title":"Numerical Recipes- The Art of Scientific Computing","key":"6"},{"year":"0","journal-title":"SPICE","key":"5"},{"year":"0","journal-title":"Ngspice Circuit Simulator","key":"4"},{"year":"0","journal-title":"Tiburon da Products and Documentation","key":"9"},{"year":"0","journal-title":"Verilog-A Compact Model Extensions","key":"8"}],"event":{"name":"2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2011,11,7]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2011,11,10]]}},"container-title":["2011 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6095474\/6105287\/06105356.pdf?arnumber=6105356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T07:14:19Z","timestamp":1561101259000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6105356\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/iccad.2011.6105356","relation":{},"subject":[],"published":{"date-parts":[[2011,11]]}}}