Author:
Wille Robert,Keszocze Oliver,Othmer Lars,Thomsen Michael Kirkedal,Drechsler Rolf
Publisher
Springer International Publishing
Reference5 articles.
1. Wille, R., Schönborn, E., Soeken, M., Drechsler, R.: SyReC: a hardware description language for the specification and synthesis of reversible circuits. Integr. VLSI J. 53, 39–53 (2016)
2. Yokoyama, T., Axelsen, H.B., Glück, R.: Principles of a reversible programming language. In: Proceedings of 5th Conference on Computing Frontiers (CF 2008), pp. 43–54. ACM (2008)
3. Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–580 (1969)
4. Biere, A., Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. IOS Press, Amsterdam (2009)
5. Wille, R., Lye, A., Niemann, P.: Checking reversibility of Boolean functions. In: Conference on Reversible Computation (2016)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extensions to the Reversible Hardware Description Language SyReC;2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL);2017-05