Tutorial for Gate Level Simulation

In reply to dave_59:

I see. I would like to learn how to use those Formal tools too. I hope there are tutorials online. I don’t think I can be able to ask my employer to train me for it. They already have a particular team that does that.