If you don’t use Assertions yet, think twice !
You are lagging behind and you miss a huge opportunity to create better code, to enhance your verification, to find bugs faster and to make your life more interesting.

Assertion-Based Verification is an old and proven methodology, compulsory in ASIC projects, which is also leading the industry (as the entry language for formal tools).

Good news ! It will take you a single (intensive) day to be properly trained !