Christian Jacobi

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Putting it all together – Formal verification of the VAMP

Sven Beyer and others (2006) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media

Automatic Formal Verification of Fused-Multiply-Add FPUs

Christian Jacobi and others (2005) · Design, Automation and Test in Europe (DATE '05)

Formal Verification of a Fully IEEE Compliant Floating Point Unit

Christian Jacobi (2002) · Universität des Saarlandes

Formal Verification of the VAMP Floating Point Unit

Christoph Berg and others (2001) · Lecture notes in computer science · Springer Science+Business Media

Proving the Correctness of a Complete Microprocessor

Christian Jacobi and others (2000) · Informatik aktuell · Springer Nature