Formal Verification of a Public-Domain DDR2 Controller Design.
Abhishek DattaVigyan SinghalPublished in: VLSI Design (2008)
Keyphrases
- controller design
- formal verification
- model checking
- nonlinear systems
- control system
- control scheme
- bounded model checking
- model checker
- dynamic model
- control strategies
- automated verification
- symbolic model checking
- computer simulation
- control strategy
- reduced order model
- fuzzy logic controller
- fuzzy controller
- neural network
- learning rate
- temporal logic
- simulated annealing
- fuzzy logic
- knowledge base
- artificial intelligence
- learning algorithm