Hans-Joachim Trylus

According to our database, Hans-Joachim Trylus authored at least 2 papers between 2003 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor.

Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey

Proceedings of the 2004 Design, 2004

2003

Cost-efficient Formal Block Verification for ASIC Design.

Klaus Winkelmann, Hans-Joachim Trylus, Dominik Stoffel, Görschwin Fey

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003