Specification by Example for Hardware Design and Verification

Author(s):
Jussi Mäkelä