Veasy : A Tool Suite for Teaching Functional Verification

This book describes a tool suite, VEasy, which was developed specifically for aiding the process of teaching Functional Verification. VEasy contains four main modules that perform linting, simulation, coverage collection/analysis and testcase generation, which are considered key challenges to achieve verification success. Each of those modules is commented in details throughout the chapters. All the modules are integrated and built on top of a Graphical User Interface. This framework enables the testcase automation methodology which is based on layers, where one is capable of creating complex test scenarios using drag-and-drop operations. Whenever possible examples are given using simple Verilog designs. The capabilities of the tool and its performance are also compared with some commercial and academic functional verification tools.