Cost-Efficient Block Verification for a UMTS Up-Link Chip-Rate Coprocessor.
Klaus WinkelmannHans-Joachim TrylusDominik StoffelGörschwin FeyPublished in: DATE (2004)
Keyphrases
- cost efficient
- functional verification
- false acceptance rate
- low cost
- high speed
- model checking
- video conferencing
- absolute difference
- high bit rate
- governmental organizations
- block size
- massively parallel
- high density
- formal verification
- single chip
- signature verification
- security architecture
- programmable logic
- heterogeneous networks
- analog vlsi
- signal processing