Cost-efficient Formal Block Verification for ASIC Design. - Klaus Winkelmann; Hans-Joachim Trylus; Dominik Stoffel; Görschwin Fey (MBMV, 2003)

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