Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
Alfons GeserWolfgang KüchlinPublished in: FM-Trends (1998)
Keyphrases
- formal verification
- high speed
- functional verification
- model checking
- model checker
- low cost
- automated verification
- bounded model checking
- symbolic model checking
- high density
- structured data
- analog vlsi
- real world
- program slicing
- power consumption
- duty cycle
- programmable logic
- vlsi implementation
- physical design
- formal specification
- temporal logic