{"id":"https://openalex.org/W1973665222","doi":"https://doi.org/10.1109/iccd.2006.4380826","title":"Scalable Sequential Equivalence Checking across Arbitrary Design Transformations","display_name":"Scalable Sequential Equivalence Checking across Arbitrary Design Transformations","publication_year":2006,"publication_date":"2006-10-01","ids":{"openalex":"https://openalex.org/W1973665222","doi":"https://doi.org/10.1109/iccd.2006.4380826","mag":"1973665222"},"language":"en","primary_location":{"id":"doi:10.1109/iccd.2006.4380826","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2006.4380826","pdf_url":null,"source":{"id":"https://openalex.org/S4210174938","display_name":"Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design","issn_l":"1063-6404","issn":["1063-6404","2576-6996"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 International Conference on Computer 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/A5112156168","display_name":"Jason Baumgartner","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":true,"raw_author_name":"Jason Baumgartner","raw_affiliation_strings":["IBM Systems and Technology Group, USA","[IBM Systems & Technology Group]"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, USA","institution_ids":[]},{"raw_affiliation_string":"[IBM Systems & Technology Group]","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015308169","display_name":"Hari Mony","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":"Hari Mony","raw_affiliation_strings":["IBM Systems and Technology Group, USA","[IBM Systems & Technology Group]"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, USA","institution_ids":[]},{"raw_affiliation_string":"[IBM Systems & Technology Group]","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039572250","display_name":"Viresh Paruthi","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":"Viresh Paruthi","raw_affiliation_strings":["IBM Systems and Technology Group, USA","[IBM Systems & Technology Group]"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, USA","institution_ids":[]},{"raw_affiliation_string":"[IBM Systems & Technology Group]","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087328314","display_name":"Robert Kanzelman","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":"Robert Kanzelman","raw_affiliation_strings":["IBM Systems and Technology Group, USA","[IBM Systems & Technology Group]"],"affiliations":[{"raw_affiliation_string":"IBM Systems and Technology Group, USA","institution_ids":[]},{"raw_affiliation_string":"[IBM Systems & Technology Group]","institution_ids":["https://openalex.org/I1341412227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113173856","display_name":"Geert Janssen","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":"Geert Janssen","raw_affiliation_strings":["Research Division, IBM, USA","[IBM Research Division]"],"affiliations":[{"raw_affiliation_string":"Research Division, IBM, USA","institution_ids":["https://openalex.org/I1341412227"]},{"raw_affiliation_string":"[IBM Research Division]","institution_ids":["https://openalex.org/I1341412227"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5112156168"],"corresponding_institution_ids":["https://openalex.org/I1341412227"],"apc_list":null,"apc_paid":null,"fwci":11.8398,"has_fulltext":false,"cited_by_count":74,"citation_normalized_percentile":{"value":0.99450549,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"259","last_page":"266"},"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.9998999834060669,"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.9998999834060669,"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.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/initialization","display_name":"Initialization","score":0.7751767635345459},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7485690116882324},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.7391549348831177},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6542221307754517},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.6476634740829468},{"id":"https://openalex.org/keywords/ibm","display_name":"IBM","score":0.6052748560905457},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5701020359992981},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5217024683952332},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5145642161369324},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.4435112178325653},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4092920422554016},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.378352552652359},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.35037145018577576},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.34152930974960327},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14078569412231445},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10984015464782715},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08364677429199219}],"concepts":[{"id":"https://openalex.org/C114466953","wikidata":"https://www.wikidata.org/wiki/Q6034165","display_name":"Initialization","level":2,"score":0.7751767635345459},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7485690116882324},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.7391549348831177},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6542221307754517},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6476634740829468},{"id":"https://openalex.org/C70388272","wikidata":"https://www.wikidata.org/wiki/Q5968558","display_name":"IBM","level":2,"score":0.6052748560905457},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5701020359992981},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5217024683952332},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5145642161369324},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.4435112178325653},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4092920422554016},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.378352552652359},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.35037145018577576},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.34152930974960327},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14078569412231445},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10984015464782715},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08364677429199219},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C171250308","wikidata":"https://www.wikidata.org/wiki/Q11468","display_name":"Nanotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/iccd.2006.4380826","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccd.2006.4380826","pdf_url":null,"source":{"id":"https://openalex.org/S4210174938","display_name":"Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design","issn_l":"1063-6404","issn":["1063-6404","2576-6996"],"is_oa":false,"is_in_doaj":false,"is_core":false,"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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 International Conference on Computer Design","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.108.3732","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.3732","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://users.ece.utexas.edu/~mony/eqv_iccd06.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.259.251","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.259.251","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cecs.uci.edu/%7Epapers/iccd2006/papers/SpecialHWEquivI.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W159792378","https://openalex.org/W1501649906","https://openalex.org/W1505363124","https://openalex.org/W1523956936","https://openalex.org/W1549820563","https://openalex.org/W1585286906","https://openalex.org/W1604909254","https://openalex.org/W1662204117","https://openalex.org/W1761632011","https://openalex.org/W1772581832","https://openalex.org/W1783770095","https://openalex.org/W1840169109","https://openalex.org/W1915669309","https://openalex.org/W2012187127","https://openalex.org/W2072547867","https://openalex.org/W2090253438","https://openalex.org/W2100461928","https://openalex.org/W2100465945","https://openalex.org/W2101159578","https://openalex.org/W2111982322","https://openalex.org/W2115037476","https://openalex.org/W2123736383","https://openalex.org/W2127487847","https://openalex.org/W2140132043","https://openalex.org/W2150920965","https://openalex.org/W2158754249","https://openalex.org/W2161215542","https://openalex.org/W2162772242","https://openalex.org/W3143290261","https://openalex.org/W4230009915","https://openalex.org/W4250079686","https://openalex.org/W4252110851","https://openalex.org/W4285719527","https://openalex.org/W6606548680","https://openalex.org/W6629832884","https://openalex.org/W6632923231","https://openalex.org/W6636183273","https://openalex.org/W6637199954","https://openalex.org/W6637734763","https://openalex.org/W6637983220","https://openalex.org/W6638878095","https://openalex.org/W6675210143","https://openalex.org/W6675429961","https://openalex.org/W6676983624","https://openalex.org/W6678739121"],"related_works":["https://openalex.org/W1601811574","https://openalex.org/W1587224678","https://openalex.org/W2364921833","https://openalex.org/W1498982577","https://openalex.org/W2385146268","https://openalex.org/W3148913902","https://openalex.org/W2380023786","https://openalex.org/W2546696010","https://openalex.org/W1875969171","https://openalex.org/W3136744003"],"abstract_inverted_index":{"High-end":[0],"hardware":[1],"design":[2,62,139],"flows":[3],"mandate":[4],"a":[5,51,59,136],"variety":[6,60,137],"of":[7,42,61,80,94,110,124,138],"sequential":[8,25],"transformations":[9,63],"to":[10,76,84,129],"address":[11],"needs":[12],"such":[13],"as":[14],"performance,":[15],"power,":[16],"post-silicon":[17],"debug":[18],"and":[19],"test.":[20],"Industrial":[21],"demand":[22],"for":[23,50,106],"robust":[24,57],"equivalence":[26],"checking":[27],"(SEC)":[28],"solutions":[29],"is":[30,56],"thus":[31],"becoming":[32],"increasingly":[33],"prevalent.":[34],"In":[35],"this":[36],"paper,":[37],"we":[38,102,117],"discuss":[39],"the":[40,48,78,91,107,111,122],"role":[41],"SEC":[43,81,99,114,133],"within":[44,97],"IBM.":[45],"We":[46,88],"motivate":[47],"need":[49],"highly-automated":[52],"scalable":[53],"solution,":[54],"which":[55,101],"against":[58],"-":[64],"including":[65],"those":[66],"that":[67],"alter":[68],"initialization":[69],"sequences.":[70],"This":[71],"motivation":[72],"has":[73],"caused":[74],"us":[75],"embrace":[77],"paradigm":[79],"with":[82],"respect":[83],"designated":[85],"initial":[86],"states.":[87],"furthermore":[89],"describe":[90],"diverse":[92,126],"set":[93],"algorithms":[95],"comprised":[96],"our":[98,125],"framework,":[100],"have":[103],"found":[104],"necessary":[105],"automated":[108],"solution":[109],"most":[112],"complex":[113],"problems.":[115],"Finally,":[116],"provide":[118],"several":[119],"experiments":[120],"illustrating":[121],"necessity":[123],"algorithm":[127],"flow":[128],"efficiently":[130],"solve":[131],"difficult":[132],"problems":[134],"involving":[135],"transformations.":[140]},"counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":7},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}