formal verification
1-1 training Highlights
- 10 hours of 1-1 training at student flexible timings
- Support with office work debug (for working professionals)
- Complete guided project support, and 24x7 tool access for hands on practice
- Course content can be customized(topics added and removed) as per student requirements
- Trainer support outside teaching hours.
- Regular mock interviews and assessment tests for performance tracking
Course content - Hourly breakup
| Topic | Duration(Hours) |
|---|---|
| Formal verification basics | 1 |
| SVA for property checking | 2 |
| Apply property checking in formal verification | 2 |
| Different formal verification use models of Formal Apps | 2 |
| Formal verification hands on project | 3 |
| Total | 10 |