Gerd Ritter

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Claudia Blank, Hans Eveking, Jens Levihn, Gerd Ritter
Symbolic simulation techniques-state-of-the-art and applications. HLDVT (2001)
Claudia Blank, Gerd Ritter, Holger Hinrichsen, Hans Eveking
Formale Verifikation der Register-Allokation. MBMV (2000)
Gerd Ritter
Sequential Equivalence Checking by Symbolic Simulation. FMCAD (2000)
Holger Hinrichsen, Gerd Ritter, Hans Eveking
Automatische Synthese und Verifikation von RISC-Prozessoren. MBMV (1999)
Hans Eveking, Holger Hinrichsen, Gerd Ritter
Automatic Verification of Scheduling Results in High-Level Synthesis. DATE (1999)
Gerd Ritter, Holger Hinrichsen, Hans Eveking
Formal Verification of Descriptions with Distinct Order of Memory Operations. ASIAN (1999)
Gerd Ritter, Hans Eveking, Holger Hinrichsen
Formal Verification of Designs with Complex Control by Symbolic Simulation. CHARME (1999)