Model-Based Automation of Verification Development for Automotive SOCs Author(s): Aljoscha Kirchner, Jan-Hendrik Oetjens and Oliver Bringmann Location: Europe Year: 2020 Type: Paper Download