{"id":"https://openalex.org/W2539031072","doi":"https://doi.org/10.1109/icecs.2004.1399732","title":"Pattern search in hierarchical high-level designs","display_name":"Pattern search in hierarchical high-level designs","publication_year":2005,"publication_date":"2005-03-31","ids":{"openalex":"https://openalex.org/W2539031072","doi":"https://doi.org/10.1109/icecs.2004.1399732","mag":"2539031072"},"language":"en","primary_location":{"id":"doi:10.1109/icecs.2004.1399732","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icecs.2004.1399732","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2004 11th IEEE International Conference on Electronics, Circuits and Systems, 2004. ICECS 2004.","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/A5066442538","display_name":"Z. Terem","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104622","display_name":"Intel (Israel)","ror":"https://ror.org/027t2s119","country_code":"IL","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210104622"]},{"id":"https://openalex.org/I80687555","display_name":"Israel Electric (Israel)","ror":"https://ror.org/01p8dnv11","country_code":"IL","type":"company","lineage":["https://openalex.org/I80687555"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Z. Terem","raw_affiliation_strings":["Logic Validation Technology, Intel Corporation, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Logic Validation Technology, Intel Corporation, Haifa, Israel","institution_ids":["https://openalex.org/I80687555","https://openalex.org/I4210104622"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032288384","display_name":"Gila Kamhi","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104622","display_name":"Intel (Israel)","ror":"https://ror.org/027t2s119","country_code":"IL","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210104622"]},{"id":"https://openalex.org/I80687555","display_name":"Israel Electric (Israel)","ror":"https://ror.org/01p8dnv11","country_code":"IL","type":"company","lineage":["https://openalex.org/I80687555"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"G. Kamhi","raw_affiliation_strings":["Logic Validation Technology, Intel Corporation, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Logic Validation Technology, Intel Corporation, Haifa, Israel","institution_ids":["https://openalex.org/I80687555","https://openalex.org/I4210104622"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023016316","display_name":"M. Vardi","orcid":null},"institutions":[{"id":"https://openalex.org/I74775410","display_name":"Rice University","ror":"https://ror.org/008zs3103","country_code":"US","type":"education","lineage":["https://openalex.org/I74775410"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M.Y. Vardi","raw_affiliation_strings":["Rice University, Houston, USA"],"affiliations":[{"raw_affiliation_string":"Rice University, Houston, USA","institution_ids":["https://openalex.org/I74775410"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088775149","display_name":"Amitai Irron","orcid":null},"institutions":[{"id":"https://openalex.org/I80687555","display_name":"Israel Electric (Israel)","ror":"https://ror.org/01p8dnv11","country_code":"IL","type":"company","lineage":["https://openalex.org/I80687555"]},{"id":"https://openalex.org/I4210104622","display_name":"Intel (Israel)","ror":"https://ror.org/027t2s119","country_code":"IL","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210104622"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"A. Irron","raw_affiliation_strings":["Logic Validation Technology, Intel Corporation, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"Logic Validation Technology, Intel Corporation, Haifa, Israel","institution_ids":["https://openalex.org/I80687555","https://openalex.org/I4210104622"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5066442538"],"corresponding_institution_ids":["https://openalex.org/I4210104622","https://openalex.org/I80687555"],"apc_list":null,"apc_paid":null,"fwci":0.7163,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76555556,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"csl tr 95 681","issue":null,"first_page":"519","last_page":"522"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9991000294685364,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9962000250816345,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9907000064849854,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.74957674741745},{"id":"https://openalex.org/keywords/subgraph-isomorphism-problem","display_name":"Subgraph isomorphism problem","score":0.7344393730163574},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6438877582550049},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6426937580108643},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5732526779174805},{"id":"https://openalex.org/keywords/isomorphism","display_name":"Isomorphism (crystallography)","score":0.5500539541244507},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"Pattern matching","score":0.5063377618789673},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4918675422668457},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2523854970932007},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21595677733421326},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.11454424262046814},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.0718863308429718}],"concepts":[{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.74957674741745},{"id":"https://openalex.org/C131992880","wikidata":"https://www.wikidata.org/wiki/Q2528185","display_name":"Subgraph isomorphism problem","level":3,"score":0.7344393730163574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6438877582550049},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6426937580108643},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5732526779174805},{"id":"https://openalex.org/C203436722","wikidata":"https://www.wikidata.org/wiki/Q902950","display_name":"Isomorphism (crystallography)","level":3,"score":0.5500539541244507},{"id":"https://openalex.org/C68859911","wikidata":"https://www.wikidata.org/wiki/Q1503724","display_name":"Pattern matching","level":2,"score":0.5063377618789673},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4918675422668457},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2523854970932007},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21595677733421326},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.11454424262046814},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0718863308429718},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C8010536","wikidata":"https://www.wikidata.org/wiki/Q160398","display_name":"Crystallography","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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C115624301","wikidata":"https://www.wikidata.org/wiki/Q895901","display_name":"Crystal structure","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icecs.2004.1399732","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icecs.2004.1399732","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2004 11th IEEE International Conference on Electronics, Circuits and Systems, 2004. ICECS 2004.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5199999809265137,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W24055035","https://openalex.org/W1504293077","https://openalex.org/W1898219145","https://openalex.org/W2011039300","https://openalex.org/W2103684670","https://openalex.org/W2126359798","https://openalex.org/W2134152592","https://openalex.org/W2148596540","https://openalex.org/W2158108453","https://openalex.org/W2337098149","https://openalex.org/W2426452510","https://openalex.org/W2427843410","https://openalex.org/W2476096155","https://openalex.org/W2493328864","https://openalex.org/W4244602316","https://openalex.org/W4285719527","https://openalex.org/W6600997794","https://openalex.org/W6629949171"],"related_works":["https://openalex.org/W2532922352","https://openalex.org/W2604893261","https://openalex.org/W1983937448","https://openalex.org/W1856194915","https://openalex.org/W2164952701","https://openalex.org/W3080158623","https://openalex.org/W2905073546","https://openalex.org/W2494517118","https://openalex.org/W2183579781","https://openalex.org/W2741691591"],"abstract_inverted_index":{"The":[0,22],"paper":[1],"focuses":[2],"on":[3,68],"using":[4],"algorithms":[5],"for":[6],"design":[7,38],"pattern":[8,39],"matching":[9,40],"to":[10],"address":[11,50],"the":[12,51,63],"challenges":[13],"of":[14,24,53,65],"designs":[15,29],"at":[16],"RT":[17],"and":[18,30,49,56],"higher":[19],"abstraction":[20],"levels.":[21],"crux":[23],"our":[25,66],"approach":[26,48,67],"is":[27],"modeling":[28],"patterns":[31],"as":[32,41],"graphs,":[33],"which":[34],"lets":[35],"us":[36],"express":[37],"subgraph":[42],"isomorphism.":[43],"We":[44],"apply":[45],"a":[46],"constraint-satisfaction":[47],"problem":[52],"both":[54],"exact":[55],"generalized":[57],"matching.":[58],"Our":[59],"experimental":[60],"results":[61],"confirm":[62],"applicability":[64],"industrial":[69],"test":[70],"cases.":[71]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}