Exploratie van de ontwerpruimte 3. Prototypes, emulatie en simulatie Prof. dr. ir. Dirk Stroobandt Academiejaar 2004-2005.

Slides:



Advertisements
Verwante presentaties
Verbinden van Onderwijs en Onderzoek Inleiding in de methode
Advertisements

Vincent Poté Nelis Vandermeiren Simen Akkermans Kevin De Neef
De zin en onzin van escrow
Testen van embedded systemen
Wideband Delphi methode
Elektrotechniek Elektrotechniek is een heel breed vakgebied.
De totstandkoming van domotica in het Leo Polak
Educational model for assessment
Universiteit Antwerpen Karel de Grote-Hogeschool
Embedded systemen Embedded software.
1 Co-Design at Chess-iT Guus Bosman. 2 Afstuderen bij Chess Net.Footworks tot augustus 2003 Afstuderen augustus 2003 tot maart 2004 Chess full-time vanaf.
Advies databankarchivering COP Documentbeheer en archivering III 25 november 2008.
Systeemintegratie in de zorg Introductie op het thema Bart Degryse.
The Cross Entropy method for Credit Portfolio Monte Carlo calculations Floris de Vooys 10 December 2011.
Ontwerpprojecten In de praktijk
Digitale Elektronica en Processoren
BESTURINGS SYSTEMEN Vincent Naessens.
Simulatie van gedistribueerde voetbalstrategieën Tim Vermeulen Promotor: dr. Katja Verbeeck Copromotoren: ing. Tony Wauters, ing. Koen Vangheluwe, Opdrachtgever:
Welkom! Hans Dollen en Wim Fikkert. 2 Juli 2003Mission Impossible Simulator2/17 De presentatie Wat is robot voetbal? De doelstelling Requirements Ontwerp.
Kwaliteit en betrouwbaarheid van simulaties ir. Rudolf van Mierlo Efectis Nederland BV.
XBRL in Perspectief - internationaal - Belastingdienst
Workshop 14 dec Marcel Muitjens (ASML); voorzitter van de stichting Dolfyn Dolfyn.
DSP Valley Adviseerdienst voor herconfigureerbare ingebedde systemen
De implementatie van de UIML standaard in UIML.NET Ingo Berben Eindwerk voorgedragen tot het behalen van de graad van bachelor in de informatica/ICT/kennistechnologie.
Prestaties Schatten en Managen
1 Thesis en stage Thesis -zelfstandig uitdiepen complex onderwerp -onder begeleiding promotor Stage -Thesis via een bedrijf Kiezen via ESP voor eind juni.
Hoofdstuk 6: Controle structuren
Meet- en Regeltechniek Les 4: De klassieke regelaars
Hoofdstuk 5 Het belang van geheugens Prof. dr. ir. Dirk Stroobandt Academiejaar
Ontwerpmethodologie van Complexe Systemen
Exploratie van de ontwerpruimte 2. De Hardware/software-grens Exploratietools Prof. dr. ir. Dirk Stroobandt Academiejaar
Hoofdstuk 4 Het belang van interconnecties Prof. dr. ir. Dirk Stroobandt Academiejaar
Hoofdstuk 6 Het voorspellen van prestaties Deel 2: Vermogenvoorspellingen op architectuurniveau Prof. dr. ir. Dirk Stroobandt Academiejaar
1 Prof. Dr. Martine De Cock academiejaar Eenvoudige wiskundige uitdrukkingen.
1 Orientatie InformatieSystemen K.M.van Hee hgl. architectuur van informatiesystemen dir. Deloitte & Touche Bakkenist TU/e 2001.
Zullen we het ooit leren? Maarten Boasson Quaerendo Invenietis bv Universiteit van Amsterdam.
TUDelft Knowledge Based Systems Group Zuidplantsoen BZ Delft, The Netherlands Caspar Treijtel Multi-agent Stratego.
Java patterns Introductie tot GoF patterns in Java.
Opleiding ICT © J.W. Jonker Dia 1/32 Systemen Besturingssoftware Windows XP Mark van Heck.
Designing Knowledge Systems b Hoofdstuk 11 van Knowledge Engineering and Management. The CommonKADS Methodology. b A.Th. Schreiber, J.M. Akkermans, A.A.Anjewierder,
Welkom bij de presentatie van CodeMunity. Voorstellen Khai Pham Corné Strijkert Sebastiaan Wezenberg.
Title VHDL Introductie FirstName LastName – Activity / Group.
Dirk Smets KHLim - dep. IWT Digitale Elektronica Programmeerbare Logica FPGA : Field Programmable Gate Array DIA 1 DIA 1 Verdere FPGA-producten Discontinued!
Verbinden van Onderwijs en Onderzoek Inleiding in de methode
Agententechnologie Les 5: reactieve en hybriede agenten
Cijfer verwerkings systeem Door: Ridvan Fatih saqib.
1 Wie durft er nog in een vliegtuig, trein of auto te stappen? Over betrouwbaarheid van software Frits Vaandrager Institute for Computing and Information.
1/1/ /e/e eindhoven university of technology OGO 1.2 project Startbijeenkomst Een microprocessor… …om warm voor te lopen.
MICROCONTROLLERS.
Page 1 HiSPARC FPGA & software aanpassingen Rais Mense.
Combinatorische logica
Ontwerpen van Digitale Systemen
Visual Basic.NET voor studenten De VB- ontwikkelomgeving Hoofdstuk 2.
Sparkle een bewijssysteem voor Clean Maarten de Mol Katholieke Universiteit Nijmegen 11 januari 2002.
Maandag 18 november Licht & witbalans Avond fotografie – blauwe uurtje
Die ziekte in mijn familie krijg ik die later ook?
Exploratie van de ontwerpruimte 1. Prestatiematen Prof. dr. ir. Dirk Stroobandt Academiejaar
Een overzicht van de hedendaagse mogelijkheden voor het bouwen van websites.
De link tussen functionaliteit en adaptatie
1 Ontwerp van een hardware-versneller voor de vergelijking van DNA-sequenties Promotoren: Prof. Stroobandt (ELIS) Prof. Van de Peer (PSB) Begeleiders:
Introductie Systems Engineering
Informatica aan de Universiteit Antwerpen Academische Bachelor en Master.
1 IT Service Management George Pluimakers Theorie (3)
Hoorcollege 1: efficiëntie en complexiteitsontwikkeling.
Hoorcollege 1: efficiëntie en complexiteitsontwikkeling.
Emulatie vs virtualisatie Docent: Schooljaar:. Emulatie vs virtualisatie Simulatie.
Mobieltjes aan s.v.p. Actief ICT gebruik in de les Wouter van Joolingen ELAN, Universiteit Twente Wouter van Joolingen ELAN, Universiteit Twente.
Virtualisatie 29 sept 2012 Een wegwerpcomputer met VirtualBox
Ministerie van BZK – 3 november 2016
Promotie-onderzoek naar een 3D datamodellering
Transcript van de presentatie:

Exploratie van de ontwerpruimte 3. Prototypes, emulatie en simulatie Prof. dr. ir. Dirk Stroobandt Academiejaar

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Inhoud (deel 1) Inleiding over Ingebedde systemen, System-on-Chip en Platform- gebaseerd ontwerp Systeemspecificatietechnieken Exploratie van de ontwerpruimte –Prestatiematen –De hardware/software-grens Raamwerk voor architectuurexploratie Hoogniveautransformaties Hardware/software-partitionering Exploratietools –Prototypes, emulatie en simulatie

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Systeemverificatie Vier methodes om « first-time-right silicon » te bereiken: –Specificatie op hoog abstractieniveau gevolgd door automatische synthese –Simulatie op verschillende niveaus –Formele verificatie –Prototypering en emulatie

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Simulatie Standaardtechniek voor de validatie van ontwerpen op verschillende niveaus Enkele nadelen –Extreem tijdsverslindend (1M x trager dan RT voor grote ontwerpen) –Heeft een expliciet model nodig van de testbank (kan even lang duren om die op te zetten dan om het systeem te ontwerpen) –Moeilijk om interfaces mee te simuleren –Zelfs cyclusgebaseerde simulaties zijn veel trager dan echte hardware

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Formele verificatie Wordt belangrijker door problemen met simulatie Twee types: –Specificatiedebugging (specificeerde ik wat ik wou?) –Verificatie van de implementatie Nog vele restricties: –Hoge complexiteit –Moeilijk om tijdsbeperkingen mee te nemen –Moeilijk om de omgeving mee te nemen

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Prototypering en emulatie Emulatie is slechts 100 keer trager dan RT Integratie van de omgeving is veel gemakkelijker Reeds standaardtechniek in CPU-ontwerp en meer en meer gebruikt in ASIC-ontwerp Co-emulatie i.p.v. co-simulatie voor co-ontwerp Nadeel: tijdsfouten zijn moeilijker te detecteren Daarom: meestal testen van functionele correctheid

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Prototypering en emulatie Andere nadelen van emulatie: –Trage compilatie als het ontwerp wijzigt –Verschillende ontwerpstrajecten voor de implementatie en de emulatie –Hoge kost Te vermijden door niet te emuleren op poortniveau (standaard) maar op hogere abstractieniveaus

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Verschillende emulatie-aanpakken Nog steeds meest gangbare aanpak Van simulatie, via emulatie, naar simulatie zolang er fouten optreden Migratie verschillend van uiteindelijke implementatie in ASIC Synthese voor implementatie VHDL Simulatie Migratie Silicium Emulatie

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Verschillende emulatie-aanpakken Betere methode Fouten in de VHDL broncode kunnen gedetecteerd worden Kan uitgebreid worden tot meer abstracte niveaus (RT) VHDL Silicium Emulatie Synthese voor emulatie Synthese voor implementatie

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Emulatiesystemen FPGA-gebaseerde systemen –Off-the-shelf (Xilinx, Altera) –Speciaal ontwikkeld voor emulatie Eigengereide implementaties

Dirk Stroobandt: Ontwerpmethodologie van Complexe Systemen Nieuwe trends in emulatie « Source-level emulation » (SLE) –Behouden van verband tussen een HW- implementatie en de broncode (vb. Gedrags-VHDL) –Analogie met SW-debugger Zetten van breekpunten Selecteren actieve variabelen Voortzetten programma