{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:17:23Z","timestamp":1725459443325},"publisher-location":"Berlin\/Heidelberg","reference-count":4,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"4431700021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0043453","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T09:51:43Z","timestamp":1138182703000},"page":"174-176","source":"Crossref","is-referenced-by-count":0,"title":["VLSI verification and correction"],"prefix":"10.1007","author":[{"given":"J. Paul","family":"Roth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"1980. Roth, J. Paul, \u201cComputer Logic, Testing, and Verification\u201c, COMPUTER SCIENCE PRESS, Rockville, Maryland."},{"key":"9_CR2","unstructured":"1982. Roth, J. Paul and Leon S. Levy, \u201cEquivalence of Hardware and Software\u201c, submitted for publication. Cf. IBM Research RC 9716."},{"key":"9_CR3","unstructured":"1982. Roth, J. Paul, \u201cDynamic Partitioning\u201c, IBM Technical Disclosure Bulletin, to appear. Cf. also IBM Research RC 9515."},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1147\/rd.261.0089","volume":"26","author":"M. Monachino","year":"1982","unstructured":"1982. Monachino, Michael, \u201cDesign Verification System for Large-Scale LSI Designs\u201c, IBM Journal of Research and Development, vol. 26, pp. 100\u2013105.","journal-title":"IBM Journal of Research and Development"}],"container-title":["Lecture Notes in Computer Science","VLSI Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0043453.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:47:58Z","timestamp":1607532478000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0043453"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["4431700021"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/bfb0043453","relation":{},"subject":[]}}