Nicola Bombieri
Associate Professor
Department of computer science
University of Vermont
Italy
Biography
Dr. Nicola Bombieri is currently working as a Associate Professor in the Department of Department of computer science, University of Verona , Italy. His research interests includes Electronic Systems Design (ESD). He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Nicola Bombieri is the member of many international affiliations. She has successfully completed his Administrative responsibilities. She has authored of many research articles/books related to Electronic Systems Design (ESD).
Research Interest
Electronic Systems Design (ESD)
Publications
-
Bombieri N, Fummi F, Pravadelli G, Marques-Silva J. Towards equivalence checking between TLM and RTL models. InProceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign 2007 May 30 (pp. 113-122). IEEE Computer Society.
-
Bombieri N, Fummi F, Pravadelli G. On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL. InProceedings of the conference on Design, automation and test in Europe: Proceedings 2006 Mar 6 (pp. 1007-1012). European Design and Automation Association.
-
Bombieri N, Fummi F, Pravadelli G. A mutation model for the SystemC TLM 2.0 communication interfaces. InProceedings of the conference on Design, automation and test in Europe 2008 Mar 10 (pp. 396-401). ACM.
