Exploring Integrated Circuit Verification Methodology for Verification and Validation of PLC Systems.
Manish M. PatilShaila SubbaramanShirish JoshiPublished in: ISED (2011)
Keyphrases
- integrated circuit
- model checking
- asynchronous circuits
- formal methods
- automated verification
- multimodal biometrics
- formal verification
- face verification
- pattern recognition
- computer systems
- real time
- image enhancement
- knowledge based systems
- signature verification
- data processing
- software engineering
- hardware designs