Christoph Jäschke

According to our database, Christoph Jäschke authored at least 8 papers between 1998 and 2017.

Collaborative distances:

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

2017

Static netlist verification for IBM high-frequency processors using a tree-grammar.

Christoph Jäschke, Ulla Herter, Claudia Wolkober, Carsten Schmitt, Christian G. Zoellin

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Connecting a C++ based Structural Verification Tool to the Web.

Carsten Schmitt, Christoph Jäschke, Claudia Wolkober, Ulla Herter

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2010

Strukturelle Verifikation mittels parser-gesteuerter Netzlisten-Traversierung.

Christoph Jäschke, Carsten Schmitt, Ulla Herter, Tobias Wich, Jochen Rust

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010

2006

Control Register Specification and Verification in Complex Systems.

Christoph Jäschke, Ralf Winkelmann, Johannes Kösters

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2004

Faust2 -- A Processor High-Level Modeling Framework.

Christoph Jäschke, Zoltán Hidvégi, Wolfgang Rösner

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2000

Globale Ressourcenteilung in der High-Level-Synthese.

Christoph Jäschke

PhD thesis, 2000

1999

Time Constrained Modulo Scheduling with Global Resource Sharing.

Christoph Jäschke, Rainer Laur, Friedrich Beckmann

Proceedings of the 1999 Design, 1999

1998

Resource Constrained Modulo Scheduling with Global Resource Sharing.

Christoph Jäschke, Rainer Laur

Proceedings of the 11th International Symposium on System Synthesis, 1998