{"id":"https://openalex.org/W1579705656","doi":"https://doi.org/10.1023/a:1008243700142","title":"Improving Testability of Non-Scan Designs during Behavioral Synthesis","display_name":"Improving Testability of Non-Scan Designs during Behavioral Synthesis","publication_year":1997,"publication_date":"1997-08-01","ids":{"openalex":"https://openalex.org/W1579705656","doi":"https://doi.org/10.1023/a:1008243700142","mag":"1579705656"},"language":"en","primary_location":{"id":"doi:10.1023/a:1008243700142","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008243700142","pdf_url":null,"source":{"id":"https://openalex.org/S200807567","display_name":"Journal of Electronic Testing","issn_l":"0923-8174","issn":["0923-8174","1573-0727"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Electronic Testing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-02288852","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081237741","display_name":"Marie-Lise Flottes","orcid":"https://orcid.org/0000-0002-7231-3976"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4405261681"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"M.L. Flottes","raw_affiliation_strings":["Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS, 5506, 161 rue Ada, 34392, Montpellier Cedex 5, France","Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS 5506, 161 rue Ada, 34392 Montpellier Cedex 5, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS, 5506, 161 rue Ada, 34392, Montpellier Cedex 5, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210101743"]},{"raw_affiliation_string":"Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS 5506, 161 rue Ada, 34392 Montpellier Cedex 5, France#TAB#","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030192443","display_name":"D. Hammad","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4405261681"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"D. Hammad","raw_affiliation_strings":["Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS, 5506, 161 rue Ada, 34392, Montpellier Cedex 5, France","Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS 5506, 161 rue Ada, 34392 Montpellier Cedex 5, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS, 5506, 161 rue Ada, 34392, Montpellier Cedex 5, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210101743"]},{"raw_affiliation_string":"Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS 5506, 161 rue Ada, 34392 Montpellier Cedex 5, France#TAB#","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035518436","display_name":"Bruno Rouzeyre","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210101743","display_name":"Laboratoire d'Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier","ror":"https://ror.org/013yean28","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I151295451","https://openalex.org/I19894307","https://openalex.org/I4210101743","https://openalex.org/I4210159245","https://openalex.org/I4405261681"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"B. Rouzeyre","raw_affiliation_strings":["Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS, 5506, 161 rue Ada, 34392, Montpellier Cedex 5, France","Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS 5506, 161 rue Ada, 34392 Montpellier Cedex 5, France#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS, 5506, 161 rue Ada, 34392, Montpellier Cedex 5, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210101743"]},{"raw_affiliation_string":"Laboratoire d\u2018Informatique, de Robotique et de Micro\u00e9lectronique de Montpellier (LIRMM) U.M. CNRS 5506, 161 rue Ada, 34392 Montpellier Cedex 5, France#TAB#","institution_ids":["https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.07746934,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":"1","first_page":"29","last_page":"42"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/testability","display_name":"Testability","score":0.9118247032165527},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6838253736495972},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6173754334449768},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6111587285995483},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5703598260879517},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37804552912712097},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.27165135741233826},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.18718260526657104},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16971269249916077}],"concepts":[{"id":"https://openalex.org/C51234621","wikidata":"https://www.wikidata.org/wiki/Q2149495","display_name":"Testability","level":2,"score":0.9118247032165527},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6838253736495972},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6173754334449768},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6111587285995483},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5703598260879517},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37804552912712097},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.27165135741233826},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.18718260526657104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16971269249916077},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1023/a:1008243700142","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1008243700142","pdf_url":null,"source":{"id":"https://openalex.org/S200807567","display_name":"Journal of Electronic Testing","issn_l":"0923-8174","issn":["0923-8174","1573-0727"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Electronic Testing","raw_type":"journal-article"},{"id":"pmh:oai:HAL:lirmm-02288852v1","is_oa":true,"landing_page_url":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-02288852","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Electronic Testing: : Theory and Applications, 1997, 11 (1), pp.29-42. ⟨10.1023/A:1008243700142⟩","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:HAL:lirmm-02288852v1","is_oa":true,"landing_page_url":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-02288852","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Electronic Testing: : Theory and Applications, 1997, 11 (1), pp.29-42. ⟨10.1023/A:1008243700142⟩","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W2017169791","https://openalex.org/W2063747323","https://openalex.org/W2077945076","https://openalex.org/W2078888330","https://openalex.org/W2099096493","https://openalex.org/W2113085705","https://openalex.org/W2115799287","https://openalex.org/W2117922323","https://openalex.org/W2126094244","https://openalex.org/W2132643359","https://openalex.org/W2133388220","https://openalex.org/W2134626087","https://openalex.org/W2135129887","https://openalex.org/W2138862233","https://openalex.org/W2144070988","https://openalex.org/W2147197770","https://openalex.org/W2148444663","https://openalex.org/W2149020879","https://openalex.org/W2149787112","https://openalex.org/W2151419451","https://openalex.org/W2164906622","https://openalex.org/W2172154421","https://openalex.org/W2541102694","https://openalex.org/W2542212471","https://openalex.org/W2547658354","https://openalex.org/W4237650334","https://openalex.org/W4244153568","https://openalex.org/W4254140785"],"related_works":["https://openalex.org/W2393524141","https://openalex.org/W2365130684","https://openalex.org/W2370255574","https://openalex.org/W2106502108","https://openalex.org/W2783560053","https://openalex.org/W2169676947","https://openalex.org/W2098899017","https://openalex.org/W2381807899","https://openalex.org/W2382598150","https://openalex.org/W2074985862"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2016-06-24T00:00:00"}