{"id":"https://openalex.org/W4407008789","doi":"https://doi.org/10.1109/tcsi.2025.3531008","title":"Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth","display_name":"Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth","publication_year":2025,"publication_date":"2025-01-30","ids":{"openalex":"https://openalex.org/W4407008789","doi":"https://doi.org/10.1109/tcsi.2025.3531008"},"language":"en","primary_location":{"id":"doi:10.1109/tcsi.2025.3531008","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsi.2025.3531008","pdf_url":null,"source":{"id":"https://openalex.org/S116977442","display_name":"IEEE Transactions on Circuits and Systems I Regular Papers","issn_l":"1549-8328","issn":["1549-8328","1558-0806"],"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 Circuits and Systems I: Regular Papers","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/A5047269650","display_name":"Mohamed Nadeem","orcid":"https://orcid.org/0000-0002-0835-1070"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Mohamed Nadeem","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022866615","display_name":"Chandan Kumar Jha","orcid":"https://orcid.org/0000-0002-7237-5878"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Chandan Kumar Jha","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047269650"],"corresponding_institution_ids":["https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":0.7613,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.69006694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"72","issue":"3","first_page":"1411","last_page":"1424"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9943000078201294,"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"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9943000078201294,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9902999997138977,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9783999919891357,"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/constant","display_name":"Constant (computer programming)","score":0.6953194737434387},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5225467085838318},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5081675052642822},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4580880403518677},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4046427607536316},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.32989582419395447},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.23675000667572021},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.2060200572013855},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13207247853279114},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.12175771594047546},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1139201819896698}],"concepts":[{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.6953194737434387},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5225467085838318},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5081675052642822},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4580880403518677},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4046427607536316},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.32989582419395447},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.23675000667572021},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.2060200572013855},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13207247853279114},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.12175771594047546},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1139201819896698}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcsi.2025.3531008","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcsi.2025.3531008","pdf_url":null,"source":{"id":"https://openalex.org/S116977442","display_name":"IEEE Transactions on Circuits and Systems I Regular Papers","issn_l":"1549-8328","issn":["1549-8328","1558-0806"],"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 Circuits and Systems I: Regular Papers","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":52,"referenced_works":["https://openalex.org/W34381828","https://openalex.org/W67485690","https://openalex.org/W1484403583","https://openalex.org/W1526260260","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1928527161","https://openalex.org/W1990562741","https://openalex.org/W2005865544","https://openalex.org/W2011992362","https://openalex.org/W2018735115","https://openalex.org/W2036265926","https://openalex.org/W2046103068","https://openalex.org/W2071784417","https://openalex.org/W2076698873","https://openalex.org/W2091138122","https://openalex.org/W2097333141","https://openalex.org/W2100465945","https://openalex.org/W2105972436","https://openalex.org/W2133527541","https://openalex.org/W2152131859","https://openalex.org/W2169245181","https://openalex.org/W2180068027","https://openalex.org/W2180619841","https://openalex.org/W2342501093","https://openalex.org/W2611415697","https://openalex.org/W2743331047","https://openalex.org/W2746211228","https://openalex.org/W2793362006","https://openalex.org/W2967521541","https://openalex.org/W2986165447","https://openalex.org/W3009178428","https://openalex.org/W3022068489","https://openalex.org/W3048414096","https://openalex.org/W3088812417","https://openalex.org/W3162314170","https://openalex.org/W3164392864","https://openalex.org/W3175579679","https://openalex.org/W3212814011","https://openalex.org/W4205522466","https://openalex.org/W4231842458","https://openalex.org/W4312098738","https://openalex.org/W4319459136","https://openalex.org/W4367663117","https://openalex.org/W4386557894","https://openalex.org/W4390693432","https://openalex.org/W4391236152","https://openalex.org/W4395017379","https://openalex.org/W4400034262","https://openalex.org/W4401752906","https://openalex.org/W6637298476","https://openalex.org/W6704599368"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2962838298","https://openalex.org/W2600246793"],"abstract_inverted_index":{"Ensuring":[0],"functional":[1,53],"correctness":[2,54],"is":[3],"achieved":[4,159],"through":[5],"formal":[6],"verification.":[7],"As":[8],"circuit":[9],"complexity":[10],"increases,":[11],"limiting":[12],"the":[13,52,92,120,148,179],"upper":[14],"bounds":[15],"for":[16,21],"time":[17,112],"and":[18],"space":[19],"required":[20],"verification":[22,83,149],"becomes":[23,58],"crucial.":[24],"Polynomial":[25],"Formal":[26],"Verification":[27],"(PFV)":[28],"has":[29,64,98],"been":[30,65,99],"introduced":[31],"to":[32,84,119,177],"tackle":[33],"this":[34,128],"problem.":[35],"In":[36,60,127],"modern":[37],"digital":[38],"system":[39],"designs,":[40],"approximate":[41,68,137,152,168],"circuits":[42,57,69,103,138,153,169],"are":[43],"widely":[44],"employed":[45],"in":[46,76,110,160],"error":[47],"resilient":[48],"applications.":[49],"Therefore,":[50],"ensuring":[51],"of":[55,94,124,135,150,181],"these":[56],"essential.":[59],"prior":[61],"works,":[62],"it":[63],"proven":[66],"that":[67,101,147],"with":[70,104,139,154,170],"constant":[71,105,140,155,171],"cutwidth":[72,106,141,156,172],"can":[73,107,157],"be":[74,108,158],"verified":[75,109],"linear":[77,111,161],"time.":[78,162],"However,":[79],"extending":[80],"binary":[81],"logic":[82,175],"Multi-Valued":[85],"Logic":[86],"(MVL)":[87],"introduces":[88],"challenges,":[89],"particularly":[90],"regarding":[91],"encoding":[93,122],"MVL":[95,102,125,136,151,167],"operators.":[96,126],"It":[97],"shown":[100],"using":[113,142],"Answer":[114],"Set":[115],"Programming":[116],"(ASP),":[117],"due":[118],"ASP":[121],"capabilities":[123],"paper,":[129],"we":[130,164],"present":[131],"a":[132],"PFV":[133],"approach":[134],"ASP.":[143],"We":[144],"then":[145],"demonstrate":[146],"Finally,":[163],"evaluate":[165],"various":[166],"across":[173],"different":[174],"levels":[176],"show":[178],"efficacy":[180],"our":[182],"approach.":[183]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}