{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:37:08Z","timestamp":1725550628118},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_31","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T09:38:22Z","timestamp":1128591502000},"page":"359-362","source":"Crossref","is-referenced-by-count":13,"title":["Formal Verification of Synchronizers"],"prefix":"10.1007","author":[{"given":"Tsachy","family":"Kapschitz","sequence":"first","affiliation":[]},{"given":"Ran","family":"Ginosar","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Iyer, A., Marculescu, D.: Power Efficiency of Voltage Scaling in Multiple Clock, Multiple Voltage Cores. In: IEEE\/ACM Int. Conf. on Computer Aided Design (ICCAD), November 2002, pp. 379\u2013386 (2002)","DOI":"10.1145\/774572.774629"},{"key":"31_CR2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139166980","volume-title":"Digital System Engineering","author":"W.J. Dally","year":"1998","unstructured":"Dally, W.J., Poulton, J.W.: Digital System Engineering. Cambridge University Press, Cambridge (1998)"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Kleeman, L., Cantoni, A.: Metastable behavior in digital systems. IEEE Design and Test of Computers, 4\u201319 (December 1987)","DOI":"10.1109\/MDT.1987.295189"},{"key":"31_CR4","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (2000)"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Beer, I., Ben-David, S., Eisner, C., Landver, A.: RuleBase: an industry-oriented formal verification tool. In: Design Automation Conference, June 1996, pp. 665\u2013660 (1996)","DOI":"10.1145\/240518.240642"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-39724-3_19","volume-title":"Correct Hardware Design and Verification Methods","author":"M. Gordon","year":"2003","unstructured":"Gordon, M., Hurd, J., Slind, K.: Executing the formal semantics of the Accellera Property Specification Language by mechanised theorem proving. In: Geist, D., Tronci, E. (eds.) CHARME 2003. LNCS, vol.\u00a02860, pp. 200\u2013215. Springer, Heidelberg (2003)"},{"key":"31_CR7","doi-asserted-by":"crossref","unstructured":"Kapschitz, T., Ginosar, R.: Formal Verification of Synchronizers. CCIT Tech. Rep. 536, EE Dept., Technion (2005)","DOI":"10.1007\/11560548_31"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"402","DOI":"10.1007\/978-3-540-30205-6_42","volume-title":"Integrated Circuit and System Design","author":"U. Frank","year":"2004","unstructured":"Frank, U., Ginosar, R.: A Predictive Synchronizer for Periodic Clock Domains. In: Macii, E., Paliouras, V., Koufopavlou, O. (eds.) PATMOS 2004. LNCS, vol.\u00a03254, pp. 402\u2013412. Springer, Heidelberg (2004)"},{"key":"31_CR9","unstructured":"Chu, T.A., Leung, C.K.C., Wanuga, T.S.: A Design Methodology for Concurrent VLSI Systems. In: Proc. of ICCD, pp. 407\u2013410 (1985)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Complete state encoding based on the theory of regions. In: 2nd Int. Symp. Asynchronous Circuits and Systems, March 1996, pp. 36\u201347 (1996)","DOI":"10.1109\/ASYNC.1996.494436"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:27Z","timestamp":1605642627000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11560548_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}