IUS62 INCISIVE UNIFIED SIMULATOR linux. ENVIRONNEMENT Xwin32 -> lappsun26, lappsun27 Script d’initialisation de l’environnement –Mldv Aide –cdnshelp.

Slides:



Advertisements
Présentations similaires
VI50 – TP3 Introduction à Virtools. Virtools Virtools Media Design 3DS, Maya, Lightwave… Sound Design wav, mp3… Texture, 2D interface jpg, bmp… Specific.
Advertisements

ELEN0075: Electronique Analogique 2009
Page 1 Introduction à ATEasy 3.0 Page 2 Quest ce quATEasy 3.0? n Ensemble de développement très simple demploi n Conçu pour développer des bancs de test.
Cours #8 Flot de conception d’un circuit numérique
Historique de SystemC Regroupe 4 courants didées: SCENIC Project : Synopsys+UC Irvine Philips System-Level Data Types, VSIA SLD DWG IMEC, Hardware-Software.
IFT – Ingénierie des connaissances Exposé darticle « Applying a library of problem-solving methods on a real-life task » Piet-Hein Speel et Manfred.
©Frédéric Bastien 2006 Université de Montréal 1 LISATek LISATek pour concevoir des processeurs.
Formation en alternance
Cours #7 Vérification d’un modèle VHDL
COMPOSANTS PROGRAMMABLES
PHP 2° PARTIE : FONCTIONS ET FORMULAIRE
PHP & My SQL.
Introduction à l’environnement logiciel Clips
Le VHDL : SOMMAIRE I Introduction II Éléments généraux du langage
Banc d’essai pour un circuit combinatoire
Méthodologie de conception Outils de conception
ELEN0075: Electronique Analogique 2009
Mise au point de systèmes mixtes et évaluation de puissance : Un exemple d’application Anne-Marie TRULLEMANS- ANCKAERT FTFC’03 UCL-DICE, Place du Levant.
Concepts intermédiaires de VHDL
TP N°4 – M2 EEA SM Conception en Vue du Test. Objectifs Réaliser le flot complet de synthèse – test – synthèse en vue du test Utilisation d’un design.
Module 9 : Transfert de données. Vue d'ensemble Présentation du transfert de données Outils d'importation et d'exportation de données disponibles dans.
SciTools Understand A Source Code Analysis and Metrics Tool
Utiliser les fichiers d’un ordinateur
Logs, backup, maintenance
1 Programmation en C++ Marianne Morris. 2 Intro générale à la programmation On a déjà étudié le langage assembleur Langage de bas niveau Meilleur que.
INF3500 : Conception et implémentation de systèmes numériques Pierre Langlois Flot de conception de.
Conception de Programmes - IUT de Paris - 1ère année Conception de Programmes Objectifs et organisation du cours Introduction à la P.O.O.
Michael IT Engineer GBIF France Buenos Aires (Argentina) 28 September 2011 Formation sur la publication des données de biodiversité.
Cours Access TuanLoc NGUYEN. Contact Nguyen TuanLoc Tél: Web:
Comprendre le SGBDR Microsoft Access – partie 2
Mediator 9 - Un outil de développement multimédia 3AC Techno/Informatique.
Les outils de tests 1 1 CHAKI Abderrazak - ETIENNE Jonathan - TOUMI Nacereddine - VACHER Nicolas.
1 Monopalme Projet 4 Info Spécifications LE LAY Olivier MAHE Jocelyn FORM Nicolas HENRY Gurvan BONNIN Thomas BASSAND Guillaume Décembre 2009 MONNIER Laurent.
1 Les bases de données Séance 7 Les fonctions avancées : Opérateurs ensemblistes, Sous-requêtes et transactions.
Tutoriel n°4 : Administration Technique Formation : profil Administrateur.
Contrôle, configuration et acquisition de données à l’Irfu Laboratoire d’Ingénierie Logicielle pour les Applications Scientifiques.
KMM Tun Lanoë C.Oziol F. Salomon 24 juin  Présentation du projet AGATA  Présentation de la carte Carrier ATCA  Préparation de la fabrication.
UTILISER POWEPOINT Cours de Dominique MEGANCK D’après un diaporama issu du site
SBU DISTRIBUTION DE L’ENERGIE Titre de la présentation en Arial, 45 Panorama des nouveaux produits et des nouvelles fonctionnalités intégrées au logiciel.
1 Initiation aux bases de données et à la programmation événementielle VBA sous ACCESS Cours N° 1 Support de cours rédigé par Bernard COFFIN Université.
FACTORY systemes Module 5 Page 5-1 Les outils clients Wonderware FORMATION InSQL 7.0.
Initiation aux bases de données et à la programmation événementielle Outil de création des tables Support de TD rédigé par Bernard COFFIN Université Paris.
Projet Personnel (Epreuve 6) Projet réalisé dans le cadre de mon épreuve E6 au sein de mon alternance au conseil départemental du val de marne Arnaud PICANO.
1 Les bases de données Séance 5 -- Le Langage de Définition de Données ou la manœuvre de la structure de la base -- Le Langage de Manœuvre de Données.
MORPHO APPORTEZ CONFIANCE ET CONFORMITE A VOS PARCOURS DIGITAUX.
UML : Unified Modeling Language. Plan ● Introduction ● Diagramme d'activité ● Diagramme de classe.
UML : méthode Processus. Introduction(1) ● Cycles ● Spécification par cas d'utilisation ● Identifier les besoins ● Analyse par cas d'utilisation ● Affiner.
Introduction à la Programmation Orientée Objet H.GATI.
Présentation Objectifs du TP Mesures 1  Réalisation  Exploitation  Conclusion Mesures 2  Réalisation  Exploitation  Conclusion Titre du TP Système.
A.I.P. Saint Michel 2011 A.I.P. Saint Michel 2011 Inside ASCOM v6 Nicolas CUVILLIER
Matlab (Matrix Laboratory) Langage de programmation évolué. Traitement direct d’opérations matricielles, dont l’inversion et l’analyse d’opérateurs ou.
Modes de Marches et d’Arrêts
 Introduction  Les protocoles de sécurité  Les attaques possibles  Conclusion.
CEA Dapnia Saclay 24 Janvier Hervé COPPIER ESIEE-Amiens De L’Identification et de la Modélisation au Contrôle : le Multicontrôleur,
On the analysis of CMMN expressiveness: revisiting workflow patterns Renata Carvalho Hafedh Mili.
Les limites de l’UML Présenté par : Samah Dekhil 1.
Formation Ouverte et A Distance Bureau des expertises techniques, des projets d'infrastructures et de la sécurité des systèmes d'information Parcours de.
Suivi et Évaluation de la Performance d ’un Système Logistique Partie 2: Indicateurs des Résultats Logistiques Note au formateur: Distribuer le polycopié.
THALES GROUP INTERNAL Ce document est la propriété de Thales Group et il ne peut être reproduit ou communiqué sans autorisation écrite.
Créer un SmartArt Les graphiques SmartArt permettent de communiquer visuellement de l'information. Il peut s'agir de listes ou de diagrammes simples, mais.
Les applications O.Legrand G. Seront. Les applications Chaque application a son Linux.
Montage (URANE V2-V3) Storyboard v Guide de lecture du storyboard Schéma visuel de l’écran Titre de l’écran/objectif pédagogique en cours Description.
1 Initiation aux bases de données et à la programmation événementielle Construction d’un état Support de TD rédigé par Bernard COFFIN Université Paris.
L’exercice d’aujourd’hui Analyse de quelques collisions proton- proton réelles dans CMS – Identifier les particules, déterminer ce qui s’est passé au cours.
SPI Pédagogie différenciée1 Différencier Faire des différences Varier ses propositions Reconnaître les différences Mieux les ajuster Les prendre en compte.
Réaliser un CD lecteur de salon (photos ou vidéos) pouvant être lu
Gestion des fichiers - Niv1
Windev.
Présenté par Viviane Lévesque
Gestion des fichiers - Niv1
Transcription de la présentation:

IUS62 INCISIVE UNIFIED SIMULATOR linux

ENVIRONNEMENT Xwin32 -> lappsun26, lappsun27 Script d’initialisation de l’environnement –Mldv Aide –cdnshelp

LOGICIELS IUS AMS DESIGNER SILICON ENSEMBLE NC-SC NC-VHDL NC-VERILOG

SIMVISION

NOUVELLES FONCTIONALITES Source Browser Schematic Tracer Memory Viewer Register Expression Calculator Assertion Browser

CROSS PROBING Sélectionne une instance dans la fenêtre Design Browser -> Send to Schematic Tracer Les différents process sont représentés sous forme de rectangle Sélectionne un process -> Send to Source Browser Le code s’affiche et un pointeur pointe sur la ligne de code du process Une fois toutes ces fenêtres ouvertes, elles sont toutes en intercommunication.

OUTILS DE VERIFICATION ASSERTION-BASED VERIFICATION TRANSACTION-BASED VERIFICATION

ASSERTION BASED VERIFICATION PSL PROPERTY SPECIFICATION LANGUAGE NORME IEEE 1850 SVA SYSTEM VERILOG ASSERTION NORME IEEE 1800

ASSERTIONS PSL Les assertions se présente sous la forme de commentaire et du mot clé psl -- psl Les assertions psl sont utilisées pour vérifier des relations temporelles entre les différents signaux d’un circuit

ELEMENTS D’UNE ASSERTION Propriété : Partie principale d’une assertion, décrit la condition ou la séquence à vérifier. Conditions de déclenchement Conditions à remplir Conditions de désactivation Exemple : -- psl ctrl1 : assert never (load='1' AND ena='1') ;

FONCTIONS PREDEFINIES Fonctions relatives au changement d’état –rose() –fell() –prev() –stable() Fonctions détectant la valeur d’un bit –isunknow() –countone() –onehot()

OUTILS DU SIMULATEUR NCSIM Contrôle et visualisation des assertions -assert Les assertions sont vues comme les autres objets pour le simulateur. On peut les visualisées, mettre des points d’arrêts…

INCISIVE ASSERTION LIBRARY

AIDE cdnshelp –Description des modules ial Manuals: Incisive Assertions-Based Verification  ABV Introduction and Overview  2 ABV Documentation Set  Detailed Reference Material for ABV  Incisive Assertion Library Reference  4- Data Sheets

LIBRAIRIES IAL 70 Modules de vérification –Ial_constant -> Vérifie que le signal d’entrée à une valeur constante pendant la durée d’un signal enable. –Ial_fifo -> vérifie que la FIFO n’est jamais vide ou pleine

SIMULATION ial_package.vhd ial.v Instanciation des modules de vérification

TRANSACTION BASED VERIFICATION Outil: TxE INTEGRE DANS IUS

TxE Explorateur de transactions –fiber (stream) –Objet complexe défini en systemc –signal

TCL Script tcl Help –Manuals: Incisive Unified Simulator Topics : Transaction Explorer User Guide Exemples – /tools/txe/examples

COMPARESCAN Logiciel de comparaison de résultat de simulation

CARACTERISTIQUES Compare les fichiers SST2 ou VCD Crée un fichier rapport Deux types de comparaison –Deux objets de la même base de données –Deux bases de données différentes

comparescan Commande –Comparescan bd-reference.trn bd.trn Exemple – /tools/simvisdai/examples/comparescan

irun Exécutable permettant de lancer la simulation d’un projet.

LANGUAGES SUPPORTES VHDL VERILOG SYSTEMC

AIDE irun –h Commande irun –f irun.f

FICHIER D’ARGUMENTS Fichier irun.f decompteur.vhd simFonct.vhd -top worklib.simFonct:s1 -access +rwc -assert -gui -input setup.tcl

SCRIPT TCL database -open waves -into db1.shm -default -event probe -create -shm i1 -all -depth all probe -create -assertions -waveform -signals :i1:CTRL1 probe -create -waveform :load probe -create -waveform :clk probe -create -waveform :data_in probe -create -waveform :ena probe -create -waveform :rst probe -create -waveform :zero run