Hans-Werner Tast
IBM
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Hans-Werner Tast.
design, automation, and test in europe | 2006
Udo Krautz; Matthias Pflanz; Christian Jacobi; Hans-Werner Tast; Kai Weber; Heinrich Theodor Vierhaus
In this paper we describe a methodology to measure exactly the quality of fault-tolerant designs by combining fault-injection in high level design (HLD) descriptions with a formal verification approach. We utilize BDD based symbolic simulation to determine the coverage of online error-detection and -correction logic. We describe an easily portable approach, which can be applied to a wide variety of multi-GHz industrial designs
Archive | 1996
Erwin Pfeffer; Klaus-joerg Getzlaff; Ute Gaertner; Hans-Werner Tast
Archive | 2002
Harry Barowski; Hartmut Schwermer; Hans-Werner Tast
Archive | 1998
Rolf Hilgendorf; Oliver Laub; Hans-Werner Tast
Archive | 1996
Gottfried Goldrian; Hans-Werner Tast
Archive | 2008
Gordon Taylor Davis; Santiago A. Leon; Hans-Werner Tast
Archive | 1998
Ute Gaertner; Klaus J. Getzlaff; Erwin Pfeffer; Hans-Werner Tast
Archive | 2008
Barry Watson Krumm; Christian Jacobi; Chung-Lung Kevin Shum; Hans-Werner Tast; Aaron Tsai; Ching-Farn E. Wu
Archive | 2013
Khary J. Alexander; Christian Jacobi; Hans-Werner Tast; Patrick M. West
Archive | 2008
Christian Jacobi; Matthias Pflanz; Chung-Lung Kevin Shum; Hans-Werner Tast; Aaron Tsai
