Fast discrete function evaluation using decision diagrams
暂无分享,去创建一个
Alexander Saldanha | Alberto L. Sangiovanni-Vincentelli | Kenneth L. McMillan | Patrick C. McGeer | Patrick Scaglia
[1] Robert K. Brayton,et al. Algorithms for discrete function manipulation , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
[2] Eduard Cerny,et al. Simulation of MOS Circuits by Decision Diagrams , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.