Ralf Reetz

Publication Activity (10 Years)

Years Active: 1992-1998
Publications (10 Years): 0

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Ralf Reetz, Klaus Schneider, Thomas Kropf
Formal Specification in VHDL for Hardware Verification. DATE (1998)
Ralf Reetz
Deep Embedding VHDL. TPHOLs (1995)
Ralf Reetz, Thomas Kropf
A Flowgraph Semantics of VHDL: Toward a VHDL Verification Workbench in HOL. Formal Methods Syst. Des. 7 (1/2) (1995)
Ralf Reetz, Thomas Kropf
Simplifying Deep Embedding: A Formalised Code Generator. TPHOLs (1994)
Karl-Erwin Grosspietsch, Ralf Reetz
The associative processor system CAPRA: architecture and applications. IEEE Micro 12 (6) (1992)