{"id":"https://openalex.org/W4411292512","doi":"https://doi.org/10.1145/3744710","title":"FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits","display_name":"FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits","publication_year":2025,"publication_date":"2025-06-13","ids":{"openalex":"https://openalex.org/W4411292512","doi":"https://doi.org/10.1145/3744710"},"language":"en","primary_location":{"id":"doi:10.1145/3744710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3744710","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3744710","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5087915119","display_name":"Sallar Ahmadi-Pour","orcid":"https://orcid.org/0000-0003-4000-6207"},"institutions":[{"id":"https://openalex.org/I166433441","display_name":"Hochschule Bremen","ror":"https://ror.org/04f7jc139","country_code":"DE","type":"education","lineage":["https://openalex.org/I166433441"]},{"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":"Sallar Ahmadi-Pour","raw_affiliation_strings":["Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science","Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science","institution_ids":["https://openalex.org/I180437899","https://openalex.org/I166433441"]},{"raw_affiliation_string":"Group of Computer Architecture, University of Bremen Faculty 3 Mathematics and Computer Science, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003139759","display_name":"Sajjad Parvin","orcid":"https://orcid.org/0000-0002-3069-8791"},"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":"Sajjad Parvin","raw_affiliation_strings":["Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103023380","display_name":"Chandan Kumar Jha","orcid":"https://orcid.org/0000-0001-9490-4470"},"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":["Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, 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"]},{"id":"https://openalex.org/I207169309","display_name":"Cyber University","ror":"https://ror.org/038sdcw17","country_code":"JP","type":"education","lineage":["https://openalex.org/I207169309"]}],"countries":["DE","JP"],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","Cyber-Physical Systems, DFKI","Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany and Cyber-Physical Systems, DFKI, Bremen, Germany","Cyber-Physical Systems, DFKI, Bremen, Germany"],"affiliations":[{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI","institution_ids":["https://openalex.org/I207169309"]},{"raw_affiliation_string":"Computer Science, University of Bremen Faculty 03 Mathematics and Computer Science, Bremen, Germany and Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"Cyber-Physical Systems, DFKI, Bremen, Germany","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5087915119"],"corresponding_institution_ids":["https://openalex.org/I166433441","https://openalex.org/I180437899"],"apc_list":null,"apc_paid":null,"fwci":2.7893,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.90677784,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":100},"biblio":{"volume":"30","issue":"4","first_page":"1","last_page":"23"},"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":1.0,"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":1.0,"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/T10323","display_name":"Analog and Mixed-Signal Circuit Design","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2204","display_name":"Biomedical 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.9995999932289124,"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/computer-science","display_name":"Computer science","score":0.8777406215667725},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.7145830988883972},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5097367167472839},{"id":"https://openalex.org/keywords/saturation-arithmetic","display_name":"Saturation arithmetic","score":0.4814269244670868},{"id":"https://openalex.org/keywords/arbitrary-precision-arithmetic","display_name":"Arbitrary-precision arithmetic","score":0.47723105549812317},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3777421712875366},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3000641465187073},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1132475733757019},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.07876789569854736}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8777406215667725},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.7145830988883972},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5097367167472839},{"id":"https://openalex.org/C182775192","wikidata":"https://www.wikidata.org/wiki/Q913725","display_name":"Saturation arithmetic","level":3,"score":0.4814269244670868},{"id":"https://openalex.org/C83581934","wikidata":"https://www.wikidata.org/wiki/Q527381","display_name":"Arbitrary-precision arithmetic","level":2,"score":0.47723105549812317},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3777421712875366},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3000641465187073},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1132475733757019},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.07876789569854736},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3744710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3744710","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3744710","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3744710","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5745830136","display_name":null,"funder_award_id":"DR 287/35-2 - project number 406079023","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W2005865544","https://openalex.org/W2007339694","https://openalex.org/W2112796928","https://openalex.org/W2155461593","https://openalex.org/W2194775991","https://openalex.org/W2346205343","https://openalex.org/W2399535694","https://openalex.org/W2497368240","https://openalex.org/W2518870586","https://openalex.org/W2578985517","https://openalex.org/W2612139336","https://openalex.org/W2916991310","https://openalex.org/W2945623217","https://openalex.org/W2948850835","https://openalex.org/W2980172915","https://openalex.org/W2986165447","https://openalex.org/W2996685260","https://openalex.org/W2997591727","https://openalex.org/W3001123609","https://openalex.org/W3035965352","https://openalex.org/W3045870726","https://openalex.org/W3048414096","https://openalex.org/W3071517735","https://openalex.org/W3088812417","https://openalex.org/W3099878876","https://openalex.org/W3126552944","https://openalex.org/W3159499599","https://openalex.org/W4211125327","https://openalex.org/W4229450561","https://openalex.org/W4283315431","https://openalex.org/W4293173892","https://openalex.org/W4299832829","https://openalex.org/W4309764565","https://openalex.org/W4310732148","https://openalex.org/W4311412495","https://openalex.org/W4323644126","https://openalex.org/W4367663117","https://openalex.org/W4377971386","https://openalex.org/W6929189762"],"related_works":["https://openalex.org/W2073476805","https://openalex.org/W1656092346","https://openalex.org/W2037029451","https://openalex.org/W212023973","https://openalex.org/W1531645310","https://openalex.org/W4403363220","https://openalex.org/W2435153186","https://openalex.org/W2181927644","https://openalex.org/W2391934197","https://openalex.org/W4245068234"],"abstract_inverted_index":{"Approximate":[0,103],"circuits":[1,9],"have":[2,59],"become":[3],"ubiquitous":[4],"in":[5,13,87],"error-resilient":[6,25],"applications.":[7],"These":[8],"provide":[10],"large":[11],"reductions":[12],"area,":[14],"power,":[15],"and":[16,94,132,159],"delay":[17],"at":[18],"the":[19,33,42,53,71,108,124,145,150,164,185,200,208],"cost":[20],"of":[21,35,45,99,113,123,155],"erroneous":[22,36],"computations.":[23,37],"The":[24],"applications":[26,196],"produce":[27],"acceptable":[28],"output":[29],"quality,":[30],"even":[31],"after":[32],"introduction":[34],"However,":[38],"we":[39,90,175,190],"observed":[40],"that":[41,137],"error":[43],"resilience":[44],"an":[46],"application":[47],"varies":[48],"widely":[49,126],"with":[50],"respect":[51],"to":[52,77,82,135,182,197,206,215],"applied":[54],"inputs.":[55,165],"Since":[56,166],"prior":[57],"works":[58],"mostly":[60],"focused":[61],"on":[62,144,194],"using":[63],"samples":[64],"from":[65],"a":[66],"uniform":[67],"distribution":[68,115],"while":[69],"designing":[70],"approximate":[72,117,172],"circuits,":[73,161],"they":[74],"are":[75,141,168],"unable":[76],"exploit":[78],"input":[79,114,146],"aware":[80,116],"properties":[81],"design":[83,139],"optimal":[84,138],"circuits.":[85,119],"Hence,":[86],"this":[88,92],"work,":[89],"bridge":[91],"gap":[93],"propose":[95],"Formally":[96],"Verified":[97],"Library":[98],"Input":[100],"Data":[101],"Aware":[102],"Circuits":[104],"(FV-LIDAC).":[105],"FV-LIDAC":[106,148,177],"is":[107],"first":[109],"formally":[110],"verified":[111],"library":[112],"arithmetic":[118],"We":[120,204],"use":[121],"three":[122],"most":[125],"occurring":[127],"distributions,":[128,134],"namely":[129],"uniform,":[130],"normal,":[131],"exponential":[133],"show":[136],"sets":[140],"heavily":[142],"dependent":[143],"data.":[147],"chooses":[149],"best":[151],"designs":[152,210],"among":[153],"millions":[154],"functional":[156],"approximated":[157],"adder":[158],"multiplier":[160],"depending":[162],"upon":[163],"there":[167],"no":[169],"existing":[170],"input-aware":[171],"circuit":[173],"libraries,":[174],"compared":[176],"against":[178],"state-of-the-art":[179],"input-unaware":[180],"EvoApproxLib,":[181],"further":[183,198,217],"highlight":[184,199],"need":[186],"for":[187],"FV-LIDAC.":[188],"Additionally,":[189],"perform":[191],"case":[192],"studies":[193],"real-world":[195],"improvement":[201],"over":[202],"state-of-the-art.":[203],"aim":[205],"make":[207],"Pareto-optimal":[209],"available":[211],"as":[212],"open":[213],"source":[214],"stimulate":[216],"research.":[218]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}