BibSonomy :: author  ::

bookmarks

publications

(15)

• An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.
  Oliver Wienand and Markus Wedler and Dominik Stoffel and Wolfgang Kunz and Gert-Martin Greuel CAV 473-486 (2008)
  to dblp by dblp on 2008-07-08 00:00:00
  | URL | BibTeX  
• Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof.
  Udo Krautz and Markus Wedler and Wolfgang Kunz and Kai Weber and Christian Jacobi and Matthias Pflanz ASP-DAC 398-403 (2008)
  to dblp by dblp on 2008-05-06 00:00:00
  | URL | BibTeX  
• A Normalization Method for Arithmetic Data-Path Verification.
  Markus Wedler and Dominik Stoffel and Raik Brinkmann and Wolfgang Kunz IEEE Trans. on CAD of Integrated Circuits and Systems 26 1909-1922 (2007)
  to dblp by dblp on 2008-04-08 00:00:00
  | URL | BibTeX  
• Lehrbuch der Physikalischen Chemie
  Gerd Wedler (1997)
  to Chemistry German Physical by blackwing on 2007-05-06 12:34:09
  | BibTeX  
• Transition-by-transition FSM traversal for reachability analysis in bounded model checking.
  Minh D. Nguyen and Dominik Stoffel and Markus Wedler and Wolfgang Kunz ICCAD 1068-1075 (2005)
  to dblp by dblp on 2006-06-02 00:00:00
  | URL | BibTeX  
• Structural FSM traversal.
  Dominik Stoffel and Markus Wedler and Peter Warkentin and Wolfgang Kunz IEEE Trans. on CAD of Integrated Circuits and Systems 23 598-619 (2004)
  to dblp by dblp on 2006-04-26 00:00:00
  | URL | BibTeX  
• Normalization at the arithmetic bit level.
  Markus Wedler and Dominik Stoffel and Wolfgang Kunz DAC 457-462 (2005)
  to dblp by dblp on 2006-02-10 00:00:00
  | URL | BibTeX  
• Exploiting state encoding for invariant generation in induction-based property checking.
  Markus Wedler and Dominik Stoffel and Wolfgang Kunz ASP-DAC 424-429 (2004)
  to dblp by dblp on 2006-02-10 00:00:00
  | URL | BibTeX  
• On the parallel implementation of a generalized broadcast.
  Christoph Wedler and Christian Lengauer Parallel Algorithms Appl. 16 65-82 (2001)
  to dblp by dblp on 2004-08-26 00:00:00
  | URL | BibTeX  
• Improving Structural FSM Traversal by Constraint-Satisfying Logic Simulation.
  Markus Wedler and Dominik Stoffel and Wolfgang Kunz ISVLSI 151-158 (2002)
  to dblp by dblp on 2004-03-24 00:00:00
  | URL | BibTeX