{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:50:31Z","timestamp":1729615831091,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icecs.1999.812296","type":"proceedings-article","created":{"date-parts":[[2003,1,20]],"date-time":"2003-01-20T21:27:22Z","timestamp":1043098042000},"page":"355-360","source":"Crossref","is-referenced-by-count":1,"title":["Equivalence checking of hierarchical combinational circuits"],"prefix":"10.1109","volume":"1","author":[{"given":"P.F.","family":"Williams","sequence":"first","affiliation":[]},{"given":"H.","family":"Hulgaard","sequence":"additional","affiliation":[]},{"given":"H.","family":"Andersen","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/217474.217564"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EDAC.1992.205890"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1997.597155"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/43.310903"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240637"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1996.569111"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1998.655922"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"110","DOI":"10.1007\/3-540-59047-1_45","volume":"901","author":"van eijk","year":"1994","journal-title":"Theorem Provers in Circuit Design"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.250005"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-61474-5_66","author":"fujita","year":"1996","journal-title":"Computer Aided Verification (CAV)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129833"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/43.771175"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/12.324545"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580110"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1997.614938"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/12.644298"}],"event":{"name":"ICECS'99. 6th IEEE International Conference on Electronics, Circuits and Systems","acronym":"ICECS-99","location":"Pafos, Cyprus"},"container-title":["ICECS'99. Proceedings of ICECS '99. 6th IEEE International Conference on Electronics, Circuits and Systems (Cat. No.99EX357)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6565\/17539\/00812296.pdf?arnumber=812296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,27]],"date-time":"2018-01-27T15:22:40Z","timestamp":1517066560000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/812296\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icecs.1999.812296","relation":{},"subject":[]}}