GHASEMPOURI, TARA

GHASEMPOURI, TARA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.004 secondi).
Titolo Data di pubblicazione Autore(i) File
Automatic extraction of assertions from execution traces of behavioural models 1-gen-2015 Danese, Alessandro; Ghasempouri, Tara; Pravadelli, Graziano
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach 1-gen-2016 Danese, Alessandro; Filini, Francesca; Ghasempouri, Tara; Pravadelli, Graziano
Engineering of an Effective Automatic Dynamic Assertion Mining Platform 1-gen-2019 Ghasempouri, Tara; Malburg, Jan; Danese, Alessandro; Pravadelli, Graziano; Fey, Goerschwin; Raik, Jaan
Improving ABV by generation and abstraction of PSL assertions 1-gen-2016 Ghasempouri, Tara
On the estimation of assertion interestingness 1-gen-2015 Ghasempouri, Tara; Pravadelli, Graziano
On the Reuse of RTL assertions in Systemc TLM Verification 1-gen-2014 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; G., Auditore; M., Negro Marcigaglia
Reusing RTL assertion checkers for verification of SystemC TLM models 1-gen-2015 Bombieri, Nicola; Fummi, Franco; Guarnieri, Valerio; Pravadelli, Graziano; Stefanni, Francesco; Ghasempouri, Tara; Lora, Michele; Giovanni, Auditore; Mirella, Negromarcigaglia