{"id":"https://openalex.org/W4389252416","doi":"https://doi.org/10.1109/tc.2023.3336198","title":"Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks","display_name":"Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks","publication_year":2023,"publication_date":"2023-12-01","ids":{"openalex":"https://openalex.org/W4389252416","doi":"https://doi.org/10.1109/tc.2023.3336198"},"language":"en","primary_location":{"id":"doi:10.1109/tc.2023.3336198","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2023.3336198","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","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":false,"raw_author_name":"Abrar A. Ibrahim","raw_affiliation_strings":["Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","Testable Design and Test of Integrated Systems Group (TDT), University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-1595-2309","affiliations":[{"raw_affiliation_string":"Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]},{"raw_affiliation_string":"Testable Design and Test of Integrated Systems Group (TDT), University of Twente, Enschede, The 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":["Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","Testable Design and Test of Integrated Systems Group (TDT), University of Twente, Enschede, The Netherlands"],"raw_orcid":"https://orcid.org/0000-0002-7520-2171","affiliations":[{"raw_affiliation_string":"Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]},{"raw_affiliation_string":"Testable Design and Test of Integrated Systems Group (TDT), University of Twente, Enschede, The 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"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"M. Watheq El-Kharashi","raw_affiliation_strings":["Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt"],"raw_orcid":"https://orcid.org/0000-0002-6033-733X","affiliations":[{"raw_affiliation_string":"Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]},{"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":["Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt"],"raw_orcid":"https://orcid.org/0000-0002-1696-1792","affiliations":[{"raw_affiliation_string":"Department of Computer and Systems Engineering, Ain Shams University, Cairo, Egypt","institution_ids":["https://openalex.org/I107720978"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1799806,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"73","issue":"2","first_page":"536","last_page":"547"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9957000017166138,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9957000017166138,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9912999868392944,"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/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/retargeting","display_name":"Retargeting","score":0.9865286350250244},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.841080904006958},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8121084570884705},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48906785249710083},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3874107897281647},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.3722058832645416},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34373554587364197},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3307320475578308},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18755152821540833},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15347617864608765}],"concepts":[{"id":"https://openalex.org/C2780575108","wikidata":"https://www.wikidata.org/wiki/Q7316652","display_name":"Retargeting","level":2,"score":0.9865286350250244},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.841080904006958},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8121084570884705},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48906785249710083},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3874107897281647},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.3722058832645416},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34373554587364197},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3307320475578308},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18755152821540833},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15347617864608765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tc.2023.3336198","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tc.2023.3336198","pdf_url":null,"source":{"id":"https://openalex.org/S157670870","display_name":"IEEE Transactions on Computers","issn_l":"0018-9340","issn":["0018-9340","0016-9340","1557-9956","2326-3814"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computers","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1592780283","https://openalex.org/W1950282396","https://openalex.org/W1965393465","https://openalex.org/W1984145458","https://openalex.org/W2004363858","https://openalex.org/W2028245341","https://openalex.org/W2033041531","https://openalex.org/W2040760679","https://openalex.org/W2046239089","https://openalex.org/W2099885537","https://openalex.org/W2109018779","https://openalex.org/W2116758077","https://openalex.org/W2139917278","https://openalex.org/W2151243068","https://openalex.org/W2162155525","https://openalex.org/W2488840765","https://openalex.org/W2491634882","https://openalex.org/W2570543678","https://openalex.org/W2570760417","https://openalex.org/W2583278846","https://openalex.org/W2615236841","https://openalex.org/W2945679648","https://openalex.org/W2958643974","https://openalex.org/W2980700924","https://openalex.org/W4243047118","https://openalex.org/W4253112770","https://openalex.org/W4322397474"],"related_works":["https://openalex.org/W2461433938","https://openalex.org/W2068239131","https://openalex.org/W2978026406","https://openalex.org/W2388687068","https://openalex.org/W4256495946","https://openalex.org/W1999657508","https://openalex.org/W2399091034","https://openalex.org/W2351581202","https://openalex.org/W2366922255","https://openalex.org/W2792375908"],"abstract_inverted_index":{"A":[0],"wide":[1],"variety":[2],"of":[3,16,25,167,190],"embedded":[4,26,48,62],"instruments":[5,27,61,72],"are":[6,73],"increasingly":[7],"integrated":[8],"within":[9,28],"modern":[10],"System-on-Chips":[11],"(SoCs)":[12],"for":[13,60,153],"the":[14,29,47,70,89,94,101,105,113,118,133,165],"purpose":[15],"monitoring,":[17],"debugging,":[18],"and":[19,177],"testing.":[20],"Integrating":[21],"this":[22,109],"heterogeneous":[23],"set":[24],"same":[30],"chip":[31],"necessitates":[32],"having":[33],"an":[34,56,127,185],"efficient":[35,57],"access":[36,44,58,69,104],"network.":[37,144],"Such":[38],"a":[39,76,171],"network":[40],"should":[41,148],"ensure":[42],"minimal":[43],"time":[45,90,102,189],"to":[46,68,87,92,103,195],"instruments.":[49,107],"The":[50,65,145,182],"IJTAG":[51,143],"standard":[52],"was":[53],"introduced":[54],"as":[55,98,100,160],"methodology":[59],"in":[63,75,187],"chips.":[64],"required":[66],"configurations":[67],"desired":[71,106],"generated":[74],"process":[77],"called":[78],"pattern":[79],"retargeting.":[80],"For":[81],"optimal":[82],"retargeting,":[83,158],"it":[84],"is":[85,180],"important":[86],"minimize":[88],"taken":[91],"find":[93],"right":[95],"configuration":[96],"vectors":[97],"well":[99],"In":[108],"work,":[110],"we":[111],"express":[112],"two":[114],"execution":[115],"times":[116],"using":[117],"term":[119],"Dynamic":[120],"Access":[121],"Time":[122],"(DAT).":[123],"This":[124],"work":[125,179],"proposes":[126],"adaptive":[128],"retargeting":[129,175,188,198],"model":[130,147],"based":[131],"on":[132,192],"Boolean":[134],"Satisfiability":[135],"Problem":[136],"(SAT)":[137],"that":[138],"properly":[139],"fits":[140],"any":[141],"arbitrary":[142],"proposed":[146,169],"provide":[149],"substantial":[150],"improvement,":[151],"especially":[152],"runtime":[154],"applications":[155],"requiring":[156],"dynamic":[157],"such":[159],"debugging":[161],"operations.":[162],"To":[163],"assess":[164],"effectiveness":[166],"our":[168,178],"model,":[170],"comparison":[172],"between":[173],"state-of-the-art":[174],"techniques":[176],"performed.":[181],"results":[183],"show":[184],"improvement":[186],"60%,":[191],"average,":[193],"compared":[194],"previous":[196],"SAT-based":[197],"approaches.":[199]},"counts_by_year":[],"updated_date":"2026-07-07T14:30:12.667765","created_date":"2025-10-10T00:00:00"}