( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automatic Verification of Scheduling Results in High-Level Synthesis.

, , и . DATE, стр. 59-64. IEEE Computer Society / ACM, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Hans Eveking

Hans Eveking

Hans Eveking

Hans Eveking

Wilhelm Eveking

 

Другие публикации лиц с тем же именем

On Consistency and Completeness of Property-Sets., , , и . FDL, стр. 241-248. ECSI, (2006)Methoden zur Verifikation von Kommunikationsstrukturen., , , , и . MBMV, стр. 223-232. Shaker, (2007)Multi-Level Assertion-Based Design., , , , и . MEMOCODE, стр. 85-86. IEEE Computer Society, (2007)Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen., и . MBMV, стр. 177-186. Fraunhofer Verlag, (2010)Verifikation digitaler Systeme - eine Einführung in den Entwurf korrekter digitaler Systeme.. Leitfäden und Monographien der Informatik Teubner, (1991)Formal verification of timing conditions., и . EURO-DAC, стр. 512-517. IEEE Computer Society, (1990)(V)HDL-based verification of heterogeneous synchronous/asynchronous systems.. EURO-DAC, стр. 566-571. IEEE Computer Society, (1994)Optimization and Resynthesis of Complex Data-Paths., и . DAC, стр. 637-641. ACM Press, (1993)Automatic Verification of Extensions of Hardware Descriptions.. CAV (DIMACS/AMS volume), том 3 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 3-14. DIMACS/AMS, (1990)