{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T05:33:37Z","timestamp":1734672817494,"version":"3.32.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1991,11,1]],"date-time":"1991-11-01T00:00:00Z","timestamp":688953600000},"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":[[1991,11]]},"DOI":"10.1007\/bf00135232","type":"journal-article","created":{"date-parts":[[2004,11,6]],"date-time":"2004-11-06T09:34:52Z","timestamp":1099733692000},"page":"385-394","source":"Crossref","is-referenced-by-count":2,"title":["Model-based reasoning for electron-beam debugging of VLSI circuits"],"prefix":"10.1007","volume":"2","author":[{"given":"Meryem","family":"Marzouki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"H.P. Feuerbaum, ?E-beam testing: methods and applications,? Microcircuit Engineering, Microlithography, Grenoble, pp. 171?178, October 1982.[\/or]"},{"key":"CR2","unstructured":"E. Wolfgang, ?Electron beam testing,? Automation '86?High Technology Computer Conference, Houston, TX, March 1986."},{"key":"CR3","unstructured":"K. Menzel and E. Kubalek, ?Electron-beam techniques for integrated circuits,? Scanning Electron Microscopy Conference, Chicago, IL, pp. 305?322, 1981."},{"key":"CR4","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/S0065-2539(08)60570-3","volume":"vol. 73","author":"K. Ura","year":"1989","unstructured":"K. Ura and H. Fujioka, ?Electron beam testing,? Advances in Electronics and Electron Physics, vol. 73, pp. 233?317, 1989.","journal-title":"Advances in Electronics and Electron Physics"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1109\/54.32411","volume":"vol. 3","author":"W.T. Lee","year":"1989","unstructured":"W.T. Lee, ?Engineering a device for electron-beam probing,? IEEE Design and Test of Computers 6, vol. 3, pp. 36?49, June 1989.","journal-title":"IEEE Design and Test of Computers 6"},{"key":"CR6","unstructured":"M. Melgara, B. Courtois, M. Marzouki and D. Micollet, ?Design for electron-beam debugging,? CAVE Workshop, Sintra, May 1988."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/S0167-9317(87)80027-8","volume":"vol. 7","author":"G. Bourgeon","year":"1987","unstructured":"G. Bourgeon, ?Electron-beam tester: a tool for VLSI components analysis,? The Microelectronic Engineering Journal (Special Issue on Electron and Optical Beam Testing of Integrated Circuits) vol. 7, pp. 327?332, 1987.","journal-title":"The Microelectronic Engineering Journal"},{"key":"CR8","series-title":"Tech. Rep. 84","volume-title":"Testeur logique de circuits int\u00e9gr\u00e9s","author":"G. Baille","year":"1984","unstructured":"G. Baille, Testeur logique de circuits int\u00e9gr\u00e9s, Tech. Rep. 84, TIM3-IMAG, Grenoble, 1984."},{"key":"CR9","unstructured":"J.P. Collin, D. Conard, B. Courtois, P. Denis and D. Savart, ?Failure analysis using e-beam,? 2nd European Conference on Electron and Optical Beam Testing of Integrated Circuits, Duisburg, October 1989."},{"key":"CR10","unstructured":"D. Conard and B. Courtois, ?Failure analysis using e-beam: a fully automatic process,? Colloque ADESO: Qualit\u00e9 des composants electroniques, Bordeaux, April 1989."},{"key":"CR11","unstructured":"M. Marzouki, J. Laurent and B. Courtois, ?A unified use of deep and shallow knowledge in an expert system for prototype validation of integrated circuits,? Journe\u00e9s Internationales d'Avignon sur les S.E. et leurs Applications, Avignon, pp. 55?69, May 1989.[\/or]"},{"key":"CR12","series-title":"Tech. Rep. 85","volume-title":"Hilo-3 User Manual","author":"Gen Rad","year":"1985","unstructured":"Gen Rad, Hilo-3 User Manual, Tech. Rep. 85, GenRad Inc., Milpitas, 1985."},{"key":"CR13","unstructured":"N. Kuji and T. Tamama, ?An automated e-beam tester with CAD interface: FINDER,? 17th IEEE International Test Conference, Washington, pp. 857?863, September 1986."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"M. Melgara, M. Battu, P. Garino, F. Boland, J. Dowe, M. Marzouki and Y.J. Vernay, ?Automatic location of IC design errors using an electron beam system,? 19th IEEE International Test Conference, Washington, pp. 898-907, September 1988.","DOI":"10.1109\/TEST.1988.207878"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/S0167-9317(87)80022-9","volume":"vol. 7","author":"I. Guiguet","year":"1987","unstructured":"I. Guiguet, M. Marzouki and B. Courtois, ?An integrated debugging system based on e-beam test,? The Microelectronic Engineering Journal (Special Issue on Electron and Optical beam Testing of Integrated Circuits) vol. 7, pp. 275?282, 1987.","journal-title":"The Microelectronic Engineering Journal"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"M. Marzouki and B. Courtois, ?Debugging integrated circuits: A.I. can help,? Proc. European Test Conference, Paris, pp. 184?191, April 1989.","DOI":"10.1109\/ETC.1989.36242"},{"key":"CR17","first-page":"75","volume":"vol. 15","author":"R. Davis","year":"1982","unstructured":"R. Davis and H. Shrobe, ?Representing structure and behavior of digital hardware,? Computer J., vol. 15, pp. 75?82, October 1982.","journal-title":"Computer J."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"vol. 1","author":"R. Davis","year":"1984","unstructured":"R. Davis, ?Diagnostic based on structure and behavior,? Artificial Intelligence, vol. 1, pp. 347?410, 1984.","journal-title":"Artificial Intelligence"},{"key":"CR19","volume-title":"The handbook of artificial intelligence","author":"A. Barr","year":"1982","unstructured":"A. Barr and E. Feigenbaum, The handbook of artificial intelligence, Pitman, London, 1982."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/TC.1984.1676477","volume":"vol. c-33","author":"E.J. MacCluskey","year":"1984","unstructured":"E.J. MacCluskey, ?Verification testing?a pseudo-exhaustive test technique,? IEEE Transactions on Computers, vol. c-33, pp. 541?546, June 1984.","journal-title":"IEEE Transactions on Computers"},{"key":"CR21","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/S0167-9317(87)80029-1","volume":"vol. 7","author":"S. Concina","year":"1987","unstructured":"S. Concina and N. Richardson, ?IDS 5000: an integrated diagnostic system for VLSI,? The Microelectronic Engineering Journal (Special Issue on Electron and Optical Beam Testing of Integrated Circuits) vol. 7, pp. 339?342, 1987.","journal-title":"The Microelectronic Engineering Journal"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"S. Concina and G. Liu, ?Integrating design information for IC diagnosis,? Proc. 24th ACM\/IEEE Design Automation Conference, Florida, pp. 251?257, June 1987.","DOI":"10.1145\/37888.37925"},{"key":"CR23","unstructured":"S. Gorlich, H. Harbeck, P. Kebler, E. Wolfgang and K. Zibert, ?Integration of CAD, CAT and electron-beam testing for IC-internal logic verification,? Proc. 18th IEEE International Test Conference, Washington, pp. 566?574, September 1987."},{"key":"CR24","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/S0167-9317(87)80021-7","volume":"vol. 7","author":"F. Komatsu","year":"1987","unstructured":"F. Komatsu, M. Miyoshi, T. Sano and K. Okumura, ?An electron beam test system linked with a CAD database.? Microelectronic Engineering Journal (Special Issue on Electron and Optical Beam Testing of Integrated Circuits) vol. 7, pp. 267?274, 1987.","journal-title":"Microelectronic Engineering Journal"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/S0167-9317(87)80026-6","volume":"vol. 7","author":"S.S. Henning","year":"1987","unstructured":"S.S. Henning, W.R. Knowles and G.S. Plows, ?CAD system interface for a standalone e-beam tester,? Microelectronic Engineering Journal (Special Issue on Electron and Optical Beam Testing of Integrated Circuits) vol. 7, pp. 317?325, 1987.","journal-title":"Microelectronic Engineering Journal"},{"key":"CR26","unstructured":"M. Marzouki and F. Vargas, ?Using a knowledge-based system for automatic debugging: case study and performance analysis,? 3rd European Conference on Electron and Optical Beam Testing of Integrated Circuits, Como, September 1991."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00135232.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00135232\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00135232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T18:57:57Z","timestamp":1734634677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00135232"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,11]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1991,11]]}},"alternative-id":["BF00135232"],"URL":"https:\/\/doi.org\/10.1007\/bf00135232","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[1991,11]]}}}