{"id":"https://openalex.org/W2980174590","doi":"https://doi.org/10.1109/tcad.2019.2946254","title":"Parallel Combinational Equivalence Checking","display_name":"Parallel Combinational Equivalence Checking","publication_year":2019,"publication_date":"2019-10-08","ids":{"openalex":"https://openalex.org/W2980174590","doi":"https://doi.org/10.1109/tcad.2019.2946254","mag":"2980174590"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2019.2946254","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2946254","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/A5031641596","display_name":"Vinicius N. Possani","orcid":"https://orcid.org/0000-0003-4334-1174"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Vinicius N. Possani","raw_affiliation_strings":["Institute of Informatics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"],"raw_orcid":"https://orcid.org/0000-0003-4334-1174","affiliations":[{"raw_affiliation_string":"Institute of Informatics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110450560","display_name":"Alan Mishchenko","orcid":"https://orcid.org/0009-0004-1303-6261"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan Mishchenko","raw_affiliation_strings":["Department of EECS, University of California at Berkeley, Berkeley, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of EECS, University of California at Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090563366","display_name":"Renato P. Ribas","orcid":"https://orcid.org/0000-0002-9895-7489"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Renato P. Ribas","raw_affiliation_strings":["Institute of Informatics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"],"raw_orcid":"https://orcid.org/0000-0002-9895-7489","affiliations":[{"raw_affiliation_string":"Institute of Informatics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065397615","display_name":"Andr\u00e9 I. Reis","orcid":"https://orcid.org/0000-0002-3118-8160"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Andre I. Reis","raw_affiliation_strings":["Institute of Informatics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Informatics, Universidade Federal do Rio Grande do Sul, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8883,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.77152949,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"39","issue":"10","first_page":"3081","last_page":"3092"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9983999729156494,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.688168466091156},{"id":"https://openalex.org/keywords/combinational-logic","display_name":"Combinational logic","score":0.5140934586524963},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.5118893384933472},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4799114167690277},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.47227391600608826},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.36569535732269287},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.33318471908569336},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32336029410362244},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.26629263162612915},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.22100520133972168},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.057445675134658813}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.688168466091156},{"id":"https://openalex.org/C81409106","wikidata":"https://www.wikidata.org/wiki/Q76505","display_name":"Combinational logic","level":3,"score":0.5140934586524963},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.5118893384933472},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4799114167690277},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.47227391600608826},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.36569535732269287},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.33318471908569336},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32336029410362244},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.26629263162612915},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.22100520133972168},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.057445675134658813}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2019.2946254","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2019.2946254","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":[{"id":"https://metadata.un.org/sdg/9","score":0.5600000023841858,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G5758087479","display_name":null,"funder_award_id":"2867.001","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"},{"id":"https://openalex.org/G6592571891","display_name":null,"funder_award_id":"2710.001","funder_id":"https://openalex.org/F4320306087","funder_display_name":"Semiconductor Research Corporation"}],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320321091","display_name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior","ror":"https://ror.org/00x0ma614"},{"id":"https://openalex.org/F4320322025","display_name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","ror":"https://ror.org/03swz6y49"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W35668030","https://openalex.org/W128869332","https://openalex.org/W140733995","https://openalex.org/W866331153","https://openalex.org/W1496529478","https://openalex.org/W1498432697","https://openalex.org/W1518705996","https://openalex.org/W1525668847","https://openalex.org/W1549820563","https://openalex.org/W1566041312","https://openalex.org/W1572774147","https://openalex.org/W1612810659","https://openalex.org/W1796633467","https://openalex.org/W1830871583","https://openalex.org/W1844774176","https://openalex.org/W1845402743","https://openalex.org/W1915264974","https://openalex.org/W1986432463","https://openalex.org/W1993932586","https://openalex.org/W2000519336","https://openalex.org/W2001859357","https://openalex.org/W2005126221","https://openalex.org/W2006771140","https://openalex.org/W2007701500","https://openalex.org/W2039458711","https://openalex.org/W2040632328","https://openalex.org/W2046239089","https://openalex.org/W2053446892","https://openalex.org/W2060407451","https://openalex.org/W2079547519","https://openalex.org/W2080267935","https://openalex.org/W2095698047","https://openalex.org/W2098667711","https://openalex.org/W2103406309","https://openalex.org/W2106950603","https://openalex.org/W2129369779","https://openalex.org/W2133079286","https://openalex.org/W2133527541","https://openalex.org/W2137035823","https://openalex.org/W2140132043","https://openalex.org/W2147348835","https://openalex.org/W2163027960","https://openalex.org/W2169553754","https://openalex.org/W2242458479","https://openalex.org/W2282171944","https://openalex.org/W2795519982","https://openalex.org/W2803222079","https://openalex.org/W3021244188","https://openalex.org/W3146952922","https://openalex.org/W3150268867","https://openalex.org/W3151473321","https://openalex.org/W3164587034","https://openalex.org/W4237323279","https://openalex.org/W4243399171","https://openalex.org/W4243933347","https://openalex.org/W4294065234","https://openalex.org/W6601412428","https://openalex.org/W6632923231","https://openalex.org/W6636505876","https://openalex.org/W6638592769","https://openalex.org/W6663783953","https://openalex.org/W6665802101","https://openalex.org/W6679299262","https://openalex.org/W6795674318"],"related_works":["https://openalex.org/W2363848182","https://openalex.org/W2117120663","https://openalex.org/W1532304424","https://openalex.org/W2122228234","https://openalex.org/W2366877601","https://openalex.org/W2116137315","https://openalex.org/W1915669309","https://openalex.org/W2121954536","https://openalex.org/W159155636","https://openalex.org/W1274803"],"abstract_inverted_index":{"Combinational":[0],"equivalence":[1,99],"checking":[2,98],"(CEC)":[3],"has":[4],"been":[5],"widely":[6],"applied":[7],"to":[8,61,68,93],"ensure":[9],"design":[10,49,120],"correctness":[11],"after":[12],"logic":[13],"synthesis":[14],"and":[15,50],"technology-dependent":[16],"optimization":[17],"in":[18,43],"digital":[19],"integrated":[20],"circuit":[21],"design.":[22],"CEC":[23,44,75],"runtime":[24,88],"is":[25,86],"often":[26],"critical":[27],"for":[28,40,84,116],"large":[29],"designs,":[30],"even":[31],"when":[32,63,97],"advanced":[33],"techniques":[34],"are":[35,45],"employed.":[36],"Three":[37],"complementary":[38],"ways":[39],"enabling":[41],"parallelism":[42],"proposed,":[46],"addressing":[47],"different":[48],"verification":[51],"scenarios.":[52],"The":[53],"experimental":[54],"results":[55],"have":[56],"demonstrated":[57],"the":[58,65,87,110],"speedups":[59],"up":[60],"63x":[62],"comparing":[64],"proposed":[66,111],"approach":[67],"a":[69,73,82],"single-threaded":[70],"implementation":[71],"of":[72,80,100],"similar":[74],"engine.":[76],"A":[77],"practical":[78],"impact":[79],"such":[81],"speedup,":[83],"instance,":[85],"reduction":[89],"from":[90],"19":[91],"h":[92],"only":[94],"18":[95],"min":[96],"AND-inverter":[101],"graphs":[102],"comprising":[103],"more":[104],"than":[105],"20":[106],"million":[107],"nodes.":[108],"Therefore,":[109],"solution":[112],"presents":[113],"great":[114],"potential":[115],"improving":[117],"current":[118],"electronic":[119],"automation":[121],"environments.":[122]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3}],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2025-10-10T00:00:00"}