{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:01:19Z","timestamp":1725559279418},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540257233"},{"type":"electronic","value":"9783540320197"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11408901_25","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T09:04:14Z","timestamp":1279011854000},"page":"332-344","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs"],"prefix":"10.1007","author":[{"given":"Jaan","family":"Raik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raimund","family":"Ubar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergei","family":"Devadze","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Artur","family":"Jutman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1974.6323496","volume":"7","author":"E.G. Ulrich","year":"1974","unstructured":"Ulrich, E.G., Baker, T.: Concurrent Simulation of Nearly Identical Digital Networks. Computer\u00a07, 39\u201344 (1974)","journal-title":"Computer"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1109\/T-C.1972.223542","volume":"C-21","author":"D.B. Armstrong","year":"1972","unstructured":"Armstrong, D.B.: A Deductive Method for Simulating Faults in Logic Circuits. IEEE Trans. Comput.\u00a0C-21, 464\u2013471 (1972)","journal-title":"IEEE Trans. Comput."},{"key":"25_CR3","unstructured":"Seth, S.C., Pan, L., Agrawal, V.D.: Predict-Probabilistic Estimation of Digital Circuit Testability, Dig. Papers FTCS-15, pp. 220-225 (June 1985)"},{"issue":"5","key":"25_CR4","doi-asserted-by":"crossref","first-page":"704","DOI":"10.1109\/TCAD.1987.1270316","volume":"CAD-6","author":"K.J. Antreich","year":"1987","unstructured":"Antreich, K.J., Schulz, M.H.: Accelerated Fault Simulation and Fault Grading in Combinational Circuits. IEEE Trans. on CAD\u00a0CAD-6(5), 704\u2013712 (1987)","journal-title":"IEEE Trans. on CAD"},{"key":"25_CR5","unstructured":"Ubar, R.: Test Generation for Digital Circuits Using Alternative Graphs. In: Proc. Tallinn Technical University, Tallinn TU, Tallinn, Estonia, vol.\u00a0(409), pp. 75\u201381 (1976)"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Ubar, R.: Test Synthesis with Alternative Graphs. IEEE Design & Test of Comp. Spring, 48\u201359 (1996)","DOI":"10.1109\/54.485782"},{"key":"25_CR7","unstructured":"Jutman, A., Peder, A., Raik, J., Tombak, M., Ubar, R.: Structurally synthesized binary decision diagrams. In: 6th International Workshop on Boolean Problems, Freiberg, Germany, September 23-24, pp. 271\u2013278 (2004)"},{"issue":"6","key":"25_CR8","first-page":"61","volume":"C-41","author":"H.-T. Liaw","year":"1992","unstructured":"Liaw, H.-T., Lin, C.-S.: On the OBDD-representation of general Boolean functions. IEEE Trans. on Computers\u00a0C-41(6), 61\u2013664 (1992)","journal-title":"IEEE Trans. on Computers"},{"key":"25_CR9","unstructured":"Ubar, R., Vassiljeva, T., Raik, J., Jutman, A., Tombak, M., Peder, A.: Optimization of Structurally Synthesized BDDs. In: Proc of the 4th IASTED International Conference on Modelling, Simuation, and Optimization MSO 2004, Kauai, Hawaii, USA, August 17-19, pp. 234\u2013240 (2004)"}],"container-title":["Lecture Notes in Computer Science","Dependable Computing - EDCC 5"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11408901_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:05:38Z","timestamp":1559250338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11408901_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540257233","9783540320197"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/11408901_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}