Tara Ghasempouri
TitoloCitata daAnno
Automatic extraction of assertions from execution traces of behavioural models
A Danese, T Ghasempouri, G Pravadelli
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 67-72, 2015
302015
On the estimation of assertion interestingness
T Ghasempouri, G Pravadelli
2015 IFIP/IEEE International Conference on Very Large Scale Integrationá…, 2015
72015
Automatic Generation and Qualification of Assertions on Control Signals: A Time Window-Based Approach
A Danese, F Filini, T Ghasempouri, G Pravadelli
IFIP/IEEE International Conference on Very Large Scale Integration-System oná…, 2015
42015
Reusing rtl assertion checkers for verification of systemc tlm models
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
Journal of Electronic Testing 31 (2), 167-180, 2015
32015
On the reuse of RTL assertions in SystemC TLM verification
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, F Stefanni, ...
2014 15th Latin American Test Workshop-LATW, 1-6, 2014
32014
An Automatic Approach to Evaluate Assertions' Quality Based on Data-Mining Metrics
T Ghasempouri, SP Azad, B Niazmand, J Raik
2018 IEEE International Test Conference in Asia (ITC-Asia), 61-66, 2018
22018
From RTL Liveness Assertions to Cost-Effective Hardware Checkers
R Hariharan, T Ghasempouri, B Niazmand, J Raik
2018 Conference on Design of Circuits and Integrated Systems (DCIS), 1-6, 2018
2018
Towards Multidimensional Verification: Where Functional Meets Non-Functional
M Jenihhin, X Lai, T Ghasempouri, J Raik
2018 IEEE Nordic Circuits and Systems Conference (NORCAS): NORCHIP andá…, 2018
2018
Design Understanding: From Logic to Specification*
G Fey, T Ghasempouri, S Jacobs, G Martino, J Raik, H Riener
2018 IFIP/IEEE International Conference on Very Large Scale Integrationá…, 2018
2018
A Hierarchical Approach for Devising Area Efficient Concurrent Online Checkers
B Niazmand, SP Azad, T Ghasempouri, J Raik, G Jervan
2018 IEEE International Test Conference in Asia (ITC-Asia), 139-144, 2018
2018
Evaluating the Reliability of Communication Diagram Using Fuzzy Petri Net
T Ghasempouri, H Motameni
The 2nd IEEE International Conference on Software Engineering and Serviceá…, 2011
2011
Transforming Communication Diagram from Fuzzy UML to Fuzzy Petri net
T Ghassempouri, H Motameni
American Jouurnal of Scientific Research 1 (ISSN 1450-223x London, Unitedá…, 2011
2011
ODEN: Assertion mining for behavioral descriptions
A Danese, T Ghasempouri
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–13