{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:17:14Z","timestamp":1755217034173,"version":"3.43.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,4,1]],"date-time":"1998-04-01T00:00:00Z","timestamp":891388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[1998,4]]},"DOI":"10.1023\/a:1008680300467","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T10:12:40Z","timestamp":1040551960000},"page":"241-265","source":"Crossref","is-referenced-by-count":11,"title":["Efficient Algorithms for Interface Timing Verification"],"prefix":"10.1007","volume":"12","author":[{"given":"Ti-Yen","family":"Yen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alex","family":"Ishii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Al","family":"Casavant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"160593_CR1","doi-asserted-by":"crossref","unstructured":"T. Amon, H. Hulgaard, S.M. Burns, and G. Borriello, \u201cAn algorithm for exact bounds on the time separation of events in concurrent systems,\u201d in Proceedings of IEEE International Conference on Computer Design, pp. 166\u2013173, 1993.","DOI":"10.1109\/ICCD.1993.393387"},{"key":"160593_CR2","unstructured":"G. Borriello and R. Katz, \u201cSynthesis and optimization of interface transducer logic,\u201d in Proceedings of IEEE International Conference on Computer-Aided Design, 1987."},{"key":"160593_CR3","doi-asserted-by":"crossref","unstructured":"J.A. Brzozowski, T. Gahlinger, and F. Mavaddat, \u201cConsistency and satisfiability of waveform timing specification,\u201d Networks, pp. 91\u2013107, Jan. 1991.","DOI":"10.1002\/net.3230210107"},{"key":"160593_CR4","doi-asserted-by":"crossref","unstructured":"T. Burks and K. Sakallah, \u201cMin-max linear programming and the timing analysis of digital circuits,\u201d in Proceedings of IEEE International Conference on Computer-Aided Design, pp. 152\u2013155, 1993.","DOI":"10.1109\/ICCAD.1993.580047"},{"issue":"4","key":"160593_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1109\/40.296156","volume":"14","author":"P. Chou","year":"1994","unstructured":"P. Chou, E.A. Walkup, and G. Borriello, \u201cScheduling for reactive real-time systems,\u201d IEEE MICRO, Vol. 14, No. 4, pp. 37\u201347, Aug. 1994.","journal-title":"IEEE MICRO"},{"key":"160593_CR6","unstructured":"T.H. Cormen, C.E. Leiserson, and R.L. Rivest, Introduction to Algorithms. McGraw-Hill, 1990."},{"key":"160593_CR7","unstructured":"A.J. Daga and W.P. Birmingham, \u201cVITCh: A methodology for the timing verification of board-level circuits,\u201d in Proceedings of TAU Workshop, 1993."},{"key":"160593_CR8","unstructured":"T. Gahlinger, \u201cCoherence and satisfiability of waveform timing specification,\u201d Ph.D. thesis, University of Waterloo, May 1990."},{"key":"160593_CR9","unstructured":"Integrated Device Technology, Inc., Logic Data Book, 1990."},{"key":"160593_CR10","unstructured":"Intel Corporation, Microsystem Components Handbook, 1986."},{"key":"160593_CR11","unstructured":"Intel Corporation, Microprocessors, 1990."},{"key":"160593_CR12","unstructured":"Intel Corporation, Memory, 1990."},{"issue":"6","key":"160593_CR13","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1109\/43.137516","volume":"11","author":"D. Ku","year":"1992","unstructured":"D. Ku and G. de Micheli, \u201cRelative scheduling under timing constraints,\u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 11, No. 6, pp. 696\u2013717, June 1992.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"160593_CR14","unstructured":"L. Lavagno and A. Sangiovanni-Vincentelli, \u201cLinear programming for optimum hazard elimination in asynchronous circuits,\u201d in Proceedings of IEEE International Conference on Computer Design, 1992."},{"issue":"2","key":"160593_CR15","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1109\/TCAD.1983.1270022","volume":"CAD-2","author":"Y.-Z. Liao","year":"1983","unstructured":"Y.-Z. Liao and C.K. Wong, \u201cAn algorithm to compact a VLSI symbolic layout with mixed constraints,\u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. CAD-2, No. 2, pp. 62\u201369, April 1983.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"160593_CR16","doi-asserted-by":"crossref","unstructured":"K. McMillan and D. Dill, \u201cAlgorithms for interface timing verification,\u201d in Proceedings of IEEE International Conference on Computer Design, pp. 48\u201351, 1992.","DOI":"10.1109\/ICCD.1992.276208"},{"key":"160593_CR17","doi-asserted-by":"crossref","unstructured":"C. Myers and T.H.Y. Meng, \u201cSynthesis of timed asynchronous circuits,\u201d in Proceedings of IEEE International Conference on Computer Design, pp. 279\u2013284, 1992.","DOI":"10.1109\/ICCD.1992.276269"},{"key":"160593_CR18","unstructured":"K.A. Sakallah, T.N. Mudge, and O.A. Olukotun, \u201cTiming verification and optimal clocking of synchronous digital circuits,\u201d in Proceedings of IEEE International Conference on Computer-Aided Design, 1990."},{"key":"160593_CR19","doi-asserted-by":"crossref","unstructured":"P. Vanbekbergen, G. Goossens, and H. de Man, \u201cSpecification and analysis of timing constraints in signal transition graphs,\u201d in Proceedings of the European Conference on Design Automation, pp. 302\u2013306, 1992.","DOI":"10.1109\/EDAC.1992.205943"},{"key":"160593_CR20","unstructured":"E.A. Walkup, \u201cOptimization of linear max-plus systems with application to timing analysis,\u201d Ph.D. thesis, University of Washington, 1995."},{"key":"160593_CR21","doi-asserted-by":"crossref","unstructured":"E.A. Walkup and G. Borriello, \u201cInterface timing verification with application to synthesis,\u201d in Proceedings of Design Automation Conference, pp. 106\u2013112, 1994.","DOI":"10.1145\/196244.196297"},{"key":"160593_CR22","unstructured":"W.H. Wolf and A.E. Dunlop, \u201cSymbolic layout and compaction\u201d in B.T. Preas and M.J. Lorenzetti (Eds.), Physical Design Automation of VLSI Systems, Benjamin-Cummings, Chap. 6, pp. 211\u2013281, 1988."},{"key":"160593_CR23","doi-asserted-by":"crossref","unstructured":"Ti-Yen Yen and W. Wolf, \u201cPerformance estimation for real-time distributed embedded systems,\u201d in Proceedings of IEEE International Conference on Computer Design, pp. 64\u201369, 1995.","DOI":"10.1109\/ICCD.1995.528792"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008680300467.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008680300467\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008680300467.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:08:38Z","timestamp":1754366918000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008680300467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,4]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1998,4]]}},"alternative-id":["160593"],"URL":"https:\/\/doi.org\/10.1023\/a:1008680300467","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[1998,4]]}}}