{"id":"https://openalex.org/W2793599397","doi":"https://doi.org/10.1109/tcad.2018.2818726","title":"Boolean Gr\u00f6bner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra","display_name":"Boolean Gr\u00f6bner Basis Reductions on Finite Field Datapath Circuits Using the Unate Cube Set Algebra","publication_year":2018,"publication_date":"2018-03-23","ids":{"openalex":"https://openalex.org/W2793599397","doi":"https://doi.org/10.1109/tcad.2018.2818726","mag":"2793599397"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2018.2818726","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2018.2818726","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/A5008412147","display_name":"Utkarsh Gupta","orcid":"https://orcid.org/0000-0002-6115-7461"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Utkarsh Gupta","raw_affiliation_strings":["Electrical and Computer Engineering Department, University of Utah, Salt Lake City, UT, USA"],"raw_orcid":"https://orcid.org/0000-0002-6115-7461","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048751210","display_name":"Priyank Kalla","orcid":"https://orcid.org/0000-0001-7412-5138"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Priyank Kalla","raw_affiliation_strings":["Electrical and Computer Engineering Department, University of Utah, Salt Lake City, UT, USA"],"raw_orcid":"https://orcid.org/0000-0001-7412-5138","affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016032667","display_name":"Vikas Rao","orcid":null},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vikas Rao","raw_affiliation_strings":["Electrical and Computer Engineering Department, University of Utah, Salt Lake City, UT, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, University of Utah, Salt Lake City, UT, USA","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I223532165"],"apc_list":null,"apc_paid":null,"fwci":1.0721,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.79007204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"38","issue":"3","first_page":"576","last_page":"588"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9991999864578247,"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9991999864578247,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9955999851226807,"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/datapath","display_name":"Datapath","score":0.8700484037399292},{"id":"https://openalex.org/keywords/cube","display_name":"Cube (algebra)","score":0.6916725039482117},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5776819586753845},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5209482908248901},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5110727548599243},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5080177783966064},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34434592723846436},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.32096511125564575},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.22574517130851746},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.17557299137115479},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.15809056162834167},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.059179455041885376}],"concepts":[{"id":"https://openalex.org/C2781198647","wikidata":"https://www.wikidata.org/wiki/Q1633673","display_name":"Datapath","level":2,"score":0.8700484037399292},{"id":"https://openalex.org/C53051483","wikidata":"https://www.wikidata.org/wiki/Q861555","display_name":"Cube (algebra)","level":2,"score":0.6916725039482117},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5776819586753845},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5209482908248901},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5110727548599243},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5080177783966064},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34434592723846436},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.32096511125564575},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.22574517130851746},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.17557299137115479},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.15809056162834167},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.059179455041885376},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2018.2818726","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2018.2818726","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":[{"id":"https://openalex.org/G1557978720","display_name":null,"funder_award_id":"CCF-1619370","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"},{"id":"https://openalex.org/G7401439829","display_name":null,"funder_award_id":"CCF-1320335","funder_id":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations"}],"funders":[{"id":"https://openalex.org/F4320337387","display_name":"Division of Computing and Communication Foundations","ror":"https://ror.org/01mng8331"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1483234894","https://openalex.org/W1535542288","https://openalex.org/W1558771847","https://openalex.org/W1561016548","https://openalex.org/W1634503271","https://openalex.org/W1844774176","https://openalex.org/W1975335740","https://openalex.org/W1995503477","https://openalex.org/W2000519336","https://openalex.org/W2005126221","https://openalex.org/W2049990610","https://openalex.org/W2060407451","https://openalex.org/W2071596701","https://openalex.org/W2075743607","https://openalex.org/W2079983062","https://openalex.org/W2080267935","https://openalex.org/W2103774873","https://openalex.org/W2104976591","https://openalex.org/W2132489129","https://openalex.org/W2162915244","https://openalex.org/W2163641603","https://openalex.org/W2175098281","https://openalex.org/W2282171944","https://openalex.org/W2344855325","https://openalex.org/W2553206079","https://openalex.org/W2603868029","https://openalex.org/W2767589661","https://openalex.org/W2963976091","https://openalex.org/W3151473321","https://openalex.org/W4234211459","https://openalex.org/W6665802101","https://openalex.org/W6729708263","https://openalex.org/W6731712072"],"related_works":["https://openalex.org/W2109699519","https://openalex.org/W2006568360","https://openalex.org/W970262775","https://openalex.org/W4233616027","https://openalex.org/W2059591361","https://openalex.org/W4244724753","https://openalex.org/W2535673728","https://openalex.org/W102726818","https://openalex.org/W1831618318","https://openalex.org/W2372890883"],"abstract_inverted_index":{"Recent":[0],"developments":[1],"in":[2,23,130,157],"formal":[3],"verification":[4],"of":[5,11,46,53,65,112,124,180,189],"arithmetic":[6,175],"datapaths":[7],"make":[8],"efficient":[9],"use":[10],"symbolic":[12,73],"computer":[13],"algebra":[14,74,80],"algorithms.":[15],"The":[16,127],"circuit":[17],"is":[18,187],"modeled":[19],"as":[20,75,88,136,192],"an":[21],"ideal":[22],"polynomial":[24],"rings,":[25],"and":[26,164,183],"Gr\u00f6bner":[27],"basis":[28],"(GB)":[29],"reductions":[30,67],"are":[31,99,133,142],"performed":[32,170],"over":[33,68,81,171],"these":[34],"polynomials":[35,87],"to":[36,145,194],"derive":[37],"a":[38,61,117],"canonical":[39],"representation.":[40],"As":[41],"they":[42],"model":[43],"logic":[44,62],"gates":[45],"the":[47,49,76,110,121,125,131,139,147,160,178],"circuit,":[48],"ideals":[50],"comprise":[51],"largely":[52],"Boolean":[54,69,86],"(or":[55],"pseudo-Boolean)":[56],"polynomials.":[57,126],"This":[58],"paper":[59],"considers":[60],"synthesis":[63],"analogue":[64],"GB":[66],"polynomials,":[70],"by":[71],"interpreting":[72],"unate":[77],"cube":[78],"set":[79],"characteristic":[82,89],"sets.":[83],"By":[84],"representing":[85],"sets":[90],"using":[91],"zero-suppressed":[92],"binary":[93],"decision":[94],"diagrams":[95],"(ZDDs),":[96],"implicit":[97],"algorithms":[98,151,182],"efficiently":[100],"designed":[101],"for":[102,104,162],"GB-reduction":[103,132],"datapath":[105],"circuits.":[106],"We":[107],"show":[108],"that":[109],"imposition":[111],"circuit-topology-based":[113],"monomial":[114],"orders":[115,188],"exposes":[116],"special":[118],"structure":[119],"on":[120,138],"ZDD":[122],"representation":[123],"subexpressions":[128],"employed":[129],"readily":[134],"visible":[135],"subgraphs":[137],"ZDDs,":[140],"which":[141],"directly":[143],"used":[144],"compose":[146],"result.":[148],"Our":[149],"division":[150],"effectively":[152],"cancel":[153],"multiple":[154],"monomials":[155],"implicitly":[156],"one-step,":[158],"simplify":[159],"search":[161],"divisors,":[163],"avoid":[165],"intermediate":[166],"size":[167],"explosion.":[168],"Experiments":[169],"various":[172],"finite":[173],"field":[174],"architectures":[176],"demonstrate":[177],"efficiency":[179],"our":[181,185],"implementations;":[184],"approach":[186],"magnitude":[190],"faster":[191],"compared":[193],"conventional":[195],"methods.":[196]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}