Analyse et amélioration de la robustesse des circuits asynchrones QDI

Analyse et amélioration de la robustesse des circuits asynchrones QDI

Show other versions (1)

La conception de circuits intégrés asynchrones, notamment de circuits QDI (Quasi-Delay Insensitive), offrent la possibilité de disposer de circuits très robustes aux conditions environnementales (tension, température) ainsi qu'aux variations des procédés de fabrication. Ces bonnes propriétés so...

Full description

Bibliographic Details
Main Author:	Ouchet, Florent
Other Authors:	Grenoble
Language:	fr
Published:	2011
Subjects:	Asynchrone Circuit Vérification Robustesse Sécurité QDI Self-timed Verification Robustness Safety
Online Access:	http://www.theses.fr/2011GRENT062/document

Similar Items

Analyse et amélioration de la robustesse des circuits asynchrones QDI
by: Ouchet, Florent
Published: (2011)

Formal Verification Methodology for Asynchronous Sleep Convention Logic Circuits Based on Equivalence Verification
by: Hossain, Mousam
Published: (2020)

Systèmes Robustes aux Fautes Transitoires Exploitant la Logique Asynchrone Quasi-Insensible aux Délais
by: Possamai Bastos, R.
Published: (2010)

Transient-fault robust systems exploiting quasi-delay insensitive asynchronous circuits
by: Bastos, Rodrigo Possamai
Published: (2011)

Transient-fault robust systems exploiting quasi-delay insensitive asynchronous circuits
by: Bastos, Rodrigo Possamai
Published: (2011)

Transient-fault robust systems exploiting quasi-delay insensitive asynchronous circuits
by: Bastos, Rodrigo Possamai
Published: (2011)

Systeme a microprocesseur asynchrone basse consommation
by: Rios, D.
Published: (2008)

Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones
by: Porcher, Alexandre
Published: (2012)

A 50.5 ns Wake-Up-Latency 11.2 pJ/Inst Asynchronous Wake-Up Controller in FDSOI 28 nm
by: Jean-Frédéric Christmann, et al.
Published: (2019-02-01)

Synthèse automatisée de circuits asynchrones optimisés prouvés quasi insensibles aux délais
by: Brégier, V.
Published: (2007)

Synthèse de moniteurs asynchrones à partir d'assertions temporelles pour la surveillance robuste de circuits synchrones
by: Porcher, Alexandre
Published: (2012)

Conception Automatique de Chemins de Données en Logique Asynchrone QDI
by: Fragoso, J.
Published: (2005)

Asynchronous datapath design and test.
Published: (2001)

Performance modeling and analysis of asynchronous pipelines for designers
by: Chang, Chih-ming, 1964-
Published: (2012)

The Verification Methodics of the Effects of Short-Circuit Currents in Windings of the Power Transformers
by: Miroslav Gutten, et al.
Published: (2002-01-01)

Test et évaluation de la robustesse de la couche fonctionnelle d'un robot autonome
by: Chu, Hoang-Nam
Published: (2011)

Multi-Network Asynchronous TDOA Algorithm Test in a Simulated Maritime Scenario
by: Ciro Gioia, et al.
Published: (2020-03-01)

Etude de la robustesse de transistors JFET à base de SiC vis-à-vis de stress électriques
by: Moumen, Sabrine
Published: (2012)

Architecture d'alimentation à récupération d'énergie et gestion évenementielle pour les systèmes de capteurs communicants autonomes
by: Christmann, Jean-Frédéric
Published: (2013)

Analyse de robustesse de systèmes intégrés numériques
by: Chibani, Kais
Published: (2016)

State-Based Encoding of Large Asynchronous Controllers
by: Alberto Moreno, et al.
Published: (2018-01-01)

Formal Modeling and Verification Methodologies for Quasi-Delay Insensitive Asynchronous Circuits
by: Sakib, Ashiq Adnan
Published: (2019)

Integrated Design Validation: Combining Simulation and Formal Verification for Digital Integrated Circuits
by: Lun Li, et al.
Published: (2006-04-01)

Behavioral Model Equivalence Checking for Large Analog Mixed Signal Systems
by: Singh, Amandeep
Published: (2012)

Symbolic methods in simulation-based verification
by: Yuan, Jun
Published: (2008)

Robustesse de la commande pr´edictive explicite
by: Koduri, Rajesh
Published: (2017)

An asynchronous soft-output Viterbi algorithm decoder.
Published: (2004)

Réflexions autour de la méthodologie de vérification des circuits multi-horloges : analyse qualitative et automatisation
by: Kebaili, Mejid
Published: (2017)

Automated Verification and Optimization of SFQ Superconducting Circuits
by: Andrew M. Haslam, et al.
Published: (2019-01-01)

Synthèse automatique de circuits asynchrones QDI
by: DINH DUC, Anh Vu
Published: (2003)

Self-clocked asynchronous controllers
by: Aghdasi, Farhad
Published: (1993)

Energy Reduction for Asynchronous Circuits in SoC Applications
by: Gopalakrishnan, Harish
Published: (2011)

VERIFICATION OF INTEGRATED CIRCUIT BEHAVIORAL MODELS BY PROGRAMMABLE LOGIC
by: N. M. Chernetskaya, et al.
Published: (2018-05-01)

Conquering Variability for Robust and Low Power Designs
by: Sun, Jin
Published: (2011)

Application of a bayesian network to integrated circuit tester diagnosis
by: Mittelstadt, Daniel Richard
Published: (2013)

Using theorem proving and algorithmic decision procedures for large-scale system verification
by: Ray, Sandip
Published: (2008)

An Asynchronous IEEE Floating-Point Arithmetic Unit
by: Joel R. Noche, et al.
Published: (2007-12-01)

Méthode de Test et Conception en Vue du Test pour les Réseaux sur Puce Asynchrones : Application au Réseau ANOC
by: Tran, Xuan Tu
Published: (2008)

ASCERTAINMENT OF THE EQUIVALENT CIRCUIT PARAMETERS OF THE ASYNCHRONOUS MACHINE
by: V. S. Safaryan, et al.
Published: (2015-12-01)

Improving timing verification and delay testing methodologies for IC designs
by: Zeng, Jing
Published: (2008)

Cannot write session to /tmp/vufind_sessions/sess_82bjkht6g7o2ho9qee9hgq97gn