{"id":"https://openalex.org/W1999796373","doi":"https://doi.org/10.1109/dft.2014.6962068","title":"Automated formal approach for debugging dividers using dynamic specification","display_name":"Automated formal approach for debugging dividers using dynamic specification","publication_year":2014,"publication_date":"2014-10-01","ids":{"openalex":"https://openalex.org/W1999796373","doi":"https://doi.org/10.1109/dft.2014.6962068","mag":"1999796373"},"language":"en","primary_location":{"id":"doi:10.1109/dft.2014.6962068","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dft.2014.6962068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","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/A5014977873","display_name":"Mohammad-Hashem Haghbayan","orcid":"https://orcid.org/0000-0001-6583-4418"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]},{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]}],"countries":["FI","PK"],"is_corresponding":true,"raw_author_name":"Mohammad-Hashem Haghbayan","raw_affiliation_strings":["Department of Information Technology, University of Turku, Turku, Finland","Department of Information Technology , University of Turku, Turku , Finland"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, University of Turku, Turku, Finland","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Information Technology , University of Turku, Turku , Finland","institution_ids":["https://openalex.org/I1323252656"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069623023","display_name":"Bijan Alizadeh","orcid":"https://orcid.org/0000-0003-4436-4597"},"institutions":[{"id":"https://openalex.org/I23946033","display_name":"University of Tehran","ror":"https://ror.org/05vf56z40","country_code":"IR","type":"education","lineage":["https://openalex.org/I23946033"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Bijan Alizadeh","raw_affiliation_strings":["College of Engineering, University of Tehran, Tehran, Iran","School of Electrical and Computer Engineering, College of Engineering University of Tehran, Tehran, Iran"],"affiliations":[{"raw_affiliation_string":"College of Engineering, University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]},{"raw_affiliation_string":"School of Electrical and Computer Engineering, College of Engineering University of Tehran, Tehran, Iran","institution_ids":["https://openalex.org/I23946033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103573773","display_name":"Amir-Mohammad Rahmani","orcid":null},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI","PK"],"is_corresponding":false,"raw_author_name":"Amir-Mohammad Rahmani","raw_affiliation_strings":["Department of Information Technology, University of Turku, Turku, Finland","Department of Information Technology , University of Turku, Turku , Finland"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, University of Turku, Turku, Finland","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Information Technology , University of Turku, Turku , Finland","institution_ids":["https://openalex.org/I1323252656"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019546150","display_name":"Pasi Liljeberg","orcid":"https://orcid.org/0000-0002-9392-3589"},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI","PK"],"is_corresponding":false,"raw_author_name":"Pasi Liljeberg","raw_affiliation_strings":["Department of Information Technology, University of Turku, Turku, Finland","Department of Information Technology , University of Turku, Turku , Finland"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, University of Turku, Turku, Finland","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Information Technology , University of Turku, Turku , Finland","institution_ids":["https://openalex.org/I1323252656"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003371230","display_name":"Hannu Tenhunen","orcid":"https://orcid.org/0000-0003-1959-6513"},"institutions":[{"id":"https://openalex.org/I1323252656","display_name":"Information Technology University","ror":"https://ror.org/00ngv8j44","country_code":"PK","type":"education","lineage":["https://openalex.org/I1323252656"]},{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI","PK"],"is_corresponding":false,"raw_author_name":"Hannu Tenhunen","raw_affiliation_strings":["Department of Information Technology, University of Turku, Turku, Finland","Department of Information Technology , University of Turku, Turku , Finland"],"affiliations":[{"raw_affiliation_string":"Department of Information Technology, University of Turku, Turku, Finland","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Information Technology , University of Turku, Turku , Finland","institution_ids":["https://openalex.org/I1323252656"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5014977873"],"corresponding_institution_ids":["https://openalex.org/I1323252656","https://openalex.org/I155660961"],"apc_list":null,"apc_paid":null,"fwci":0.613,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.67544793,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"264","last_page":"269"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9991000294685364,"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/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.813178300857544},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8096726536750793},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7746340036392212},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.6540547609329224},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6151535511016846},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6050319671630859},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5981932282447815},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.588957667350769},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5700763463973999},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5334200263023376},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4585980176925659},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.41846227645874023},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40678924322128296},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3735697865486145},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3679059147834778},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.22443604469299316},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11014047265052795}],"concepts":[{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.813178300857544},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8096726536750793},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7746340036392212},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.6540547609329224},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6151535511016846},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6050319671630859},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5981932282447815},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.588957667350769},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5700763463973999},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5334200263023376},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4585980176925659},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.41846227645874023},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40678924322128296},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3735697865486145},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3679059147834778},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.22443604469299316},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11014047265052795},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"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":1,"locations":[{"id":"doi:10.1109/dft.2014.6962068","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dft.2014.6962068","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W1513012091","https://openalex.org/W1536702298","https://openalex.org/W1540389367","https://openalex.org/W1974638845","https://openalex.org/W2009237570","https://openalex.org/W2060407451","https://openalex.org/W2094831575","https://openalex.org/W2098595405","https://openalex.org/W2099571283","https://openalex.org/W2108304500","https://openalex.org/W2108776769","https://openalex.org/W2126333945","https://openalex.org/W2141808364","https://openalex.org/W2159220860","https://openalex.org/W2171746836","https://openalex.org/W3150879451","https://openalex.org/W3151473321","https://openalex.org/W4229971477","https://openalex.org/W6674407892","https://openalex.org/W6674995942"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W2037121848","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1547517160","https://openalex.org/W1495250406","https://openalex.org/W17088386"],"abstract_inverted_index":{"This":[0,41],"paper":[1],"presents":[2],"a":[3,18,22],"formal":[4],"approach":[5,104],"to":[6,66,124],"verify":[7],"and":[8,31,88],"debug":[9],"division":[10],"circuits.":[11],"The":[12,50,118],"proposed":[13,103],"technique":[14],"is":[15,29,39,56,62],"based":[16],"on":[17],"reverse-engineering":[19],"mechanism":[20],"where":[21],"high-level":[23],"model":[24],"of":[25,36,53,101,113,127,129],"the":[26,37,57,60,67,71,74,94,99,102,114,137],"gate-level":[27],"implementation":[28],"obtained":[30,69,134],"then":[32,89],"an":[33],"intermediate":[34],"representation":[35,55],"specification":[38,61],"introduced.":[40],"process":[42],"makes":[43],"equivalence":[44],"checking":[45],"between":[46],"two":[47,77,125],"models":[48,79],"possible.":[49],"main":[51],"advantage":[52],"this":[54],"fact":[58],"that":[59,122],"dynamically":[63],"changed":[64],"according":[65],"information":[68],"from":[70],"implementation.":[72],"At":[73],"end,":[75],"if":[76],"updated":[78],"are":[80],"not":[81],"equivalent,":[82],"possible":[83],"bugs":[84],"can":[85,132],"be":[86,133],"localized":[87],"corrected":[90],"automatically":[91],"by":[92],"analyzing":[93],"difference.":[95],"Experimental":[96],"results":[97,119],"show":[98],"robustness":[100],"in":[105,111],"comparison":[106],"with":[107,136],"other":[108],"contemporary":[109],"methods":[110],"terms":[112],"run":[115],"time":[116],"execution.":[117],"also":[120],"reveal":[121],"up":[123],"orders":[126],"magnitude":[128],"average":[130],"speedup":[131],"compared":[135],"state-of-the-art.":[138]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}