Author:
Macchiarulo L.,Benini L.,Macii E.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Approximate Hardware Generation Using Formal Techniques;Approximate Circuits;2018-12-06
2. Error Bounded Exact BDD Minimization in Approximate Computing;2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL);2017-05
3. Determining the Number of Paths in Decision Diagrams by Using Autocorrelation Coefficients;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2011-01
4. WeightedA∗search – unifying view and application;Artificial Intelligence;2009-09
5. FSM Encoding for BDD Representations;International Journal of Applied Mathematics and Computer Science;2007-03-01