|
Search the dblp DataBase
Kai Weber:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Viresh Paruthi, Christian Jacobi 0002, Kai Weber
Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:114-128 [Conf]
- Christian Jacobi 0002, Kai Weber, Viresh Paruthi, Jason Baumgartner
Automatic Formal Verification of Fused-Multiply-Add FPUs. [Citation Graph (0, 0)][DBLP] DATE, 2005, pp:1298-1303 [Conf]
- U. Krautz, Matthias Pflanz, Christian Jacobi 0002, H. W. Tast, Kai Weber, Heinrich Theodor Vierhaus
Evaluating coverage of error detection logic for soft errors using formal methods. [Citation Graph (0, 0)][DBLP] DATE, 2006, pp:176-181 [Conf]
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|