Co-verification design flow for HDL languages: A complete development methodology. - Laurent Beaulieu; Olivier Weppe; Benoit Le Ludec; Florian Lebeau (ICECS, 2017)