{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:24:22Z","timestamp":1770431062300,"version":"3.49.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1995,4,1]],"date-time":"1995-04-01T00:00:00Z","timestamp":796694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Electron Test"],"published-print":{"date-parts":[[1995,4]]},"DOI":"10.1007\/bf00993088","type":"journal-article","created":{"date-parts":[[2005,1,9]],"date-time":"2005-01-09T16:51:24Z","timestamp":1105289484000},"page":"219-228","source":"Crossref","is-referenced-by-count":34,"title":["Self-timed is self-checking"],"prefix":"10.1007","volume":"6","author":[{"given":"Ilana","family":"David","sequence":"first","affiliation":[]},{"given":"Ran","family":"Ginosar","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Yoeli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","unstructured":"A.J. Martin, ?Programming in VLSI: From communicating processes to delay-insensitive circuits,? in ?UT Year of Programming Inst. on Concurrent Programming,? C.A.R. Hoare (ed.), Addison-Wesley, 1989."},{"key":"CR2","first-page":"226","volume":"1","author":"C.E. Molnar","year":"1985","unstructured":"C.E. Molnar, T.P. Fan, and F.U. Rosenberger, ?Synthesis of Delay-Insensitive Modules,?Journal of Distributed Computing, Vol. 1, pp. 226?234, 1985.","journal-title":"Journal of Distributed Computing"},{"key":"CR3","unstructured":"C.L. Seitz, ?System Timing,? in C. Mead and L. Conway,Introduction to VLSI Systems, Addison-Wesley, pp. 218?262, 1980."},{"key":"CR4","unstructured":"J.C. Ebergen, ?Translating Programs into Delay-Insensitive Circuits,? Ph.D. Thesis, Eindhoven University of Technology, 1987."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"I. David, R. Ginosar, and M. Yoeli, ?An Efficient Implementation of Boolean Functions as Self-Timed Circuits,?IEEE Trans. on Computers, pp. 2?11, January 1992.","DOI":"10.1109\/12.123377"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"I. David, R. Ginosar, and M. Yoeli, ?Implementing Sequential Machines as Self-Timed Circuits,?IEEE Trans. on Computers, pp. 12?17, January 1992.","DOI":"10.1109\/12.123378"},{"key":"CR7","unstructured":"D.S. Ha and S.M. Reddy, ?On Testable Self-timed Logic Circuits,?Proceedings of the IEEE International Conference on Computer Design: VLSI in Computers ICCD'84, pp. 296?301, 1984."},{"key":"CR8","series-title":"Technical Report","volume-title":"A testable CMOS asynchronous counter","author":"G. Carson","year":"1990","unstructured":"G. Carson and G. Borriello, ?A testable CMOS asynchronous counter,?Technical Report, Computer Science Dept., University of Washington, Seattle, March 1990."},{"issue":"No. 6","key":"CR9","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1109\/TC.1978.1675138","volume":"27","author":"M. Marouf","year":"1978","unstructured":"M. Marouf and A.D. Friedman, ?Efficient Design of Self Checking Checkers for Any m-out-of-n Code,?IEEE Trans. Computers, Vol. C-27, No. 6, pp. 482?490, June 1978.","journal-title":"IEEE Trans. Computers"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0165-6074(87)90214-6","volume":"20","author":"M. Nicolaidis","year":"1987","unstructured":"M. Nicolaidis, ?Evaluation of a Self-Checking Version of the MC68000 Microprocessor,?Microprocessing and Microprogramming, Vol. 20, pp. 235?247, 1987.","journal-title":"Microprocessing and Microprogramming"},{"key":"CR11","unstructured":"I. David, R. Ginosar, and M. Yoeli, ?Self-Timed Architecture of a Reduced Instruction Set Computer,?Asynchronous Design Methodologies, IFIP Transactions A-28, pp. 29?43, March 1993."},{"key":"CR12","unstructured":"I. David, R. Ginosar, and M. Yoeli, ?Self-Timed is Self-Checking,?Technical Report No 758, Dept. Elect. Eng., Technion, Nov. 1990."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993088.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00993088\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993088","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:58:40Z","timestamp":1556578720000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00993088"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,4]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1995,4]]}},"alternative-id":["BF00993088"],"URL":"https:\/\/doi.org\/10.1007\/bf00993088","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,4]]}}}