Bug discovery by static analysis in VERILOG
- Date: Thursday June 17, 2021
- Duration: 25 min (with live Q&A)
- Time: 11:00 – 11:25 (CET)
- Presenter: Dr Reuven Dobkin
- Attendance: FREE!
Webinar Overview
During this short webinar, we will exemplify a few buggy RTL patterns that can be discovered by an automatic static analysis, leading to prompt bug-fix instead of a much longer verification by simulation / formal analyses.
Patterns to be discussed:
- Signal contention
- Latches
- FSM issues: unreachable, trap states
- Tri-state buffers issues
If you have any queries, please contact info@vsyncc.com
Datum
17 juni 2021
Locatie
Webinar
Online
Webinar
Prijs
€ 0,00
Informatie
Training brochure
Registratieformulier
Registratie op aanvraag, neem contact op met ons.