{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:31Z","timestamp":1725663751957},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551607"},{"type":"electronic","value":"9783540467625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55160-3_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T04:49:56Z","timestamp":1330231796000},"page":"326-337","source":"Crossref","is-referenced-by-count":0,"title":["Synthesizing delay insensitive circuits from verified programs"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Hulgaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Per H.","family":"Christensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00f8rgen","family":"Staunstrup","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Richard P. Brent and H. T. Kung. A regular layout for parallel adders. IEEE Transactions on Computers, 31(3), 1982.","key":"25_CR1","DOI":"10.1109\/TC.1982.1675982"},{"unstructured":"European Silicon Structures Limited. Solo 1400 Reference Manuals, January 1990.","key":"25_CR2"},{"doi-asserted-by":"crossref","unstructured":"Stephen J. Garland, John V. Guttag, and J\u00f8rgen Staunstrup. Verification of VLSI circuits using LP. In The Fusion of Hardware Design and Verification. IFIP WG. 10.2, North Holland, 1988.","key":"25_CR3","DOI":"10.7146\/dpb.v17i258.7842"},{"unstructured":"Henrik Hulgaard and Per H. Christensen. Automated synthesis of delay insensitive circuits. Master's thesis, Department of Computer Science, Technical University of Denmark, August 1990.","key":"25_CR4"},{"unstructured":"Kai Hwang. Computer Arithmetic: Principle, Architecture, and Design. John Wiley & Sons, 1979.","key":"25_CR5"},{"doi-asserted-by":"crossref","unstructured":"Alain J. Martin. The limitations to delay-insensitivity in asynchronous circuits. Technical report, Department of Computer Science, California Institute of Technology, 1990. Caltech-CS-TR-90-02.","key":"25_CR6","DOI":"10.21236\/ADA447737"},{"unstructured":"Charles E. Molnar, T.P. Fang, and F.U. Rosenberg. Synthesis of delay-insensitive modules. In Henry Fuchs, editor, 1985 Chapel Hill Conference on Very Large Scale Integration, pages 67\u201386. Computer Science Press, 1985.","key":"25_CR7"},{"unstructured":"David E. Muller and W.S. Bartky. A theory of asynchronous circuits. In Annals of the Computation Laboratory of Harvard University, volume 29. Harvard University Press, 1959.","key":"25_CR8"},{"unstructured":"Narinder P. Singh. A design methodology for self-timed systems. Master's thesis, Laboratory for Computer Science, MIT, 1981. Technical Report TR-258.","key":"25_CR9"},{"unstructured":"J\u00f8rgen Staunstrup and Mark R. Greenstreet. Synchronized Transitions. In J\u00f8rgen Staunstrup, editor, Formal Methods for VLSI Design. North-Holland\/Elsevier, 1990.","key":"25_CR10"},{"unstructured":"J.T. Udding. Classification and Composition of Delay-Insensitive Circuits. PhD thesis, Eindhoven University of Technology, 1984.","key":"25_CR11"}],"container-title":["Lecture Notes in Computer Science","Reasearch Directions in High-Level Parallel Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55160-3_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:57:51Z","timestamp":1605628671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}