{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:48Z","timestamp":1761611088412},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1109\/43.273743","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T18:32:16Z","timestamp":1030213936000},"page":"122-134","source":"Crossref","is-referenced-by-count":5,"title":["Event-based verification of synchronous, globally controlled, logic designs against signal flow graphs"],"prefix":"10.1109","volume":"13","author":[{"given":"F.","family":"Van Aelten","sequence":"first","affiliation":[]},{"given":"J.","family":"Allen","sequence":"additional","affiliation":[]},{"given":"S.","family":"Devadas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.59069"},{"key":"ref11","first-page":"213","article-title":"A high-level language and silicon compiler for digital signal processing","author":"hillfinger","year":"1985","journal-title":"Proc Custom Integrated Circuits Conf"},{"key":"ref12","author":"hunt","year":"1985","journal-title":"FM8501 A Verified Microprocessor"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-1-4613-2007-4_4","author":"joyce","year":"1988","journal-title":"VLSI Specification Verification and Synthesis"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1990.129860"},{"key":"ref15","author":"ward","year":"1990","journal-title":"Computation Structures"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/ICCAD.1992.279377","article-title":"Automatic generation and verification of sufficient correctness properties for synchronous processors","author":"van aelten","year":"1992","journal-title":"Proc Int Conf Computer-Aided Design"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.cs.02.060187.001413"},{"key":"ref5","article-title":"SFG-tracing: A methodology for the automatic verification of MOS transistor level implementations from high-level behavioural specifications","author":"claesen","year":"1991","journal-title":"Proc 1991 Int Workshop Formal Methods in VLSI Design"},{"key":"ref8","first-page":"111","article-title":"Verification of sequential machines using Boolean functional vectors","author":"coudert","year":"1989","journal-title":"IMEC-IFIP Int Workshop on Appl Formal Methods for Correct VLSI Design"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-1-4613-2007-4_2","author":"cohn","year":"1988","journal-title":"VLSI Specification Verification and Synthesis"},{"key":"ref2","first-page":"380","article-title":"Verification of relations between synchronous machines","author":"van aelten","year":"1991","journal-title":"Proc Int Conf Computer Aided Design"},{"key":"ref1","author":"van aelten","year":"1992","journal-title":"Automatic Procedures for the Behavioral Verification of Digital Designs"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276219"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/43\/6776\/00273743.pdf?arnumber=273743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:11:23Z","timestamp":1638216683000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/273743\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":15,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/43.273743","relation":{},"ISSN":["0278-0070"],"issn-type":[{"value":"0278-0070","type":"print"}],"subject":[],"published":{"date-parts":[[1994]]}}}