Tilman Glökler

According to our database, Tilman Glökler authored at least 6 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Formal verification of a pervasive interconnect bus system in a high-performance microprocessor.

Thuyen Le, Tilman Glökler, Jason Baumgartner

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

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

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

2003

Methodical Low-Power ASIP Design Space Exploration.

Tilman Glökler, Andreas Hoffmann, Heinrich Meyr

J. VLSI Signal Process., 2003

2002

Application specific compiler/architecture codesign: a case study.

Oliver Wahlen, Tilman Glökler, Achim Nohl, Andreas Hoffmann, Rainer Leupers, Heinrich Meyr

Proceedings of the 2002 Joint Conference on Languages, 2002

2001

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

Tilman Glökler, Stefan Bitterlich

Proceedings of the IEEE International Conference on Acoustics, 2001

2000

DSP core verification using automatic test case generation.

Tilman Glökler, Stefan Bitterlich, Heinrich Meyr

Proceedings of the IEEE International Conference on Acoustics, 2000