{"id":"https://openalex.org/W4322397474","doi":"https://doi.org/10.1145/3585074","title":"Optimal\u00a0Pattern\u00a0Retargeting\u00a0in\u00a0IEEE\u00a01687\u00a0Networks: A SAT-based Upper-Bound Computation","display_name":"Optimal\u00a0Pattern\u00a0Retargeting\u00a0in\u00a0IEEE\u00a01687\u00a0Networks: A SAT-based Upper-Bound Computation","publication_year":2023,"publication_date":"2023-02-27","ids":{"openalex":"https://openalex.org/W4322397474","doi":"https://doi.org/10.1145/3585074"},"language":"en","primary_location":{"id":"doi:10.1145/3585074","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3585074","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082719454","display_name":"Abrar A. Ibrahim","orcid":"https://orcid.org/0000-0002-1595-2309"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["EG","NL"],"is_corresponding":true,"raw_author_name":"Abrar A. Ibrahim","raw_affiliation_strings":["Ain Shams University, Cairo, Egypt","University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]},{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072586234","display_name":"Ahmed Ibrahim","orcid":"https://orcid.org/0000-0002-7520-2171"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["EG","NL"],"is_corresponding":false,"raw_author_name":"Ahmed M. Y. Ibrahim","raw_affiliation_strings":["Ain Shams University, Cairo, Egypt","University of Twente, Enschede, Netherlands"],"affiliations":[{"raw_affiliation_string":"Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]},{"raw_affiliation_string":"University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056943013","display_name":"M. Watheq El\u2010Kharashi","orcid":"https://orcid.org/0000-0002-6033-733X"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]},{"id":"https://openalex.org/I212119943","display_name":"University of Victoria","ror":"https://ror.org/04s5mat29","country_code":"CA","type":"education","lineage":["https://openalex.org/I212119943"]}],"countries":["CA","EG"],"is_corresponding":false,"raw_author_name":"Mohamed Watheq El-Kharashi","raw_affiliation_strings":["Ain Shams University, Cairo, Egypt and University of Victoria, Victoria, Canada"],"affiliations":[{"raw_affiliation_string":"Ain Shams University, Cairo, Egypt and University of Victoria, Victoria, Canada","institution_ids":["https://openalex.org/I107720978","https://openalex.org/I212119943"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018194556","display_name":"Mona Safar","orcid":"https://orcid.org/0000-0002-1696-1792"},"institutions":[{"id":"https://openalex.org/I107720978","display_name":"Ain Shams University","ror":"https://ror.org/00cb9w016","country_code":"EG","type":"education","lineage":["https://openalex.org/I107720978"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Mona Safar","raw_affiliation_strings":["Ain Shams University, Cairo, Egypt"],"affiliations":[{"raw_affiliation_string":"Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5082719454"],"corresponding_institution_ids":["https://openalex.org/I107720978","https://openalex.org/I94624287"],"apc_list":null,"apc_paid":null,"fwci":0.3025,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.45097437,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"28","issue":"4","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9998999834060669,"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":0.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9995999932289124,"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/computer-science","display_name":"Computer science","score":0.8768342733383179},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7280771732330322},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6659445762634277},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5022339820861816},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4698188602924347},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44706493616104126},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.43477508425712585},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35120439529418945},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.27819913625717163},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08971071243286133}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8768342733383179},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7280771732330322},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6659445762634277},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5022339820861816},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4698188602924347},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44706493616104126},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.43477508425712585},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35120439529418945},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.27819913625717163},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08971071243286133},{"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/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3585074","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3585074","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1518705996","https://openalex.org/W1965393465","https://openalex.org/W1984145458","https://openalex.org/W2004363858","https://openalex.org/W2038476033","https://openalex.org/W2044432382","https://openalex.org/W2046239089","https://openalex.org/W2096634353","https://openalex.org/W2109018779","https://openalex.org/W2116758077","https://openalex.org/W2139917278","https://openalex.org/W2143586611","https://openalex.org/W2151243068","https://openalex.org/W2406142465","https://openalex.org/W2491634882","https://openalex.org/W2570543678","https://openalex.org/W2570760417","https://openalex.org/W2583278846","https://openalex.org/W2958643974","https://openalex.org/W2980700924","https://openalex.org/W4231486519","https://openalex.org/W4243047118"],"related_works":["https://openalex.org/W2389214306","https://openalex.org/W2965083567","https://openalex.org/W4235240664","https://openalex.org/W1838576100","https://openalex.org/W2757182831","https://openalex.org/W3013085049","https://openalex.org/W2095886385","https://openalex.org/W2089704382","https://openalex.org/W1983399550","https://openalex.org/W97075385"],"abstract_inverted_index":{"A":[0],"growing":[1],"number":[2,53,124],"of":[3,54,94,125,166],"embedded":[4],"instruments":[5,145],"is":[6,186],"being":[7],"integrated":[8],"into":[9],"System-on-Chips":[10],"for":[11,118,159,173],"testing,":[12],"monitoring,":[13],"and":[14,102],"several":[15],"other":[16],"purposes.":[17],"To":[18],"standardize":[19],"their":[20],"access":[21,146],"protocols,":[22],"the":[23,35,82,120,123,129,155,164,171],"IEEE":[24],"1687":[25],"(IJTAG)":[26],"standard":[27],"has":[28],"defined":[29],"a":[30,42,46,51,115,181,189],"flexible":[31],"network":[32,183],"infrastructure.":[33],"Finding":[34],"shortest":[36],"path":[37],"in":[38,149,169,192,195],"such":[39],"networks":[40],"requires":[41],"comprehensive":[43],"search":[44],"over":[45],"solution":[47],"space,":[48],"bounded":[49],"by":[50,153,180],"limited":[52],"time":[55,126,156],"frames.":[56],"This":[57,185],"bound":[58],"must":[59],"be":[60,67,139],"selected":[61],"carefully,":[62],"as":[63],"it":[64],"can":[65,137],"neither":[66],"too":[68,77],"large":[69],"(to":[70,79],"avoid":[71,80],"unnecessary":[72],"long":[73],"execution":[74,193],"time)":[75],"nor":[76],"small":[78],"missing":[81],"optimal":[83],"solution).":[84],"Previous":[85],"work":[86,168],"was":[87],"not":[88,178],"efficiently":[89],"applicable":[90],"to":[91,141,144,197],"all":[92],"segments":[93],"IJTAG":[95],"networks,":[96],"with":[97,188],"some":[98],"providing":[99],"unrealistic":[100],"bounds":[101],"others":[103],"having":[104],"scope":[105],"limitations":[106],"or":[107],"scalability":[108],"issues.":[109],"In":[110],"this":[111],"work,":[112],"we":[113],"present":[114],"new":[116],"methodology":[117],"computing":[119,170],"upper-bound":[121,172],"on":[122],"frames":[127],"using":[128],"Boolean":[130],"Satisfiability":[131],"Problem":[132],"(SAT).":[133],"Our":[134],"proposed":[135],"technique":[136],"also":[138],"customized":[140],"perfectly":[142],"adapt":[143],"procedures,":[147],"which":[148],"turn":[150],"increases":[151],"efficiency":[152],"reducing":[154],"spent":[157],"searching":[158],"required":[160],"configurations.":[161],"Results":[162],"show":[163],"effectiveness":[165],"our":[167],"irregular":[174],"benchmarks":[175],"that":[176],"are":[177],"constrained":[179],"specific":[182],"design.":[184],"achieved":[187],"controlled":[190],"increase":[191],"time,":[194],"contrast":[196],"previous":[198],"work.":[199]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}