{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T19:20:32Z","timestamp":1729624832001,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE Comput. Soc. Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.1989.76900","type":"proceedings-article","created":{"date-parts":[[2003,1,7]],"date-time":"2003-01-07T19:15:12Z","timestamp":1041966912000},"page":"38-41","source":"Crossref","is-referenced-by-count":17,"title":["Restricted symbolic evaluation is fast and useful"],"prefix":"10.1109","author":[{"given":"J.L.","family":"Carter","sequence":"first","affiliation":[]},{"given":"B.K.","family":"Rosen","sequence":"additional","affiliation":[]},{"given":"G.L.","family":"Smith","sequence":"additional","affiliation":[]},{"given":"V.","family":"Pitchumani","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"462","article-title":"A Logic Design Structure for LSI Testability","author":"eichelberger","year":"1977","journal-title":"Proc IEEE-ACM Design Automation Conf"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1109\/DAC.1979.1600139","article-title":"The Application of Program Verification Techniques to Hardware Verification","author":"darringer","year":"1979","journal-title":"Proc IEEE-ACM Design Automation Conf"},{"key":"ref5","first-page":"27","article-title":"A System Engineer's Guide to Simulators","volume":"5","author":"werner","year":"1984","journal-title":"VLSI Design"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-95424-5"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270308"}],"event":{"name":"1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers","location":"Santa Clara, CA, USA"},"container-title":["1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx2\/263\/2564\/00076900.pdf?arnumber=76900","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,25]],"date-time":"2023-04-25T17:54:42Z","timestamp":1682445282000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/76900\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/iccad.1989.76900","relation":{},"subject":[]}}