Author:
Brzozowski J.A.,Negulescu R.
Subject
General Computer Science,Theoretical Computer Science
Reference18 articles.
1. On the existence of delay-insensitive fair arbiters: trace theory and its limitations;Black;Distributed Computing,1986
2. K.S. Brace, R.L. Rudell, R.E. Bryant, Efficient implementation of a BDD package, Proc. 27th ACM/IEEE Design Automation Conf., 1990, pp. 40–45.
3. R.E. Bryant, Graph based algorithms for Boolean function manipulation, IEEE Trans. Comput. C-35 (1986) 677–691.
4. Asynchronous Circuits;Brzozowski,1995
5. J.A. Brzozowski, H. Zhang, Delay-insensitivity and semi-modularity, in: Formal Methods in System Design, to appear. Also Research Report CS-97-11, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, 1997.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献