Assertion-aware approximate computing design exploration on behavioral models. - Alberto Bosio; Moreno Bragaglio; Samuele Germiniani; Samuele Mori; Graziano Pravadelli; Marcello Traiola (LATS, 2022)