Author:
Cortadella Jordi,Kishinevsky Michael,Kondratyev Alex,Lavagno Luciano,Yakovlev Alex
Publisher
Springer Berlin Heidelberg
Reference39 articles.
1. Lect Notes Comput Sci;E. Badouel,1998
2. P. Beerel and T.H.-Y. Meng. Automatic gate-level synthesis of speed-independent circuits. In Proc. International Conf. Computer-Aided Design (ICCAD), pages 581–587. IEEE Computer Society Press, November 1992.
3. R. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys, 24(3):293–318, September 1992.
4. S. M. Burns. General condition for the decomposition of state holding elements. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, March 1996.
5. T.-A. Chu and L. A. Glasser. Synthesis of self-timed control circuits form graphs: An example. In Proc. International Conf. Computer Design (ICCD), pages 565–571. IEEE Computer Society Press, 1986.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献