Tilman Glökler

Design of energy-efficient application-specific set processors

Tilman Glökler, 2004 .

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning

Jason Baumgartner, Tilman Glökler, Devi Shanmugam, 2006, 2006 Formal Methods in Computer Aided Design.

DSP core verification using automatic test case generation

Heinrich Meyr, Tilman Glökler, Stefan Bitterlich, 2000, 2000 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.00CH37100).

Methodical Low-Power ASIP Design Space Exploration

Heinrich Meyr, Andreas Hoffmann, Tilman Glökler, 2003, J. VLSI Signal Process..

Power efficient semi-automatic instruction encoding for application specific instruction set processors

Tilman Glökler, Stefan Bitterlich, 2001, 2001 IEEE International Conference on Acoustics, Speech, and Signal Processing. Proceedings (Cat. No.01CH37221).

Design of Energy-Efficient Application-Specific Instruction Set Processors

Heinrich Meyr, Tilman Glökler, 2004 .

Formal Verification of a Pervasive Interconnect Bus System in a High-Performance Microprocessor

Jason Baumgartner, Tilman Glökler, Thuyen Le, 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

Application specific compiler/architecture codesign: a case study

Rainer Leupers, Heinrich Meyr, Andreas Hoffmann, 2002, LCTES/SCOPES '02.