Tutorial RTL Verification using Python

Author(s):
Akio Mitsuhashi