Search

Your search keyword '"Stefanni, Francesco"' showing total 35 results
Start Over Author "Stefanni, Francesco"
35 results on '"Stefanni, Francesco"'

1. Fault Analysis in Analog Circuits Through Language Manipulation and Abstraction

Author

Fraccaroli, Enrico, Stefanni, Francesco, Fummi, Franco, Zwolinski, Mark, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Ruediger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Große, Daniel, editor, Vinco, Sara, editor, and Patel, Hiren, editor

Published
2019
Full Text
View/download PDF

2. Automatic Integration of HDL IPs in Simulink Using FMI and S-Function Interfaces

Author

Centomo, Stefano, Lora, Michele, Portaluri, Antonio, Stefanni, Francesco, Fummi, Franco, Angrisani, Leopoldo, Series Editor, Arteaga, Marco, Series Editor, Panigrahi, Bijaya Ketan, Series Editor, Chakraborty, Samarjit, Series Editor, Chen, Jiming, Series Editor, Chen, Shanben, Series Editor, Chen, Tan Kay, Series Editor, Dillmann, Ruediger, Series Editor, Duan, Haibin, Series Editor, Ferrari, Gianluigi, Series Editor, Ferre, Manuel, Series Editor, Hirche, Sandra, Series Editor, Jabbari, Faryar, Series Editor, Jia, Limin, Series Editor, Kacprzyk, Janusz, Series Editor, Khamis, Alaa, Series Editor, Kroeger, Torsten, Series Editor, Liang, Qilian, Series Editor, Ming, Tan Cher, Series Editor, Minker, Wolfgang, Series Editor, Misra, Pradeep, Series Editor, Möller, Sebastian, Series Editor, Mukhopadhyay, Subhas, Series Editor, Ning, Cun-Zheng, Series Editor, Nishida, Toyoaki, Series Editor, Pascucci, Federica, Series Editor, Qin, Yong, Series Editor, Seng, Gan Woon, Series Editor, Veiga, Germano, Series Editor, Wu, Haitao, Series Editor, Zhang, Junjie James, Series Editor, Große, Daniel, editor, Vinco, Sara, editor, and Patel, Hiren, editor

Published
2019
Full Text
View/download PDF

18. A design and verification methodology for networked embedded systems

Author

Stefanni, Francesco

Subjects
embedded system, network simulation, network fault model, network, design methodology, networked embedded systems, network synthesis, verification methodology, fault simulation, Settore ING-INF/05 - Sistemi di Elaborazione delle Informazioni
Published
2011

21. On the reuse of RTL assertions in SystemC TLM verification

Author

Bombieri, Nicola, primary, Fummi, Franco, additional, Guarnieri, Valerio, additional, Pravadelli, Graziano, additional, Stefanni, Francesco, additional, Ghasempouri, Tara, additional, Lora, Michele, additional, Auditore, Giovanni, additional, and Marcigaglia, Mirella Negro, additional

Published
2014
Full Text
View/download PDF

24. A design and verification methodology for networked embedded systems

Author

Fummi, Franco, STEFANNI, Francesco, Fummi, Franco, and STEFANNI, Francesco

Abstract

Oggigiorno i Sistemi Dedicati di Rete (Networked Embeddedd Systems - NES) sono una tecnologia pervasiva. Il loro utilizzo comprende applicazioni per il monitoraggio, per l'automazione delle case, e per compiti in ambienti critici. La loro crescente complessità richiede nuove metodologie per poter effettuare efficientemente le fasi di progettazione e verifica. Questo lavoro presenta un flusso di sviluppo generico per NES, supportato dall'implementazione di programmi per la loro applicazione. Il flusso di sviluppo sfrutta il linguaggio SystemC, e considera la rete come una dimensione dello spazio di progetto. La metodologia di base comprende estensioni per considerare anche i casi in cui il NES sia implementato usando un middleware o in cui siano presenti dei requisiti di affidabilità. Inoltre, sono stati implementati dei programmi di traduzione per consentire l'adozione della metodologia proposta con design scritti in altri linguaggi per la descrizione dell'hardware.

Published
2011

30. HIFSuite: Tools for HDL code conversion and manipulation

Author

Bombieri, Nicola, primary, Di Guglielmo, Giuseppe, additional, Di Guglielmo, Luigi, additional, Ferrari, Michele, additional, Fummi, Franco, additional, Pravadelli, Graziano, additional, Stefanni, Francesco, additional, and Venturelli, Alessandro, additional

Published
2010
Full Text
View/download PDF

34. A Single-Chip CMOS Pulse Oximeter with On-Chip Lock-In Detection.

Author

Diwei He, Morgan, Stephen P., Trachanis, Dimitrios, van Hese, Jan, Drogoudis, Dimitris, Fummi, Franco, Stefanni, Francesco, Guarnieri, Valerio, and Hayes-Gill, Barrie R.

Subjects
PULSE oximeters, OXIMETRY, OXYGENATORS, PERFORMANCE of photodiodes, BIOSENSORS
Abstract

Pulse oximetry is a noninvasive and continuous method for monitoring the blood oxygen saturation level. This paper presents the design and testing of a single-chip pulse oximeter fabricated in a 0.35 μm CMOS process. The chip includes photodiode, transimpedance amplifier, analogue band-pass filters, analogue-to-digital converters, digital signal processor and LED timing control. The experimentally measured AC and DC characteristics of individual circuits including the DC output voltage of the transimpedance amplifier, transimpedance gain of the transimpedance amplifier, and the central frequency and bandwidth of the analogue band-pass filters, show a good match (within 1%) with the circuit simulations. With modulated light source and integrated lock-in detection the sensor effectively suppresses the interference from ambient light and 1/f noise. In a breath hold and release experiment the single chip sensor demonstrates consistent and comparable performance to commercial pulse oximetry devices with a mean of 1.2% difference. The single-chip sensor enables a compact and robust design solution that offers a route towards wearable devices for health monitoring. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results