Formal Specification of a 40GBit/s Sonet/SDH ASIC.
Werner HaasT. BürnerStefan GossensUlrich HeinkelPublished in: FDL (2003)
Keyphrases
- formal specification
- single chip
- low power
- model checking
- low cost
- object oriented design
- specification languages
- design methodology
- specification language
- reverse engineering
- data aggregation
- high speed
- process algebra
- concurrent systems
- data abstraction
- image sensor
- formal methods
- power consumption
- databases
- formal specification language
- temporal logic
- expert systems
- wireless sensor networks
- cooperative