{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:40:04Z","timestamp":1749206404580,"version":"3.41.0"},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,2,1]],"date-time":"2000-02-01T00:00:00Z","timestamp":949363200000},"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":[[2000,2]]},"DOI":"10.1023\/a:1008357211476","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"131-145","source":"Crossref","is-referenced-by-count":0,"title":["Formal Value-Range and Variable Testability Techniques for High-Level Design-For-Testability"],"prefix":"10.1007","volume":"16","author":[{"given":"Sandhya","family":"Seshadri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael S.","family":"Hsiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"249839_CR1","doi-asserted-by":"crossref","unstructured":"S. Bhatia and N.K. Jha, \u201cGenesis: A Behavioral Synthesis System for Hierarchical Testability, \u201d Proc. European Design and Test Conf., 1994, pp. 272\u2013276.","DOI":"10.1109\/EDTC.1994.326865"},{"key":"249839_CR2","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00993314","volume":"7","author":"P.S. Parikh","year":"1995","unstructured":"P.S. Parikh and M. Abramovici, \u201cTestability-Based Partial Scan Analysis, \u201d Journal of Electronic Testing: Theory and Applications, Vol. 7, pp. 61\u201370, Aug. 1995.","journal-title":"Journal of Electronic Testing: Theory and Applications"},{"key":"249839_CR3","doi-asserted-by":"crossref","unstructured":"S.T. Chakradhar, A. Balakrishnan, and V.D. Agrawal, \u201cAn Exact Algorithm for Selecting Partial Scan Flip-Flops, \u201d Proc. Design Automation Conf., 1994, pp. 81\u201386.","DOI":"10.1145\/196244.196285"},{"key":"249839_CR4","doi-asserted-by":"crossref","unstructured":"M.S. Hsiao, G.S. Saund, E.M. Rudnick, and J.H. Patel, \u201cPartial Scan Selection Based on Dynamic Reachability and Observability Information, \u201d Proc. Intl. Conf. VLSI Design, 1998, pp. 174\u2013180.","DOI":"10.1109\/ICVD.1998.646598"},{"key":"249839_CR5","doi-asserted-by":"crossref","unstructured":"I. Ghosh, A. Raghunathan, and N.K. Jha, \u201cDesign for Hierarchical Testability of RTL Circuits Obtained by Behavioral Synthesis, \u201d Proc. Intl. Conf. Computer Design, 1995, pp. 173\u2013179.","DOI":"10.1109\/ICCD.1995.528807"},{"key":"249839_CR6","doi-asserted-by":"crossref","unstructured":"S. Bhatia and N.K. Jha, \u201cBehavioral Synthesis for Hierarchical Testability of Controller\/Data Path Circuits with Conditional Branches, \u201d Proc. Intl. Conf. on Computer Design, 1994, pp. 91\u201396.","DOI":"10.1109\/ICCD.1994.331862"},{"key":"249839_CR7","doi-asserted-by":"crossref","unstructured":"T.C. Lee, N.K. Jha, and W.H. Wolf, \u201cBehavioral Synthesis of Highly Testable Data Paths Under Non-Scan and Partial-Scan Environments, \u201d Proc. Design Automation Conf., 1993, pp. 292\u2013297.","DOI":"10.1145\/157485.164897"},{"key":"249839_CR8","doi-asserted-by":"crossref","unstructured":"F.F. Hsu, E.M. Rudnick, and J.H. Patel, \u201cEnhancing High-Level Control-Flow for Improved Testability, \u201d Proc. Intl. Conf. Computer-Aided Design, 1996, pp. 322\u2013328.","DOI":"10.1109\/ICCAD.1996.569720"},{"key":"249839_CR9","doi-asserted-by":"crossref","unstructured":"N. Mukherjee, M. Kasab, J. Rajshi, and J. Tyszer, \u201cArithmetic Built-In Self Test for High-Level Synthesis, \u201d IEEE VLSI Test Symposium, 1995, pp. 132\u2013139.","DOI":"10.1109\/VTEST.1995.512628"},{"key":"249839_CR10","doi-asserted-by":"crossref","unstructured":"M. Takahashi, R. Sakurai, H. Noda, T. Kambe, \u201cA Testability Analysis Method for Register-Transfer Level Description, \u201d Proc. ASP-Design Automation Conf., 1997, pp. 307\u2013312.","DOI":"10.1109\/ASPDAC.1997.600167"},{"key":"249839_CR11","volume-title":"High-Level Testability Analysis and Enhancement for Digital Systems","author":"F.F. Hsu","year":"1998","unstructured":"F.F. Hsu, \u201cHigh-Level Testability Analysis and Enhancement for Digital Systems, \u201d Ph.D. Dissertation, Univ. of Illinois at Urbana-Champaign, Oct. 1998."},{"key":"249839_CR12","doi-asserted-by":"crossref","unstructured":"K.A. Ockunzzi and C.A. Papachristou, \u201cTestability Enhancement for Behavioral Descriptions Containing Conditional Statements, \u201d Proc. Intl. Test Conf., 1997, pp. 236\u2013245.","DOI":"10.1109\/TEST.1997.639619"},{"key":"249839_CR13","doi-asserted-by":"crossref","unstructured":"J.R.C. Patterson, \u201cAccurate Static Branch Prediction by Value Range Propagation, \u201d Proc. Conf. Programming Lang. Design and Implementation, 1995, pp. 67\u201378.","DOI":"10.1145\/207110.207117"},{"issue":"2","key":"249839_CR14","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1145\/103135.103136","volume":"13","author":"M.N. Wegman","year":"1991","unstructured":"M.N. Wegman and F.K. Zadeck, \u201cConstant Propagation with Conditional Branches, \u201d ACM Trans. Programming Lang. & Systems, Vol. 13, No. 2, pp. 181\u2013210, April 1991","journal-title":"ACM Trans. Programming Lang. & Systems"},{"issue":"4","key":"249839_CR15","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/115372.115320","volume":"13","author":"R. Cytron","year":"1991","unstructured":"R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. Zadeck, \u201cEfficiently Computing SSA and the Control Dependence Graph, \u201d ACM Trans. on Programming Lang. & Systems, Vol. 13, No. 4, pp. 451\u2013490, Oct. 1991.","journal-title":"ACM Trans. on Programming Lang. & Systems"},{"key":"249839_CR16","doi-asserted-by":"crossref","unstructured":"K. Knobe and V. Sarkar, \u201cArray SSA Form and its use in Parallelization, \u201d Proc. ACM SIGPLAN-SIGACT Symposium on Principles of Programming Lang., Jan. 1998, pp. 107\u2013120.","DOI":"10.1145\/268946.268956"},{"key":"249839_CR17","unstructured":"1992 High-Level Synthesis Workshop Benchmarks, www.ics.uci.edu\/pub\/HLSynth92."},{"key":"249839_CR18","unstructured":"1995 High-Level Synthesis Workshop Benchmarks, www.ics.uci.edu\/pub\/HLSynth95."},{"key":"249839_CR19","doi-asserted-by":"crossref","unstructured":"S. Ravi, G. Lakshminarayana, and N.K. Jha, \u201cTAO: Regular Expression Based High-Level Testability Analysis and Optimization, \u201d Proc. Intl. Test Conf., 1998, pp. 331\u2013340.","DOI":"10.1109\/TEST.1998.743171"}],"container-title":["Journal of Electronic Testing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008357211476.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008357211476\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008357211476.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:17:43Z","timestamp":1749205063000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008357211476"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,2]]},"references-count":19,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2000,2]]}},"alternative-id":["249839"],"URL":"https:\/\/doi.org\/10.1023\/a:1008357211476","relation":{},"ISSN":["0923-8174","1573-0727"],"issn-type":[{"type":"print","value":"0923-8174"},{"type":"electronic","value":"1573-0727"}],"subject":[],"published":{"date-parts":[[2000,2]]}}}