DSP core verification using automatic test case generation. - Tilman Glökler; Stefan Bitterlich; Heinrich Meyr (ICASSP, 2000)

Power efficient semi-automatic instruction encoding for application specific instruction set processors. - Tilman Glökler; Stefan Bitterlich (ICASSP, 2001)

Application specific compiler/architecture codesign: a case study. - Oliver Wahlen; Tilman Glökler; Achim Nohl; Andreas Hoffmann 002; Rainer Leupers; Heinrich Meyr (LCTES-SCOPES, 2002)

Methodical Low-Power ASIP Design Space Exploration. - Tilman Glökler; Andreas Hoffmann 002; Heinrich Meyr (J. VLSI Signal Process., 2003)

Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. - Tilman Glökler; Jason Baumgartner; Devi Shanmugam; A. E. (Rick) Seigler; Gary A. Van Huben; Barinjato Ramanandray; Hari Mony; Paul Roessler (FMCAD, 2006)

Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. - Thuyen Le; Tilman Glökler; Jason Baumgartner (DATE, 2007)