Cohesive Coverage Management for Simulation and Formal Property Verification.
Aritra HazraAnsuman BanerjeeSrobona MitraPallab DasguptaPartha Pratim ChakrabartiChunduri Rama MohanPublished in: ISVLSI (2008)
Keyphrases
- expert systems
- formal methods
- information systems
- model checking
- formal analysis
- simulation model
- data management
- management system
- data processing
- information management
- knowledge management
- project management
- formal specification
- face verification
- simulation environment
- information technology
- management information systems
- signature verification
- formal verification