Reliable Verification of Digital Implemented Filters Against Frequency Specifications.
Anastasia VolkovaChristoph Quirin LauterThibault HilairePublished in: ARITH (2017)
Keyphrases
- band pass filters
- model checking
- concurrent systems
- formal verification
- high level
- model checker
- high pass
- phase locked loop
- automated verification
- adaptive filtering
- asynchronous circuits
- frequency response
- formal specification
- filter design
- reactive systems
- functional requirements
- bounded model checking
- digital content
- multiresolution