Ralf Reetz

According to our database, Ralf Reetz authored at least 6 papers between 1992 and 1998.

Collaborative distances:

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

1998

Formal Specification in VHDL for Hardware Verification.

Ralf Reetz, Klaus Schneider, Thomas Kropf

Proceedings of the 1998 Design, 1998

1997

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

Ralf Reetz

PhD thesis, 1997

1995

A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL.

Ralf Reetz, Thomas Kropf

Formal Methods Syst. Des., 1995

Deep Embedding VHDL.

Ralf Reetz

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1995

1994

Simplifying Deep Embedding: A Formalised Code Generator.

Ralf Reetz, Thomas Kropf

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1992

The associative processor system CAPRA: architecture and applications.

Karl-Erwin Grosspietsch, Ralf Reetz

IEEE Micro, 1992