{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:42:22Z","timestamp":1648820542980},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"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,2]]},"DOI":"10.1007\/bf00993136","type":"journal-article","created":{"date-parts":[[2005,1,14]],"date-time":"2005-01-14T17:55:23Z","timestamp":1105725323000},"page":"133-138","source":"Crossref","is-referenced-by-count":0,"title":["Constrained state assignment of easily testable FSMs"],"prefix":"10.1007","volume":"6","author":[{"given":"Mar\ufffda J.","family":"Avedillo","sequence":"first","affiliation":[]},{"given":"Jos\ufffd M.","family":"Quintana","sequence":"additional","affiliation":[]},{"given":"Jos\ufffd L.","family":"Huertas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"S. Devadas, H-K.T. Ma, A.R. Newton, and A. Sangiovanni-Vincentelli, ?Synthesis and Optimization Procedures for Fully and Easily Testable Sequential Machines,?Proc. Int. Test Conference, pp. 621?630, 1988.","DOI":"10.1109\/TEST.1988.207845"},{"issue":"No. 1","key":"CR2","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1109\/43.45852","volume":"9","author":"S. Devadas","year":"1990","unstructured":"S. Devadas, H-K.T. Ma, A.R. Newton, and A. Sangiovanni-Vincentelli: ?Irredundant Sequential Machines Via Optimal Logic Synthesis,?IEEE Trans. on Computer-Aided Design, Vol. CAD-9, No. 1, pp. 8?17, January 1990.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No. 6","key":"CR3","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1109\/43.55190","volume":"9","author":"S. Devadas","year":"1990","unstructured":"S. Devadas and H-K.T. Ma, ?Easily Testable PLA-Based Finite State Machines,?IEEE Trans. on Computer-Aided Design, Vol. CAD-9, No. 6, pp. 604?611, June 1990.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"CR4","series-title":"CRC Technical Report","volume-title":"Concurrent Testing of PLAs","author":"H. Dong","year":"1982","unstructured":"H. Dong and E.J. McCluskey, ?Concurrent Testing of PLAs,? CRC Technical Report No. 82-11 (CSL TN No. 208), Stanford University, Stanford, June 1982."},{"key":"CR5","unstructured":"R. Lisanke, ?Introduction of Synthesis Benchmark,?Int. Work. on Logic Synth., NC, 1991."},{"key":"CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","volume-title":"Logic Minimization Algorithms for VLSI Synthesis","author":"R.K. Brayton","year":"1984","unstructured":"R.K. Brayton, G.D. Hachtel, C. McMullen, and A.L. Sangiovanni-Vincentelli,Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Pub., Boston, 1984."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1109\/TCAD.1985.1270123","volume":"4","author":"G. Micheli de","year":"1985","unstructured":"G. de Micheli, R.K. Brayton, and A.L. Sangiovanni-Vincentelli, ?Optimal State Assignment of Finite State Machines,?IEEE Trans. on Computer-Aided Design, Vol. CAD-4, pp. 269?285, July 1985.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"issue":"No. 4","key":"CR8","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1049\/ip-cdt:19941151","volume":"141","author":"M.J. Avedillo","year":"1994","unstructured":"M.J. Avedillo, J.M. Quintana, and J.L. Huertas, ?FSMTEST: Synthesis for Testability and Test Generation of PLA-Based FSMs,?IEE Proc. Compt. Digit. Tech., Vol. 141, No. 4, pp. 221?228, July 1994.","journal-title":"IEE Proc. Compt. Digit. Tech."}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993136.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00993136\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00993136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T22:58:41Z","timestamp":1556578721000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00993136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF00993136"],"URL":"https:\/\/doi.org\/10.1007\/bf00993136","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"value":"0923-8174","type":"print"},{"value":"1573-0727","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}