Author:
Sabelfeld Viktor,Blumenröhr Christian,Kapp Kai
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. C. Blumenröhr and D. Eisenbiegler. Performing High-Level Synthesis via Program Transformations within a Theorem Prover, In: Digital System Design Workshop at the 24th EUROMICRO 98 Conference, 1998.
2. C. Blumenröhr and V. Sabelfeld. Formal Synthesis at the Algorithmic Level, In: Correct Hardware Design and Verification Methods, Charme’99, 1999.
3. C. Blumenröhr. Aformal approach to specify and synthesize at the system level, In: M. Mutz and N. Lange, eds., GI/ITG/GME Workshop Modellierung und Verifikation von Schaltungen und Systemen, Braunschweig, Germany, February 1999, pp. 11–20, Shaker-Verlag.
4. M.J.C. Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, Cambridge University Press, 1993.
5. Lect Notes Comput Sci;J. Iyoda,1999
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Numeric Types in Formal Synthesis;Lecture Notes in Computer Science;2004