{"title":"近似计算中的误差有界精确BDD最小化","authors":"Saman Fröhlich, Daniel Große, R. Drechsler","doi":"10.1109/ISMVL.2017.11","DOIUrl":null,"url":null,"abstract":"The Error Bounded Exact BDD Minimization (EBEBM) problem arises in approximate computing when one is trying to find a functional approximation with a minimal representation in terms of BDD size for a single output function with respect to a given error bound. In this paper we present an exact algorithm for EBEBM. This algorithm constructs a BDD representing all functions, which meet the restrictions induced by the given error bound. From this BDD we can derive an optimal solution. We compute the exact solutions for all functions with up to 4 variables and varying error bounds. Based on the results we demonstrate the benefit of our approachfor evaluating the quality of heuristic approximation algorithms.","PeriodicalId":393724,"journal":{"name":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2017-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Error Bounded Exact BDD Minimization in Approximate Computing\",\"authors\":\"Saman Fröhlich, Daniel Große, R. Drechsler\",\"doi\":\"10.1109/ISMVL.2017.11\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The Error Bounded Exact BDD Minimization (EBEBM) problem arises in approximate computing when one is trying to find a functional approximation with a minimal representation in terms of BDD size for a single output function with respect to a given error bound. In this paper we present an exact algorithm for EBEBM. This algorithm constructs a BDD representing all functions, which meet the restrictions induced by the given error bound. From this BDD we can derive an optimal solution. We compute the exact solutions for all functions with up to 4 variables and varying error bounds. Based on the results we demonstrate the benefit of our approachfor evaluating the quality of heuristic approximation algorithms.\",\"PeriodicalId\":393724,\"journal\":{\"name\":\"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2017.11\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2017.11","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Error Bounded Exact BDD Minimization in Approximate Computing
The Error Bounded Exact BDD Minimization (EBEBM) problem arises in approximate computing when one is trying to find a functional approximation with a minimal representation in terms of BDD size for a single output function with respect to a given error bound. In this paper we present an exact algorithm for EBEBM. This algorithm constructs a BDD representing all functions, which meet the restrictions induced by the given error bound. From this BDD we can derive an optimal solution. We compute the exact solutions for all functions with up to 4 variables and varying error bounds. Based on the results we demonstrate the benefit of our approachfor evaluating the quality of heuristic approximation algorithms.