{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:08:25Z","timestamp":1730297305450,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/smacd.2017.7981567","type":"proceedings-article","created":{"date-parts":[[2017,7,17]],"date-time":"2017-07-17T16:43:57Z","timestamp":1500309837000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["Automated generation of system-level AMS operating condition checks: Your model's insurance policy"],"prefix":"10.1109","author":[{"given":"Georg","family":"Glaser","sequence":"first","affiliation":[]},{"given":"Martin","family":"Grabmann","sequence":"additional","affiliation":[]},{"given":"Gerrit","family":"Kropp","sequence":"additional","affiliation":[]},{"given":"Andreas","family":"Furtig","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"2825","article-title":"Scikit-learn: Machine learning in Python","volume":"12","author":"pedregosa","year":"2011","journal-title":"Journal of Machine Learning Research"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1961189.1961199"},{"journal-title":"Mako Templates for Python","year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/9780470665121"},{"journal-title":"Ieee standard for property specification language (psl) ” IEEE Std 1850–2010 (Revision of IEEE Std 1850–2005)","first-page":"1","year":"2010","key":"ref4"},{"journal-title":"Virtuoso Spectre Circuit Simulator and Accelerated Parallel Simulator User Guide Product Version 14 1","year":"2015","author":"systems","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2003.159685"},{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456985"},{"key":"ref7","first-page":"98","article-title":"Analog assertion-based verification on partial state space representations using ASL","author":"steinhorst","year":"2012","journal-title":"Proceeding of the 2012 Forum on Specification and Design Languages FDL"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0249"},{"key":"ref1","article-title":"Knowing Your AMS System's Limits: System Acceptance Region Exploration by Using Automated Model Refinement and Accelerated Simulation","author":"gl\u00e4ser","year":"2016","journal-title":"Forum on Specification and Design Languages"},{"key":"ref9","article-title":"Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL","author":"ghiath al","year":"2007","journal-title":"Forum on Design Languages (FDL)"}],"event":{"name":"2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)","start":{"date-parts":[[2017,6,12]]},"location":"Giardini Naxos, Italy","end":{"date-parts":[[2017,6,15]]}},"container-title":["2017 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7970054\/7981552\/07981567.pdf?arnumber=7981567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,16]],"date-time":"2017-08-16T12:05:46Z","timestamp":1502885146000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7981567\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/smacd.2017.7981567","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}