Subject
Electrical and Electronic Engineering,Hardware and Architecture,Software
Reference63 articles.
1. Symbolic Boolean manipulation with ordered binary decision diagrams;Bryant;ACM Comput. Surveys,1992
2. R.E. Bryant, Binary decision diagrams and beyond: Enabeling techniques for formal verification, Proc. Int. Conf. on CAD, 1995, pp. 236–243.
3. B. Becker, R. Drechsler, Decision diagrams in synthesis – algorithms, applications and extensions, Proc. VLSI Design Conf., 1997, pp.46–50.
4. R. Drechsler, B. Becker, Overview of decision diagrams, IEE Proc. 144 (1997) 187–193.
5. Graph-based algorithms for Boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献