Eman El Mandouh, Amr G. Wassal: Automatic generation of functional coverage models. ISCAS 2016: 754-757