DFT logic verification through property based formal methods - SOC to IP.
Lopamudra SenAmit RoySupriya BhattacharjeeBijitendra MittraSubir K. RoyPublished in: FMCAD (2010)
Keyphrases
- formal methods
- model checker
- model checking
- formal analysis
- safety critical
- knowledge based systems
- artificial intelligence
- formal specification
- process algebra
- asynchronous circuits
- verification method
- temporal logic
- modal logic
- provably correct
- low power
- software engineering
- concurrent systems
- open source
- information systems
- formal verification
- discrete fourier transform
- database
- reactive systems
- knowledge base
- expert systems
- frequency domain
- development lifecycle
- protocol specification