{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:25:31Z","timestamp":1749205531241},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1990,2,1]],"date-time":"1990-02-01T00:00:00Z","timestamp":633830400000},"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":[[1990,2]]},"DOI":"10.1007\/bf00134012","type":"journal-article","created":{"date-parts":[[2004,11,6]],"date-time":"2004-11-06T13:01:24Z","timestamp":1099746084000},"page":"15-30","source":"Crossref","is-referenced-by-count":27,"title":["Redundancies and don't cares in sequential logic synthesis"],"prefix":"10.1007","volume":"1","author":[{"given":"Srinivas","family":"Devadas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hi-Keung Tony","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. Richard","family":"Newton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/43.3211","volume":"7","author":"K. Bartlett","year":"June 1988","unstructured":"K. Bartlett, R.K. Brayton, G.D. Hachtel, R.M. Jacoby, C.R. Morrison, R.L. Rudell, A. Sangiovanni-Vincentelli, and A.R. Wang, ?Multilevel logic minimization using implicit don't cares,? IEEE Trans. on CAD, 7: 723?740, June 1988.","journal-title":"IEEE Trans. on CAD"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1109\/TC.1983.1676139","volume":"C-32","author":"D. Brand","year":"October 1983","unstructured":"D. Brand, ?Redundancy and don't cares in logic synthesis,? IEEE Trans. on Computers, C-32: 947?952, October 1983.","journal-title":"IEEE Trans. on Computers"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"1062","DOI":"10.1109\/TCAD.1987.1270347","volume":"6","author":"R. Brayton","year":"November 1987","unstructured":"R. Brayton, R. Rudell, A. Sangiovanni-Vincentelli, and A. Wang, ?MIS: A multiple-level logic optimization system,? IEEE Trans. on CAD, 6: 1062?1081, November 1987.","journal-title":"IEEE Trans. on CAD"},{"key":"CR4","unstructured":"R.K. Brayton and F. Somenzi, ?Boolean relations and the incomplete specification of logic networks,? Proc. VLSI 89, August 1989."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"S. Devadas, H-K.T. Ma, and A.R. Newton, ?Easily testable PLA-based finite state machines,? Proc. 19th Fault Tolerant Comput. Symp., pp. 102?109, June 1989.","DOI":"10.1109\/FTCS.1989.105551"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"S. Devadas, H-K.T. Ma, and A.R. Newton, and A. Sangiovanni-Vincentelli, ?Irredundant sequential machines via optimal logic synthesis,? IEEE Trans. on CAD 9, January 1990.","DOI":"10.1109\/43.45852"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1290","DOI":"10.1109\/43.16807","volume":"7","author":"S. Devadas","year":"December 1988","unstructured":"S. Devadas, H-K.T. Ma, A.R. Newton, and A. Sangiovanni-Vincentelli, ?Mustang: state assignment of finite state machines targeting multilevel logic implementations,? IEEE Trans. on CAD, 7: 1290?1300, December 1988.","journal-title":"IEEE Trans. on CAD"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"1100","DOI":"10.1109\/43.39071","volume":"8","author":"S. Devadas","year":"October 1989","unstructured":"S. Devadas, H-K.T. Ma, A.R. Newton, and A. Sangiovanni-Vincentelli, ?A synthesis and optimization procedure for fully and easily testable sequential machines,? IEEE Trans. on CAD, 8:1100?1107, October 1989.","journal-title":"IEEE Trans. on CAD"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TC.1981.1675757","volume":"0?30","author":"P. Goel","year":"March 1981","unstructured":"P. Goel, ?An implicit enumeration algorithm to generate tests for combinational logic circuits,? IEEE Trans. on Computers, 0?30:215?222, March 1981.","journal-title":"IEEE Trans. on Computers"},{"key":"CR10","first-page":"1081","volume":"7","author":"H-K.T. Ma","year":"October 1988","unstructured":"H-K.T. Ma, S. Devadas, A.R. Newton, and A. Sangiovanni-Vincentelli, ?Test generation for sequential circuits,? IEEE Trans. on CAD, 7: 1081?1093, October 1988.","journal-title":"IEEE Trans. on CAD"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/TEC.1959.5222697","volume":"EC-8","author":"M.C. Paull","year":"September 1959","unstructured":"M.C. Paull and S.H. Unger, ?Minimizing the number of states in incompletely specified sequential circuits,? IRE Trans. on Electron. Comput., EC-8: 356?357, September 1959.","journal-title":"IRE Trans. on Electron. Comput."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"J.P. Roth, ?Diagnosis of automata failures: a calculus and a method,? IBM jour. Res. Develop., pp. 278?291, July 1966.","DOI":"10.1147\/rd.104.0278"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134012.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00134012\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00134012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T21:02:07Z","timestamp":1585947727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00134012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["BF00134012"],"URL":"https:\/\/doi.org\/10.1007\/bf00134012","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}