{"title":"多值决策图的谱变换","authors":"D. M. Miller","doi":"10.1109/ISMVL.1994.302209","DOIUrl":null,"url":null,"abstract":"This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<<ETX>>","PeriodicalId":137138,"journal":{"name":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":"{\"title\":\"Spectral transformation of multiple-valued decision diagrams\",\"authors\":\"D. M. Miller\",\"doi\":\"10.1109/ISMVL.1994.302209\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<<ETX>>\",\"PeriodicalId\":137138,\"journal\":{\"name\":\"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"25\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.1994.302209\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 24th International Symposium on Multiple-Valued Logic (ISMVL'94)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.1994.302209","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Spectral transformation of multiple-valued decision diagrams
This paper describes an algorithm which performs a spectral transformation of a multiple-valued function directly from a decision diagram representation. The spectrum is in turn represented as a decision diagram. The advantage of adding cycle operations to a spectral decision diagram is shown. The complexity of the representation of the spectrum is not fixed as in the matrix case and is shown to be quite compact for many 'practical' functions. Likewise, the execution time of the algorithm is not fixed as it depends on the complexity of the decision diagram representations of the function and the spectrum. This transformation algorithm opens the possibility of broader application of spectral logic design techniques particularly to functions with more variables than could be considered using earlier matrix transformation techniques. The algorithm is applicable to binary functions and to systems of functions. It is readily extended to other transformations with a recursive matrix definition.<>