Specification by Example for Hardware Design and Verification Author(s): Jussi Mäkelä Location: Europe Year: 2017 Type: Paper Format: pdf Download