Topics Related to Cadence, Certification and Lean: