Christoph Jäschke

Publication Activity (10 Years)

Years Active: 1998-2017
Publications (10 Years): 2

Top Topics

Wavelet Decomposition

Database Interface

Verification Method

High Frequencies

Top Venues

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin
Static netlist verification for IBM high-frequency processors using a tree-grammar. DATE (2017)
Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter
Connecting a C++ based Structural Verification Tool to the Web. MBMV (2016)
Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust
Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung. MBMV (2010)
Christoph Jäschke, Ralf Winkelmann, Johannes Kösters
Control Register Specification and Verification in Complex Systems. MBMV (2006)
Christoph Jäschke, Zoltán Hidvégi, Wolfgang Rösner
Faust2 -- A Processor High-Level Modeling Framework. MBMV (2004)
Christoph Jäschke, Rainer Laur, Friedrich Beckmann
Time Constrained Modulo Scheduling with Global Resource Sharing. DATE (1999)
Christoph Jäschke, Rainer Laur
Resource Constrained Modulo Scheduling with Global Resource Sharing. ISSS (1998)