Sara Vinco
TitoloCitata daAnno
SAGA: SystemC acceleration on GPU architectures
S Vinco, V Bertacco, D Chatterjee, F Fummi
DAC Design Automation Conference 2012, 115-120, 2012
372012
UNIVERCM: the UNIversal VERsatile Computational Model for heterogeneous system integration
L Di Guglielmo, F Fummi, G Pravadelli, F Stefanni, S Vinco
IEEE Transactions on Computers 62 (2), 225-241, 2012
242012
Moving from co-simulation to simulation for effective smart systems design
F Fummi, M Lora, F Stefanni, D Trachanis, J Vanhese, S Vinco
Proceedings of the conference on Design, Automation & Test in Europe, 286, 2014
212014
SystemC simulation on GP-GPUs: CUDA vs. OpenCL
N Bombieri, S Vinco, V Bertacco, D Chatterjee
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware …, 2012
152012
Correct-by-construction generation of device drivers based on RTL testbenches
N Bombieri, F Fummi, G Pravadelli, S Vinco
Proceedings of the Conference on Design, Automation and Test in Europe, 1500 …, 2009
142009
Code manipulation for virtual platform integration
S Vinco, V Guarnieri, F Fummi
IEEE Transactions on Computers 65 (9), 2694-2708, 2015
132015
On the use of GP-GPUs for accelerating compute-intensive EDA applications
V Bertacco, D Chatterjee, N Bombieri, F Fummi, S Vinco, AM Kaushik, ...
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
132013
An open-source framework for formal specification and simulation of electrical energy systems
S Vinco, A Sassone, F Fummi, E Macii, M Poncino
2014 IEEE/ACM International Symposium on Low Power Electronics and Design …, 2014
112014
Conservative behavioural modelling in SystemC-AMS
S Vinco, M Lora, M Zwolinski
2015 Forum on Specification and Design Languages (FDL), 1-8, 2015
92015
UNIVERCM: The UNIversal VERsatile computational model for heterogeneous embedded system design
L Di Guglielm, F Fummi, G Pravadelli, F Stefanni, S Vinco
2011 IEEE International High Level Design Validation and Test Workshop, 33-40, 2011
92011
Mixing simulated and actual hardware devices to validate device drivers in a complex embedded platform
F Fummi, G Perbellini, D Quaglia, S Saggin, S Vinco
2009 10th International Workshop on Microprocessor Test and Verification, 63-68, 2009
92009
Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems
E Fraccaroli, M Lora, S Vinco, D Quaglia, F Fummi
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016
82016
HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels
N Bombieri, F Fummi, V Guarnieri, F Stefanni, S Vinco
Design Automation for Embedded Systems 16 (2), 115-135, 2012
82012
Contrex: Design of embedded mixed-criticality control systems under consideration of extra-functional properties
R Görgen, K Grüttner, F Herrera, P Peñil, J Medina, E Villar, G Palermo, ...
2016 Euromicro Conference on Digital System Design (DSD), 286-293, 2016
7*2016
A layered methodology for the simulation of extra-functional properties in smart systems
S Vinco, Y Chen, F Fummi, E Macii, M Poncino
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
62017
Analog models manipulation for effective integration in smart system virtual platforms
M Lora, S Vinco, E Fraccaroli, D Quaglia, F Fummi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
62017
A unifying flow to ease smart systems integration
M Lora, S Vinco, F Fummi
2016 IEEE International High Level Design Validation and Test Workshop …, 2016
62016
Fast thermal simulation using SystemC-AMS
Y Chen, S Vinco, E Macii, M Poncino
2016 International Great Lakes Symposium on VLSI (GLSVLSI), 427-432, 2016
62016
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis
N Bombieri, F Fummi, V Guarnieri, G Pravadelli, S Vinco
2012 13th International Workshop on Microprocessor Test and Verification …, 2012
62012
A formal support for homogeneous simulation of heterogeneous embedded systems
L Di Guglielmo, F Fummi, G Pravadelli, F Stefanni, S Vinco
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12 …, 2012
62012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20