DFT logic verification through property based formal methods - SOC to IP.

Lopamudra Sen Amit Roy Supriya Bhattacharjee Bijitendra Mittra Subir K. Roy

Published 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