{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:03:03Z","timestamp":1759147383510},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,3,1]],"date-time":"2006-03-01T00:00:00Z","timestamp":1141171200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Method Syst Des"],"published-print":{"date-parts":[[2006,3]]},"DOI":"10.1007\/s10703-006-7843-9","type":"journal-article","created":{"date-parts":[[2006,5,4]],"date-time":"2006-05-04T11:50:23Z","timestamp":1146743423000},"page":"171-186","source":"Crossref","is-referenced-by-count":13,"title":["A predictive synchronizer for periodic clock domains"],"prefix":"10.1007","volume":"28","author":[{"given":"Uri","family":"Frank","sequence":"first","affiliation":[]},{"given":"Tsachy","family":"Kapshitz","sequence":"additional","affiliation":[]},{"given":"Ran","family":"Ginosar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,3]]},"reference":[{"key":"7843_CR1","doi-asserted-by":"crossref","unstructured":"Dally WJ, Poulton JW (1998) Digital systems engineering. Cambridge University Press","DOI":"10.1017\/CBO9781139166980"},{"key":"7843_CR2","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/49.62819","volume":"8","author":"DG Messerschmitt","year":"1990","unstructured":"Messerschmitt DG (1990) Synchronization in digital system design. IEEE J. Selected Areas in Communication 8(8)","journal-title":"IEEE J.Selected Areas in Communication"},{"key":"7843_CR3","doi-asserted-by":"crossref","unstructured":"Ginosar R, Kol R (1998) Adaptive synchronization. Proc. ICCD","DOI":"10.1109\/ICCD.1998.727042"},{"issue":"6","key":"7843_CR4","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1109\/4.766819","volume":"34","author":"C Dike","year":"1999","unstructured":"Dike C, Burton E (1999) Miller and noise effects in a synchronizing Flip-flop. IEEE J. Solid-State Circuits 34(6):849\u2013855","journal-title":"IEEE J. Solid-State Circuits"},{"key":"7843_CR5","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1109\/4.982426","volume":"37","author":"DJ Kinniment","year":"2002","unstructured":"Kinniment DJ, Bystrov A, Yakovlev A (2002) Synchronization circuit performance. IEEE J. Solid-State Circuits 37:202\u2013209","journal-title":"IEEE J. Solid-State Circuits"},{"key":"7843_CR6","doi-asserted-by":"crossref","unstructured":"Ginosar R (2003) Fourteen ways to fool your synchronizer. Proc. 9th IEEE Int. Symp. on Asynchronous Circuits and Systems (ASYNC03)","DOI":"10.1109\/ASYNC.2003.1199169"},{"key":"7843_CR7","doi-asserted-by":"crossref","unstructured":"Chelcea T, Nowick SM (2001) Robust Interfaces for Mixed-Timing Systems with Application to Latency-Insensitive Protocols. Proc. ACM\/IEEE Design Automation Conference","DOI":"10.1145\/378239.378256"},{"key":"7843_CR8","doi-asserted-by":"crossref","unstructured":"Chakraborty A, Greenstreet MR (2003) Efficient self-timed interfaces for crossing clock domains. Proc.9th IEEE Int. Symp. Asynchronous Circuits and Systems (ASYNC\u201903), pp 78\u201388","DOI":"10.1109\/ASYNC.2003.1199168"},{"key":"7843_CR9","doi-asserted-by":"crossref","unstructured":"Semiat Y, Ginosar R (2003) Timing Measurements of Synchronization Circuits. Proc. 9th IEEE Int. Symp. on Asynchronous Circuits and Systems (ASYNC\u201903)","DOI":"10.1109\/ASYNC.2003.1199167"},{"key":"7843_CR10","unstructured":"Sarmenta LFG, Pratt GA, Ward SA (1995) Rational clocking. Proc. ICCD, pp 217\u2013228"},{"key":"7843_CR11","unstructured":"Gandhi J (2001) Apparatus for fast logic transfer of data across asynchronous clock domains. USA Patent 6,172,540"},{"key":"7843_CR12","doi-asserted-by":"crossref","unstructured":"Dennison LR, Dennison WJ, Xanthopolous D (1995) Low-latency plesiochronous data retiming, Proc.16th Conf. Adv. Res. in VLSI, pp 304\u2013315","DOI":"10.1109\/ARVLSI.1995.515628"},{"key":"7843_CR13","doi-asserted-by":"crossref","unstructured":"Stewart WK, Ward S (1988) A solution to a special case of synchronization problem. IEEE Trans. Comp 37(1)","DOI":"10.1109\/12.75145"},{"key":"7843_CR14","unstructured":"Moore SW, Taylor GS, Cunningham PA, Mullins RD, Robinson P (2000) Self-Ccalibrating Clocks for Globally Asynchronous Locally Synchronous Systems. Proc. ICCD"},{"key":"7843_CR15","unstructured":"International Technology Roadmap for Semiconductors (ITRS)(2001)"},{"key":"7843_CR16","first-page":"315","volume":"3","author":"J Cortadella","year":"1997","unstructured":"Cortadella J, Kishinevsky M, Kondratyev A, Lavagno L, Yakovlev A (1997) Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans Inform Syst E80-D(3):315\u2013325","journal-title":"IEICE Trans Inform Syst E80-D"},{"key":"7843_CR17","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. The MIT Press"},{"key":"7843_CR18","doi-asserted-by":"crossref","unstructured":"Beer I, Ben-David S, Eisner C, Landver A (1996) RuleBase: An industry-oriented formal verification tool. Design Automation Conference pp 665\u2013660","DOI":"10.1145\/240518.240642"},{"key":"7843_CR19","doi-asserted-by":"crossref","unstructured":"Kapschitz T, Ginosar R (2005) Formal Verification of Synchronizers. CCIT Tech. Rep. 536, EE Dept., Technion","DOI":"10.1007\/11560548_31"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-7843-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-006-7843-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-006-7843-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:01:02Z","timestamp":1559253662000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-006-7843-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,3]]}},"alternative-id":["7843"],"URL":"https:\/\/doi.org\/10.1007\/s10703-006-7843-9","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3]]}}}