{"id":"https://openalex.org/W2150588291","doi":"https://doi.org/10.1109/tcad.2010.2059271","title":"Modular Datapath Optimization and Verification Based on Modular-HED","display_name":"Modular Datapath Optimization and Verification Based on Modular-HED","publication_year":2010,"publication_date":"2010-08-24","ids":{"openalex":"https://openalex.org/W2150588291","doi":"https://doi.org/10.1109/tcad.2010.2059271","mag":"2150588291"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2010.2059271","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2010.2059271","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and 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/A5069623023","display_name":"Bijan Alizadeh","orcid":"https://orcid.org/0000-0003-4436-4597"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Bijan Alizadeh","raw_affiliation_strings":["VLSI Design and Education Center, University of Tokyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VLSI Design and Education Center, University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masahiro Fujita","raw_affiliation_strings":["VLSI Design and Education Center, University of Tokyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"VLSI Design and Education Center, University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":3.0445,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.91605341,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"29","issue":"9","first_page":"1422","last_page":"1435"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9961000084877014,"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/datapath","display_name":"Datapath","score":0.6258399486541748},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.575287938117981},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5717616677284241},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5214414000511169},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.4781566560268402},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.4730704724788666},{"id":"https://openalex.org/keywords/monomial","display_name":"Monomial","score":0.4278465211391449},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.40076884627342224},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.366293728351593},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34075188636779785},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32725411653518677},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.27528512477874756},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24578070640563965},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.1480499505996704}],"concepts":[{"id":"https://openalex.org/C2781198647","wikidata":"https://www.wikidata.org/wiki/Q1633673","display_name":"Datapath","level":2,"score":0.6258399486541748},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.575287938117981},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5717616677284241},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5214414000511169},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.4781566560268402},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.4730704724788666},{"id":"https://openalex.org/C11252640","wikidata":"https://www.wikidata.org/wiki/Q243723","display_name":"Monomial","level":2,"score":0.4278465211391449},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.40076884627342224},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.366293728351593},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34075188636779785},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32725411653518677},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.27528512477874756},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24578070640563965},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.1480499505996704},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2010.2059271","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2010.2059271","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"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 Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1686420892","https://openalex.org/W1989423571","https://openalex.org/W2038133488","https://openalex.org/W2066433655","https://openalex.org/W2075728160","https://openalex.org/W2076541715","https://openalex.org/W2080267935","https://openalex.org/W2087691147","https://openalex.org/W2099615139","https://openalex.org/W2108304500","https://openalex.org/W2108956554","https://openalex.org/W2119209999","https://openalex.org/W2125749871","https://openalex.org/W2130277629","https://openalex.org/W2141808364","https://openalex.org/W2149500691","https://openalex.org/W2156058638","https://openalex.org/W2159684237","https://openalex.org/W2161160837","https://openalex.org/W2185489876","https://openalex.org/W3141697670","https://openalex.org/W3147755507","https://openalex.org/W4285719527","https://openalex.org/W4386082490","https://openalex.org/W6637151178","https://openalex.org/W6669512458","https://openalex.org/W6675013552","https://openalex.org/W6676224935","https://openalex.org/W6684132301","https://openalex.org/W6686671670"],"related_works":["https://openalex.org/W2117120663","https://openalex.org/W1563413165","https://openalex.org/W1532304424","https://openalex.org/W2122228234","https://openalex.org/W2123413615","https://openalex.org/W2116137315","https://openalex.org/W2102313638","https://openalex.org/W2164883164","https://openalex.org/W2116493433","https://openalex.org/W1537651185"],"abstract_inverted_index":{"This":[0,32],"paper":[1,33],"proposes":[2],"an":[3,104,154,163],"automatic":[4],"design":[5,43],"flow":[6,44],"of":[7,20,93,107,114,167],"datapath-dominated":[8],"applications":[9],"which":[10,62],"is":[11],"able":[12],"to":[13,58,77],"deal":[14],"with":[15,149,162,172],"optimization":[16,75,136,145],"and":[17,52,71,86,109,116,178,184],"equivalence":[18,47],"checking":[19],"multi-output":[21],"polynomials":[22,61],"over":[23,125],"Z":[24,126],"<sub":[25,127],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[26,29,128,131],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">2</sub>":[27,129],"<sup":[28,130],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">n</sup>":[30,132],".":[31],"also":[34],"gives":[35],"four":[36],"main":[37],"contributions:":[38],"1)":[39],"proposing":[40],"a":[41],"complete":[42],"for":[45],"modular":[46,95,123],"checking,":[48],"high":[49],"level":[50],"synthesis,":[51],"optimization;":[53],"2)":[54],"considering":[55],"hidden":[56],"monomials":[57],"factorize":[59],"those":[60],"do":[63],"not":[64,139],"have":[65,102],"any":[66],"common":[67,80],"monomials;":[68],"3)":[69],"combining":[70],"improving":[72],"our":[73,144,173],"previous":[74,174],"heuristics":[76],"eliminate":[78],"multi-operand":[79],"sub-expressions":[81],"as":[82,84],"much":[83],"possible;":[85],"4)":[87],"implementing":[88],"all":[89],"algorithms":[90],"on":[91],"top":[92],"the":[94,112,150,158,170,176],"Horner":[96],"expansion":[97],"diagram":[98],"package.":[99],"Experimental":[100],"results":[101],"shown":[103],"average":[105,155,164],"saving":[106],"9.9%":[108],"4.5%":[110],"in":[111,157],"number":[113],"gates":[115],"critical":[117],"path":[118],"delay,":[119],"respectively,":[120],"after":[121,142],"applying":[122,143],"reduction":[124],",":[133],"while":[134],"other":[135],"techniques":[137,152],"are":[138,180],"used.":[140],"Besides,":[141],"techniques,":[146],"experimental":[147],"comparisons":[148],"state-of-the-art":[151],"show":[153],"improvement":[156],"area":[159,177],"by":[160,182],"19.5%":[161],"delay":[165,179],"decrease":[166],"16.7%.":[168],"Regarding":[169],"comparison":[171],"papers,":[175],"improved":[181],"13.3%":[183],"15.5%,":[185],"respectively.":[186]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}