Werner Haas

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Ulrich Heinkel, Claus Mayer, Charles F. Webb, Hans Sahm, Werner Haas, Stefan Gossens
An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs. SAMOS (2004)
Werner Haas, T. Bürner, Stefan Gossens, Ulrich Heinkel
Formal Specification of a 40GBit/s Sonet/SDH ASIC. FDL (2003)
Werner Haas, Stefan Gossens, Ulrich Heinkel
Integration of Formal Specification into the Standard ASIC Design Flow. HASE (2002)
Werner Haas, Stefan Gossens, Ulrich Heinkel
Behavioural Specification for Advanced Design and Verification of ASICs (ADeVA). MBMV (2002)