{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:10:45Z","timestamp":1729617045919,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/isqed.2015.7085434","type":"proceedings-article","created":{"date-parts":[[2015,4,16]],"date-time":"2015-04-16T15:16:36Z","timestamp":1429197396000},"page":"250-256","source":"Crossref","is-referenced-by-count":1,"title":["Signal domain based reachability analysis in RTL circuits"],"prefix":"10.1109","author":[{"given":"Sharad","family":"Bagri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kelson","family":"Gent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2013.51"},{"key":"ref11","first-page":"104","article-title":"Scalable Test Generation by Interleaving Concrete and Symbolic Execution","author":"xiaoke","year":"2014","journal-title":"13th International Conference on VLSI Design and 27th International Conference on Embedded Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2012.101"},{"year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73561"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/3-540-48683-6_8","article-title":"Verifying Safety Properties of a PowerPC— Microprocessor Using Symbolic Model Checking without BDDs","volume":"1633","author":"biere","year":"1999","journal-title":"Computer Aided Verification"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"502","DOI":"10.1109\/ICCAD.2004.1382630","article-title":"Incremental deductive & inductive reasoning for SAT-based bounded model checking","author":"liang","year":"2004","journal-title":"Computer Aided Design 2004 ICCAD-2004 IEEE\/ACM International Conference on"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/348019.348288"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582325"},{"key":"ref6","first-page":"402","article-title":"Efficient Design Validation Based on Cultural Algorithms","author":"weixin","year":"2008","journal-title":"Design Automation and Test in Europe"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.1997.568180"},{"key":"ref8","first-page":"32","article-title":"STAR: Generating input vectors for design validation by static analysis of RTL","author":"lingyi","year":"2009","journal-title":"IEEE International High Level Design Validation and Test Workshop"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2012.6401556"},{"article-title":"The 2010 Wilson Research Group Functional Verification Study","year":"2011","author":"foster","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1999.805857"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763253"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-23702-7_26","article-title":"P. R, Software verification using k-induction","author":"donaldson","year":"2011","journal-title":"18th Intl Conf on Static Analysis"}],"event":{"name":"2015 16th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2015,3,2]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2015,3,4]]}},"container-title":["Sixteenth International Symposium on Quality Electronic Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7080985\/7085355\/07085434.pdf?arnumber=7085434","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T11:57:21Z","timestamp":1566561441000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7085434\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/isqed.2015.7085434","relation":{},"subject":[],"published":{"date-parts":[[2015,3]]}}}