Author of the publication

Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA).

, , and . MBMV, page 96-105. Shaker, (2002)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

High level synthesis using operation properties., and . FDL, page 1-6. IEEE, (2009)A Platform for Requirement Based Formal Specification., , , , , and . FDL, page 237-238. IEEE, (2008)An Approach for a Dynamic Generation/Validation System for the Functional Simulation Considering Timing Constraints., and . ED&TC, page 302-309. IEEE Computer Society, (1996)Einsatz formaler Methoden zur Energieeinsparung., , , , , and . MBMV, page 141-146. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, (2013)Fuzzy logic based energy management algorithm of a hybrid electric vehicle with range-extender., , and . SSD, page 1-5. (2014)ZYNQ flexible platform for object recognition & tracking., , , , and . WPNC, page 1-6. IEEE, (2016)Formale Verifikation eines Sonet/SDH Framers., , , , and . MBMV, page 280-288. Shaker, (2004)Optimized ASIC/FPGA Design Flow for Energy Efficient Network Nodes., , , , , and . Bell Labs Technical Journal, 18 (3): 195-209 (2013)Rapid prototyping of a DVB-SH turbo decoder using high-level-synthesis., , , , and . FDL, page 1-6. IEEE, (2009)SpecScribe Analog - A Specification Tool Extension for Heterogeneous Systems., , and . FDL, page 243-244. IEEE, (2008)