Ralf Reetz

发表

The associative processor system CAPRA: architecture and applications

Karl-Erwin Großpietsch, Ralf Reetz, K. Großpietsch, 1992, IEEE Micro.

Formal specification in VHDL for hardware verification

Thomas Kropf, Klaus Schneider, Ralf Reetz, 1998, Proceedings Design, Automation and Test in Europe.

A Flow Graph Semantics of VHDL: A Basis for Hardware Verification with VHDL

Thomas Kropf, Ralf Reetz, 1995 .

A method for selecting a variant detection for a signal received from a radio station of a radio communications system via a radio channel signal, and the radio station and computer program

Jochen Gossner, Ralf Reetz, Hartmut Wilhelm, 2004 .

Formale Spezifikation und Verifikation mit VHDL

Thomas Kropf, Ralf Reetz, Klaus Schneider, 1997 .

Formal Specification in VHDL for Formal Hardware Verification

Thomas Kropf, Klaus Schneider, Ralf Reetz, 1997 .

Deep Embedding VHDL

Ralf Reetz, 1995, TPHOLs.

Evaluating possibilities for formally sound simulation and verification of VHDL

Thomas Kropf, Ralf Reetz, T. Kropf, 1996 .

Eine Formalisierung der Hardwarebeschreibungssprache VHDL für die Hardware-Verifikation

Ralf Reetz, 1997 .

A flowgraph semantics of VHDL: Toward a VHDL verification workbench in HOL

Thomas Kropf, Ralf Reetz, T. Kropf, 1995, Formal Methods Syst. Des..

Simplifying Deep Embedding: A Formalised Code Generator

Thomas Kropf, Ralf Reetz, 1994, TPHOLs.