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 (…)