Vérification semi-formelle et synthèse automatique de PSL vers VHDL

Vérification semi-formelle et synthèse automatique de PSL vers VHDL

La vérification à base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. Pour de tels composants où les techniques de vérification formelle ne peuvent s'appliquer, la vérification dynamique à base de propriétés con...

Full description

Bibliographic Details
Main Author:	Oddos, Y.
Language:	FRE
Published:	2009
Subjects:	[SPI:NANO] Engineering Sciences/Micro and nanotechnologies/Microelectronics vérification PSL ABV Horus Synthorus synthèse haut niveau générateurs moniteurs vecteurs de tests solveurs pvs wishbone
Online Access:	http://tel.archives-ouvertes.fr/tel-00481923 http://tel.archives-ouvertes.fr/docs/00/48/19/23/PDF/sfv_0318.pdf

Similar Items

Synthèse des interfaces de communication dans la conception des systèmes monopuces : de la spécification à la génération automatique
by: Grasset, A.
Published: (2006)

Étude des interfaces logicielles/matérielles dans le cadre des systèmes multiprocesseurs monopuces et des modèles de programmation parallèle de haut niveau
by: Youssef, W.
Published: (2006)

Contribution aux Aspects Dorsaux de la synthèse de systèmes monopuces. Optimisation de code pour processeurs embarqués. Analyse de la consommation dans un environnement de synthèse comportementale
by: GUILLAUME, Ph.
Published: (1999)

Synthèse architecturale interactive et flexible
by: Ding, Hong
Published: (1996)

Validation de systèmes sur puce complexes du niveau transactionnel au niveau transfert de registres
by: Belhadj Amor, Zeineb
Published: (2014)

Exploration des liens entre la synthèse de haut niveau (HLS) et la synthèse au niveau transferts de registres (RTL)
by: VIJAYARAGHAVAN, V.
Published: (1996)

Synthèse de haut niveau pour la testabilité en-ligne
by: Naal, M.A.
Published: (2002)

Synthèse comportementale basée sur l'ordonnancement
by: Sugar, Z.
Published: (2000)

Synthèse architecturale flexible
by: Cesario, W.
Published: (1999)

Synthèse automatique de circuits numériques à partir de spécifications temporelles
by: Javaheri, Fatemeh Negin
Published: (2015)

Amélioration de performance de la simulation des modèles décrits en langages de description de matériel
by: Morawiec, A.
Published: (2000)

Plate-forme de prototypage rapide fondée sur la synthèse de haut niveau pour applications de radiocommunications.
by: Bomel, Pierre
Published: (2004)

Contribution à la prise en compte des contraintes des applications TDSI dans la synthèse de haut niveau
by: Le Gal, Bertrand
Published: (2005)

Méthodologie de conception de composants virtuels comportementaux pour une chaîne de traitement du signal embarquée
by: Savaton, Guillaume
Published: (2002)

Synthèse d'Interface de Communication pour les Composants Virtuels
by: Coussy, Philippe
Published: (2003)

Exploration d'architectures et allocation/affectation mémoire dans les systèmes multiprocesseurs mono puce = Architectures exploration and memory allocation/assignment in multiprocessor SoC
by: Meftali, S.
Published: (2002)

Vérification de propriétés logico-temporelles de spécifications SystemC TLM
by: Ferro, Luca
Published: (2011)

Molecular Detection and Characterization of Avian Bornavirus
by: Mirhosseini, Negin
Published: (2012)

The advance of assembly of exopolysaccharide Psl biosynthesis machinery in Pseudomonas aeruginosa
by: Huijun Wu, et al.
Published: (2019-10-01)

Detecção de Bornavírus, Poliomavírus e Circovírus em amostras biológicas, utilizando PCR e RT-PCR, de psitacídeos com diferentes aspectos clínicos
by: Natalia Philadelpho Azevedo
Published: (2014)

Detecção de Bornavírus, Poliomavírus e Circovírus em amostras biológicas, utilizando PCR e RT-PCR, de psitacídeos com diferentes aspectos clínicos
by: Azevedo, Natalia Philadelpho
Published: (2014)

Vers des générateurs de nombres aléatoires uniformes et gaussiens à très haut débit
by: Santoro, Renaud
Published: (2009)

Fixing Power Bugs at RTL Stage using PSL Assertions
by: Singh, Chandan
Published: (2013)

An implementation of a subset of PSL/PSA
by: Hajek, Francis B.
Published: (2011)

Pseudomonas aeruginosa Psl Exopolysaccharide Interacts with the Antimicrobial Peptide LG21
by: Joyce Seow Fong Chin, et al.
Published: (2017-09-01)

A Rational Designed PslG With Normal Biofilm Hydrolysis and Enhanced Resistance to Trypsin-Like Protease Digestion
by: Tiantian Su, et al.
Published: (2020-05-01)

Biosynthesis of the Pseudomonas aeruginosa Extracellular Polysaccharides, Alginate, Pel, and Psl.
by: Michael J Franklin, et al.
Published: (2011-08-01)

Interlaboratory comparisons on determining of alcohol by volume (abv) in vodka Measurement standards
by: L. I. Goryaeva, et al.
Published: (2020-06-01)

Effect of Polyhexamethylene Biguanide in Combination with Undecylenamidopropyl Betaine or PslG on Biofilm Clearance
by: Yaqian Zheng, et al.
Published: (2021-01-01)

Méthodes et outils de génération de code pour les plateformes multi-cœurs fondés sur la représentation de haut niveau des applications et des architectures
by: Elmrabti, A.
Published: (2010)

Synthèse au niveau système et conception de systèmes mixtes logiciels/matériels
by: BEN ISMAIL, T.
Published: (1996)

Modélisation multidisciplinaire VHDL-AMS de systèmes complexes : vers le Prototypage Virtuel
by: SNAIDERO, Sébsatien
Published: (2004)

On the Universal Group PSL(2, C)
by: Benjamin Fine, et al.
Published: (2019-06-01)

Prototype virtuel pour la génération des architectures mixtes logicielles/matérielles
by: Valderrama, C.
Published: (1998)

Overshadow Effect of Psl on Bacterial Response to Physiochemically Distinct Surfaces Through Motility-Based Characterization
by: Chunhui Zhai, et al.
Published: (2018-10-01)

Conception d'un circuit intégré pour la visualisation graphique
by: Matherat, Philippe
Published: (1978)

Une méthodologie de conception de modèles analytiques de surface et de puissance de réseaux sur puce hautement paramétriques basée sur une méthode d'apprentissage automatique
by: Dubois, Florentine
Published: (2013)

Modélisation du logiciel embarqué à différents niveaux d'abstraction en vue de la validation et la synthèse des systèmes monopuces
by: Bouchhima, A.
Published: (2006)

Contribution à la méthodologie de conception système : application à la réalisation d'un microsystème multicapteurs communicant pour le génie civil
by: Maurice, Rémy
Published: (2005)

Etude des liens entre la synthèse architecturale et la synthèse au niveau transfert de registres
by: Aichouchi, M.
Published: (1994)