Kai Weber

Affiliations:

IBM Deutschland GmbH, Boeblingen, Germany

According to our database¹, Kai Weber authored at least 4 papers between 2005 and 2008.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2008

Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2006

Evaluating coverage of error detection logic for soft errors using formal methods.

[BibT_eX]

[DOI]

Heinrich Theodor Vierhaus

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

2005

Automatic Formal Verification of Fused-Multiply-Add FPUs.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting.

[BibT_eX]

[DOI]

Viresh Paruthi

Christian Jacobi

Kai Weber

Proceedings of the Correct Hardware Design and Verification Methods, 2005

Kai Weber

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...