{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,7]],"date-time":"2025-06-07T04:03:55Z","timestamp":1749269035221,"version":"3.41.0"},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,8,1]],"date-time":"1997-08-01T00:00:00Z","timestamp":870393600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Electronic Testing"],"published-print":{"date-parts":[[1997,8]]},"DOI":"10.1023\/a:1008291616071","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T13:47:34Z","timestamp":1040564854000},"page":"9-28","source":"Crossref","is-referenced-by-count":13,"title":["Behavioral Testability Insertion for Datapath\/Controller Circuits"],"prefix":"10.1007","volume":"11","author":[{"given":"Joan E.","family":"Carletta","sequence":"first","affiliation":[]},{"given":"Christos A.","family":"Papachristou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"138376_CR1","doi-asserted-by":"crossref","unstructured":"C. Papachristou, S. Chiu, and H. Harmanani, \u201cA Data Path Synthesis Method for Self-Testable Designs,\u201d Proceedings of the 28th ACM\/IEEE Design Automation Conference, June 1991, pp. 378\u2013384.","DOI":"10.1145\/127601.127698"},{"key":"138376_CR2","doi-asserted-by":"crossref","unstructured":"L. Avra, \u201cAllocation and Assignment in High Level Synthesis,\u201d Proc. International Test Conference, Oct. 1991, pp. 463\u2013472.","DOI":"10.1109\/TEST.1991.519708"},{"key":"138376_CR3","doi-asserted-by":"crossref","unstructured":"I.G. Harris and A. Orailoglu, \u201cMicroarchitectural Synthesis of VLSI Designs with High Test Concurrency,\u201d Proceedings of the 31st ACM\/IEEE Design Automation Conference, June 1994, pp. 206\u2013211.","DOI":"10.1145\/196244.196353"},{"key":"138376_CR4","doi-asserted-by":"crossref","unstructured":"T.-C. Lee, N.K. Jha, and W.H. Wolf, \u201cBehavioral Synthesis for Highly Testable Data Paths under the Non-Scan and Partial Scan Environments,\u201d Proceedings of the 30th ACM\/IEEE Design Automation Conference, June 1993, pp. 292\u2013297.","DOI":"10.1145\/157485.164897"},{"key":"138376_CR5","doi-asserted-by":"crossref","unstructured":"S. Bhatia and N.K. Jha, \u201cBehavioral Synthesis for Hierarchical Testability of Controller\/Datapath Circuits with Conditional Branches,\u201d Proceedings of the 1994 IEEE International Conference on Computer Design (ICCD-94), Oct. 1994, pp. 91\u201396.","DOI":"10.1109\/ICCD.1994.331862"},{"key":"138376_CR6","doi-asserted-by":"crossref","unstructured":"S. Dey and M. Potkonjak, \u201cTransforming Behavioral Specifications to Facilitate Synthesis of Testable Designs,\u201d Proceedings of the 1994 International Test Conference, Oct. 1994, pp. 184\u2013193.","DOI":"10.1109\/TEST.1994.527949"},{"key":"138376_CR7","doi-asserted-by":"crossref","unstructured":"S. Chiu and C.A. Papachristou, \u201cADesign forTestability Scheme with Applications to Data Path Synthesis,\u201d Proceedings of the 28th ACM\/IEEE Design Automation Conference, June 1991, pp. 271\u2013277.","DOI":"10.1145\/127601.127679"},{"issue":"6","key":"138376_CR8","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/43.285251","volume":"13","author":"C.-H. Chen","year":"1994","unstructured":"C.-H. Chen, T. Karnik, and D.G. Saab, \u201cStructural and Behavioral Synthesis for Testability Techniques,\u201d IEEE Transactions on CAD, Vol. 13, No.6, pp. 777\u2013785, June 1994.","journal-title":"IEEE Transactions on CAD"},{"key":"138376_CR9","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1109\/43.259939","volume":"13","author":"Z. Peng","year":"1994","unstructured":"Z. Peng and K. Kuchcinski, \u201cAutomated Transformation of Algorithms into RTL Implementations,\u201d IEEE Transactions on CAD, Vol. 13, pp. 150\u2013165, Feb. 1994.","journal-title":"IEEE Transactions on CAD"},{"key":"138376_CR10","unstructured":"M. Abramovici, M. Breuer, and A. Friedman, Digital Systems Testing and Testable Design, IEEE Press, 1990."},{"key":"138376_CR11","doi-asserted-by":"crossref","unstructured":"K. Thearling and J. Abraham, \u201cAn Easily Computed Functional Level Testability Measure,\u201d Proceedings of the 1989 International Test Conference, 1989, pp. 381\u2013390.","DOI":"10.1109\/TEST.1989.82322"},{"key":"138376_CR12","doi-asserted-by":"crossref","first-page":"582","DOI":"10.1109\/TC.1981.1675843","volume":"c-30","author":"V.D. Agrawal","year":"1981","unstructured":"V.D. Agrawal, \u201cAn Information Theoretic Approach to Digital Fault Testing,\u201d IEEE Trans. on Computers, Vol. c-30, pp. 582\u2013587, August 1981.","journal-title":"IEEE Trans. on Computers"},{"key":"138376_CR13","doi-asserted-by":"crossref","unstructured":"K.-T. Cheng and V.D. Agrawal, \u201cAn Entropy Measure for the Complexity of Multi-Output Boolean Functions,\u201d Proc. 27th ACM\/IEEE Design Automation Conf., June 1990, pp. 302\u2013305.","DOI":"10.1145\/123186.123282"},{"key":"138376_CR14","unstructured":"X. Gu, K. Kuchcinski, and Z. Peng, \u201cTestability Analysis and Improvement from VHDL Behavioral Specifications,\u201d Proceedings of the Third European Design Automation Conference\n(EURO-DAC 94), Sept. 1994."},{"key":"138376_CR15","doi-asserted-by":"crossref","unstructured":"M.H. Gentil, D. Crestani, A. El Rhalibi, and C. Durante, \u201cA New High Level Testability Measure: Description and Evaluation,\u201d Proceedings of the 12th IEEE VLSI Test Symposium, April 1994, pp. 421\u2013426.","DOI":"10.1109\/VTEST.1994.292279"},{"key":"138376_CR16","doi-asserted-by":"crossref","unstructured":"J. Lee and J.H. Patel, \u201cAn Instruction Sequence Assembling Methodology for Testing Microprocessors,\u201d Proceedings of the 1992 International Test Conference, Oct. 1992, pp. 49\u201358.","DOI":"10.1109\/TEST.1992.527803"},{"key":"138376_CR17","unstructured":"S. Davidson, private communication, July 1994."},{"key":"138376_CR18","doi-asserted-by":"crossref","unstructured":"H. Harmanani, C. Papachristou, S. Chiu, and M. Nourani, \u201cSYNTEST: An Environment for System-Level Design for Test,\u201d Proceedings of the First European Design Automation Conference\n(EURO-DAC 92), Sept. 1992, pp. 402\u2013407.","DOI":"10.1109\/EURDAC.1992.246212"},{"key":"138376_CR19","unstructured":"Compass Design Automation, \u201cUser Manuals for COMPASS VLSI V8R4.4,\u201d Compass Design Automation, Inc., 1993."},{"key":"138376_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3636-9","volume-title":"High-Level Synthesis: Introduction to Chip and System Design","author":"D. Gajski","year":"1992","unstructured":"D. Gajski, N. Dutt, A. Wu, and S. Lin, High-Level Synthesis: Introduction to Chip and System Design, Kluwer Academic Publishers, Boston, MA, 1992."},{"key":"138376_CR21","doi-asserted-by":"crossref","unstructured":"P. Vishakantaiah, T. Thomas, J. A. Abraham, and M. Abadir, \u201cAMBIANT: Automatic Generation of Behavioral Modifications for Testability,\u201d Proceedings of the 1993 IEEE International Conference on Computer Design (ICCD-93), Oct. 1993, pp. 63\u201366.","DOI":"10.1109\/ICCD.1993.393404"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008291616071.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008291616071\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008291616071.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:04:53Z","timestamp":1749204293000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008291616071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,8]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,8]]}},"alternative-id":["138376"],"URL":"https:\/\/doi.org\/10.1023\/a:1008291616071","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[1997,8]]}}}