{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T18:40:16Z","timestamp":1734288016175,"version":"3.30.2"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/ats.2003.1250801","type":"proceedings-article","created":{"date-parts":[[2004,3,30]],"date-time":"2004-03-30T22:17:26Z","timestamp":1080685046000},"page":"154-160","source":"Crossref","is-referenced-by-count":0,"title":["An automatic circuit extractor for RTL verification"],"prefix":"10.1109","author":[{"family":"Tun Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Yang Guo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Sikun Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"2585","article-title":"Program Slicing on VHDL Descriptions and Its Evaluation","volume":"e81 a","author":"ichinose","year":"1998","journal-title":"IEICE Trans Fund"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"298","DOI":"10.1007\/3-540-48153-2_22","article-title":"Program Slicing of Hardware Description Languages","author":"clarke","year":"1999","journal-title":"Proc Conf on Correct Hardware Design and Verif Methods"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2002.1011144"},{"journal-title":"Sun Microsystems PicoJava technology","year":"0","key":"ref13"},{"year":"0","key":"ref14"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.656068"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1023\/A:1008388623771","article-title":"An RTL Abstraction Technique for Processor Microarchitecture Validation and Test Generation","volume":"16","author":"shen","year":"1999","journal-title":"J Electronic Testing Theory and Application"},{"key":"ref6","first-page":"32","article-title":"Compiling Verilog into Timed Finite State Machines","author":"cheng","year":"0"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IVC.1998.660680"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/54.867897","article-title":"An Automatic Controller Extractor for HDL Descriptions at the RTL","volume":"17","author":"liu","year":"2000","journal-title":"IEEE Design & Test of Computers"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/43.594828"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1145\/223982.224450","article-title":"Architecture validation for processors","author":"ho","year":"1995","journal-title":"Proceedings 22nd Annual International Symposium on Computer Architecture ISCA"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1145\/277044.277210","article-title":"Functional verification of large ASICs","author":"evans","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"}],"event":{"name":"Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03","start":{"date-parts":[[2003,11,19]]},"location":"Xi'an, China","end":{"date-parts":[[2003,11,19]]}},"container-title":["Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat No 03CH37417) ATS-03"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8853\/27997\/01250801.pdf?arnumber=1250801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,15]],"date-time":"2024-12-15T18:27:41Z","timestamp":1734287261000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1250801\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/ats.2003.1250801","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}