{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:42:34Z","timestamp":1725770554044},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/apccas.2018.8605710","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T03:28:04Z","timestamp":1548300484000},"page":"102-106","source":"Crossref","is-referenced-by-count":2,"title":["Transistor Sizing for Parameter Obfuscation of Analog Circuits Using Satisfiability Modulo Theory"],"prefix":"10.1109","author":[{"given":"Vaibhav Venugopal","family":"Rao","sequence":"first","affiliation":[]},{"given":"Ioannis","family":"Savidis","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"1","article-title":"SAT Based Verification for Analog and Mixed Signal Circuits","author":"deng","year":"2012","journal-title":"Masters ttesis Texas A and M University"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062253"},{"key":"ref6","first-page":"770","article-title":"Security Oriented Analog Circuit Design Using Satisfiability Modulo Theory Based Search Space Exploration","author":"rao","year":"2018","journal-title":"Proc Governm Microcircuit Applic & Critical Technol Conf (GomacTech)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744919"},{"key":"ref7","first-page":"231","article-title":"Recent Improvements in the SMT Solver iSAT","author":"scheibler","year":"2013","journal-title":"Proceedings of the Methods and Description Languages for the Modeling and Verification of Circuits and Systems Conference"},{"key":"ref2","first-page":"156","article-title":"A Survey of Recent Advances in SAT-Based Formal Verification","author":"mukul","year":"0","journal-title":"Proceedings of the International Journal on SoThware Tools for Technology Transfer"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2017.7906739"}],"event":{"name":"2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)","start":{"date-parts":[[2018,10,26]]},"location":"Chengdu","end":{"date-parts":[[2018,10,30]]}},"container-title":["2018 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8596720\/8605562\/08605710.pdf?arnumber=8605710","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T06:10:12Z","timestamp":1598249412000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8605710\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/apccas.2018.8605710","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}