{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T11:59:02Z","timestamp":1754481542167},"publisher-location":"New York, NY","reference-count":10,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9780387972268"},{"type":"electronic","value":"9780387348018"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/0-387-97226-9_22","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:11:36Z","timestamp":1330182696000},"page":"25-39","source":"Crossref","is-referenced-by-count":4,"title":["Constraints, abstraction, and verification"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Weise","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","unstructured":"H. Barrow, \u201cProving the correctness of hardware designs,\u201d VLSI Design, pp. 64\u201377, July 1984."},{"key":"3_CR2","unstructured":"R. Bryant, \u201cSymbolic Verification of MOS Circuits\u201d Proceedings from the 1985 Chapel Hill Conference on VLSI, Edited by Henry Fuchs, Computer Science Press, pp. 419\u2013438, 1985"},{"key":"3_CR3","unstructured":"Randal Bryant, \u201cCan a Simulator Verify a Circuit?\u201d In Formal Aspects of VLSI Design, G.J. Milne, Editor, North-Holland, 1986"},{"key":"3_CR4","unstructured":"Hans Eveking, \u201cThe verification of multilevel hardware descriptions,\u201d Unpublished proceedings of the Darmstadt Workshop on the Verification of Hardware Designs."},{"key":"3_CR5","unstructured":"Michael Gordon, \u201cHardware verification using higher-order logic\u201d Computer Laboratory Technical Report 91, University of Cambridge, 1986."},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Thomas F. Melham, \u201cAbstraction mechanisms for hardware verification,\u201d in VLSI Specification, Verification, and Synthesis, Birtwistle and Subrahmanyam, Eds, pp. 267\u2013291, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-1-4613-2007-4_9"},{"issue":"2","key":"3_CR7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MC.1985.1662795","volume":"18","author":"B. Moszkowski","year":"1985","unstructured":"Ben Moszkowski, \u201cA temporal logic for multilevelreasoning about hardware,\u201d IEEE Computer 18(2) pp. 10\u201319 (February 1985)","journal-title":"IEEE Computer"},{"key":"3_CR8","unstructured":"C. J. Terman, Simulation Tools for Digital Design, MIT Laboratory for Computer Science Report TR-304 (PhD Thesis) 1983"},{"key":"3_CR9","unstructured":"Daniel Weise, Formal Multilevel Hierarchical Verification of Synchronous MOS VLSI Circuits, PhD Thesis, MIT Artificial Intelligence Laboratory Technical Report 978, 1987."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Glynn Winskel, \u201cA compositional model of MOS Circuits,\u201d in VLSI Specification, Verification, and Synthesis, Birtwistle and Subrahmanyam, Eds, pp. 323\u2013347, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-1-4613-2007-4_11"}],"container-title":["Lecture Notes in Computer Science","Hardware Specification, Verification and Synthesis: Mathematical Aspects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/0-387-97226-9_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:21:30Z","timestamp":1605644490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/0-387-97226-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780387972268","9780387348018"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/0-387-97226-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}