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