Hans-Joachim Trylus

Publication Activity (10 Years)

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

Publications

Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor. DATE (2004)
Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey
Cost-efficient Formal Block Verification for ASIC Design. MBMV (2003)