In this four-day training program engineers will learn how to code, simulate and formally verify signaling applications using Prover iLock. It is a practical hands-on training session that introduces formal techniques and PiSPEC, and gives in-depth knowledge of the Prover iLock software tool.
Who should attend
Anyone curious to learn more about signaling design automation tools.
Basic signaling engineering experience
Prover Certified Specific Application Engineer (CSAE)