{"id":"https://openalex.org/W2044025886","doi":"https://doi.org/10.1109/isqed.2015.7085449","title":"Separation of concerns for hardware components of embedded systems in BIP","display_name":"Separation of concerns for hardware components of embedded systems in BIP","publication_year":2015,"publication_date":"2015-03-01","ids":{"openalex":"https://openalex.org/W2044025886","doi":"https://doi.org/10.1109/isqed.2015.7085449","mag":"2044025886"},"language":"en","primary_location":{"id":"doi:10.1109/isqed.2015.7085449","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2015.7085449","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sixteenth International Symposium on Quality Electronic Design","raw_type":"proceedings-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/A5012477886","display_name":"Maya H. Safieddine","orcid":"https://orcid.org/0000-0002-1674-9628"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":true,"raw_author_name":"Maya H. Safieddine","raw_affiliation_strings":["American University of Beirut, Lebanon","American University of Beirut , Lebanon"],"affiliations":[{"raw_affiliation_string":"American University of Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]},{"raw_affiliation_string":"American University of Beirut , Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071376756","display_name":"Rouwaida Kanj","orcid":"https://orcid.org/0000-0002-3519-2917"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Rouwaida Kanj","raw_affiliation_strings":["American University of Beirut, Lebanon","American University of Beirut , Lebanon"],"affiliations":[{"raw_affiliation_string":"American University of Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]},{"raw_affiliation_string":"American University of Beirut , Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010806171","display_name":"Fadi A. Zaraket","orcid":"https://orcid.org/0000-0001-5909-6375"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Fadi A. Zaraket","raw_affiliation_strings":["American University of Beirut, Lebanon","American University of Beirut , Lebanon"],"affiliations":[{"raw_affiliation_string":"American University of Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]},{"raw_affiliation_string":"American University of Beirut , Lebanon","institution_ids":["https://openalex.org/I98635879"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083382613","display_name":"Ali El-Zein","orcid":null},"institutions":[{"id":"https://openalex.org/I1341412227","display_name":"IBM (United States)","ror":"https://ror.org/05hh8d621","country_code":"US","type":"company","lineage":["https://openalex.org/I1341412227"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali Elzein","raw_affiliation_strings":["IBM Systems and Technology Group, Austin, TX","IBM Systems and Tech. Group, Austin, TX#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, Austin, TX","institution_ids":[]},{"raw_affiliation_string":"IBM Systems and Tech. Group, Austin, TX#TAB#","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088676304","display_name":"Mohamad Jaber","orcid":"https://orcid.org/0000-0003-2457-9742"},"institutions":[{"id":"https://openalex.org/I98635879","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21","country_code":"LB","type":"education","lineage":["https://openalex.org/I98635879"]}],"countries":["LB"],"is_corresponding":false,"raw_author_name":"Mohamad Jaber","raw_affiliation_strings":["American University of Beirut, Lebanon","American University of Beirut , Lebanon"],"affiliations":[{"raw_affiliation_string":"American University of Beirut, Lebanon","institution_ids":["https://openalex.org/I98635879"]},{"raw_affiliation_string":"American University of Beirut , Lebanon","institution_ids":["https://openalex.org/I98635879"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5012477886"],"corresponding_institution_ids":["https://openalex.org/I98635879"],"apc_list":null,"apc_paid":null,"fwci":0.646,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.69171848,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"337","last_page":"344"},"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.9998000264167786,"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.9998000264167786,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9991999864578247,"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.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7748667001724243},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5108813643455505},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5033642649650574},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.48658454418182373},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.476001113653183},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4713705778121948},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.3458956480026245},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3438771367073059},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18664833903312683},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.15625950694084167}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7748667001724243},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5108813643455505},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5033642649650574},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.48658454418182373},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.476001113653183},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4713705778121948},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.3458956480026245},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3438771367073059},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18664833903312683},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.15625950694084167},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed.2015.7085449","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2015.7085449","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sixteenth International Symposium on Quality Electronic Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320309999","display_name":"American University of Beirut","ror":"https://ror.org/04pznsd21"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1503502818","https://openalex.org/W1528837436","https://openalex.org/W1539123944","https://openalex.org/W1575369083","https://openalex.org/W1578592046","https://openalex.org/W1996445094","https://openalex.org/W2016310205","https://openalex.org/W2046826624","https://openalex.org/W2048903680","https://openalex.org/W2106100968","https://openalex.org/W2120346621","https://openalex.org/W2133038101","https://openalex.org/W2150408604","https://openalex.org/W2164794461","https://openalex.org/W2293100135","https://openalex.org/W2404118354","https://openalex.org/W2962762993","https://openalex.org/W3150294762","https://openalex.org/W6630137655","https://openalex.org/W6632262532","https://openalex.org/W6634364008"],"related_works":["https://openalex.org/W3167886223","https://openalex.org/W2098694303","https://openalex.org/W3217430545","https://openalex.org/W2118365745","https://openalex.org/W1621928919","https://openalex.org/W4299458603","https://openalex.org/W2110487025","https://openalex.org/W3011755443","https://openalex.org/W2074526596","https://openalex.org/W4242010157"],"abstract_inverted_index":{"Memory-based":[0],"concerns":[1,16,46],"such":[2],"as":[3],"Design-for-test,":[4],"logic":[5],"built":[6],"in":[7,140],"self":[8],"test,":[9],"memory":[10,43,59,98],"technology":[11],"mapping":[12],"and":[13,21,92,127],"clock":[14],"division":[15],"traditionally":[17],"happen":[18],"at":[19,47,131],"circuit-level":[20],"require":[22],"team-months":[23],"of":[24,42,105],"verification":[25,50],"time.":[26],"We":[27,68,108],"present":[28],"a":[29,57,70],"novel":[30],"hardware":[31,45],"concern-based":[32],"methodology":[33,54],"for":[34,77],"embedded":[35,82],"system":[36],"frameworks":[37],"that":[38,62,72,120,151],"enables":[39],"automatic":[40],"separation":[41],"based":[44],"high-level":[48],"where":[49,97,135],"is":[51,152],"easier.":[52],"The":[53],"relies":[55],"on":[56],"conservative":[58],"inference":[60],"transformation":[61,76],"separates":[63],"sequential":[64],"from":[65,102],"combinational":[66],"elements.":[67],"developed":[69],"tool":[71],"automatically":[73],"performs":[74],"the":[75,103,106,132,144,149],"BIP,":[78],"an":[79],"open":[80],"source":[81],"systems":[83],"design":[84],"framework.":[85],"It":[86],"takes":[87],"entry":[88],"BIP":[89,94,114,133],"model":[90,95],"code":[91,96],"outputs":[93],"elements":[99],"are":[100,137],"separated":[101],"rest":[104],"logic.":[107],"evaluated":[109],"our":[110,121],"method":[111,122],"with":[112,155],"three":[113],"case":[115],"studies.":[116],"Our":[117],"results":[118],"show":[119],"enabled":[123],"designers":[124],"to":[125,146],"identify":[126],"fix":[128],"injected":[129],"defects":[130],"level,":[134],"they":[136],"more":[138],"comfortable,":[139],"reasonable":[141],"time":[142],"without":[143],"need":[145],"dive":[147],"into":[148],"circuitry":[150],"highly":[153],"coupled":[154],"concerns.":[156]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}