Author:
Pan Zhong-Liang,Chen Ling,Zhang Guang-Zhao
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computer Science Applications,Modelling and Simulation,Control and Systems Engineering
Reference24 articles.
1. K. Osnat. Reduction of average path length in binary decision diagrams by spectral methods. IEEE Transactions on Computers, vol. 57, no. 4, pp. 520–531, 2008.
2. D. Sawitzki. Lower bounds on the OBDD size of two fundamental functions’ graphs. Information Processing Letters, vol. 101, no. 2, pp. 66–71, 2007.
3. M. Matsuura, T. Sasao. BDD representation for incompletely specified multiple-output logic functions and its applications to the design of LUT cascades. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. 90, no. 12, pp. 2762–2769, 2007.
4. R. S. Shelar, S. S. Sapatnekar. BDD decomposition for delay oriented pass transistor logic synthesis. IEEE Transactions on Very Large Scale Integration Systems, vol. 13, no. 8, pp. 957–970, 2005.
5. M. B. Song, H. Chang. A variable reordering method for fast optimization of binary decision diagrams. In Proceedings of the 6th Asian Test Symposium, Akita, Japan, pp. 228–233, 1997.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献