Tilman Glökler

Publication Activity (10 Years)

Years Active: 2000-2007
Publications (10 Years): 0

Publications

Thuyen Le, Tilman Glökler, Jason Baumgartner
Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. DATE (2007)
Tilman Glökler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler
Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. FMCAD (2006)
Tilman Glökler, Andreas Hoffmann, Heinrich Meyr
Methodical Low-Power ASIP Design Space Exploration. J. VLSI Signal Process. 33 (3) (2003)
Oliver Wahlen, Tilman Glökler, Achim Nohl, Andreas Hoffmann, Rainer Leupers, Heinrich Meyr
Application specific compiler/architecture codesign: a case study. LCTES-SCOPES (2002)
Tilman Glökler, Stefan Bitterlich
Power efficient semi-automatic instruction encoding for application specific instruction set processors. ICASSP (2001)
Tilman Glökler, Stefan Bitterlich, Heinrich Meyr
DSP core verification using automatic test case generation. ICASSP (2000)