Bestand wählen
Merken

Synthesizing gateware with GCC

Zitierlink des Filmsegments
Embed Code

Automatisierte Medienanalyse

Beta
Erkannte Entitäten
Sprachtranskript
and you know it it so I can
stop so session but it like this this an and be severely I'm from Politecnico of Milano and it's a university users of open source software developed in our university and there we other people's have so this studies related to
FPGA design and DA is actually dead FPGA could be very helpful in order to have axillary to some specific application of general kind of acceleration uh but there are a lot of a nice story about an axis reading there and in critical uh key obligation here and the we have a list of possible acceleration that acts aration ranged from 2 x 2 sometimes the 1 and the next but the nice things about that PGA is that you have acceleration but I mean you up they believe in and to control their power consumption so power is not an issue even if you accelerate the the very the uh evenly amino you have sometimes for example for Monte Carlo simulation of 802 the faster of simulation and therefore defined more efficient than uh in terms of energy and so on and so forth so this is the 1st element of the toll the 2nd element of the talk is related to how to program these kind of things I mean is not easy them in in in the past the hour so I forked of from handling design that is something that currently wants even not even now have to use some motorway that kind of thing so may not in uh in the past and currently we have uh we have investigated that how to out tomatically translate for example not be able as speech to this specification that down to act an empty of distinction and my limit in this still to be but something that could be that sympathizers based on directly out tools like silence so uh and uh I I C or the bond or a Qantas of 4 so can but even that kind of thing is not the is a solid and the in the past there are several language that our users a way to express the VAD your uh we move from in the past the and the roles some effort in order to sing to buy some leverage the adhesion out down to have you have each year for example but that kind of things does not work since actually you are playing the same game of downward designer providing another language or another extension of the language in order to do the same things that a standard designers usually DOS ass so recently and the and that kind of specification use in order to automate this kind of process had been wounded to something of the subtitling different mean instead of using analysis that of the description languages have recently moved to softer language meanwhile like CEC ProSparse jammer for except for down even the for example or um around MIT and some company days even some effort in order to uh do I levels seem to the starting for example from other specific language like maybe that could be the respect so that anything restricting true but a description basins of soccer programming language in this spoken me we mainly consider see financial the nearest indurate for each of uh all the financial you have in your description a controller that a buffer in Ottawa so you have the controller and elaboration unique to this coming up yellow and the end of the process and then description there should be a sympathizer of available but we should a kind of things that technology could be uh in you during this kind of thing started basic or FPGA but I mean I think that recently that and the FPGA target this seems to be a lot more of the of all solutions to these problems I I usually have this kind of of tanks since so we use a lot actually and designing R is not a very easy I mean you need a part of media PhD or somehow at very high skew in order to do that kind of thing so maybe you have you need such kind of things even for software but anyway and the same that exploiting the ah our description a sorry uh so uh programming language could be a viable solution in order to I implemented uh another uh some key of cameras and actually should be as for internal by increasing the productivity of of the designer and that the other kind of things that could be interesting is that actually DATA still not to actually need all the schemes that are designed you need and you just need to know C and worse that C is not true but anyway that's is that they so that these are actually America and I think what would happen at the end so which is the quality of this kind of tools but is that it is getting better that's something that you use and getting better in as the but as time passes usually wars then handmade air RTL design but I mean I think is in England truly is softer if you write a summer cold usually are able to do better than that of any kind of C a or I languages um the aisle at 11 languages for softer programming at not and in the end that that is 1 side of the problem and the other kind of nice thing is that usually is bad and then softer parameters so if you have a microprocessor microcontroller and you compare the results of their levels in disease usually I love Asus synthesis way so that is nice the other nice things so make 1st things about the the erected
DCC why does he could uh it became a good came in this picture and this is Caesar compiler at start from a sea of utensils summer front-end and it supports several languages and when we tried to perform this kind of process at about the way to the translation from I level description to have the of designing is corrected in that there are a lot of things in common need compiler a infrastructure so we start to study music scene 2004 so this kind of prejudice that any school and we discovered that actually we may exploit more or less the same during the representation exploited by Jesus saying is so we started at primary presentation and weight that extract such kind of representation
because in that at that level of of Jesus easily intermediate 1 the 1
where actually ordered the intermediate a present the intermediate transformation our performance that we have exploited such
the the representation we may actually exploit on the standard optimization techniques performing in most of the compiler like this see in some of the advance of 1 over there and that kind of thing so we develop applications that extract such uh intermediate representation and serialize it is not time being a and then we build up over based uh during the presentation of the things needed in order to optimize the engery Yarborough something from that I mean there is functional location sharing a memory location that you know where you need to to perform some analysis in order to understand the size of the wisest and stuff like that in my location reduced our creation and that kind of things generate control and have idea and we have a single to work online to that is able to respect to start from start from a it's to start from us see this creature and generate these yellow and or or with a very I have this is the least of feature use support were assigned to support princesses reported Morris comparator of usually a recursive function is not so easy to support we support at more less uh GCC from 4 . 5 to 4 . 9 and there is a lot of these 2 motion we support from a wound to Fedora n and there is a rich set of component already developed and that perform worse on the basic fresh analogy you may have had lower level of uh internally you say from as the addition and subtraction of supporting the floating whatever you with a hand it in but in this kind of things on this kind of thing son described and a in open source so we maximize our description that could be easily extendable add there is a support for ification ultimate generation of this venture we exploit to have uh free softer project in order to perform such simulation in particular we exploit the goes becomes very November late or and also and we support some commercial people like model Sima I see more extreme from excited have we ever larger regression testing as any compiler should have and this is a large set thinking taken from academic side that even from but support for that same disease said at Morris the least these are almost complete interim of and to support and react even correct are currently considering in in the summer Alderson supported inventories there is yours broader that could be very nice in order to perform the same disease worst dude we missed at the last step I think but we have not so far in order to be able to program FPGA and so based on this so I have the example of BAK educators and a practical or a new uh it was the winner of the shaft free competition and perform sometimes a goal we take the same description and we compare with the chip this and made them and divided by the winner of the of the course so at all Eugenie control the Mory's and the made the bottom demand cited by subdividing the HTML so that kind of thing symbol of was passed to ban will added to uh we developed the end we actually are able to obtain a better performance losing some are I mean if you look to the lookup table I mean it is not so comparible endemic of parliament in terms of performance is not too bad and the 2nd example is not there is a nice of kind of thinks that the 1 of my students does is writing some rectangle received Karina on I own a VGA screen just exploiting some that seem primitive there and adding integrated that we were on we must have a standard course finally and even tried to us into dies and see which kind of weight all the support we are able to head and we start from an idle pursues broader development and uh at sentence and we are we 2 other partners and this is pretty large kind of project but that kind of product so we was able to send the pies and we are able to figure that kind of things in a single zinc of more the that's 8 I
we are keen to cooperation and integration we have a kind of 2 was why soon so comments on what FIL the it's very difficult to see so many words in victims of in the the the no point is not a problem so it so the question raised 1 of the problem over and over at the same this is also a problem of specific based on on a C or whatever is that see things to have a short memory there and so you have . 0 sorry medical point similarities that have we actually are able to deal with that kind of thinks is since we have a model location the user what the system does in order to figure out which is the size of the island and so on so forth that we have developed some units that are able to support the alignment and the non-aligned and access to the memory more is often a process is not as so the reason where we put address of the memory return and a debt and so on and support that kind of thing so also works pretty efficient a the and and and and you know the the the of the of the of the of so the question is is there is something that I of maybe BMS and be uh it could be a break a little bit more about the person is related to that there are some becomes inconsistent between the 2 languages of the world and you have to find the the what do you say so that then then that you know you so reversing so they here is to reverse-engineering this again say and then I actually have something that could be retargeted to any kind of armor and so on so forth at I mean it's a matter of design friend of the I mean I date that such kind of things for example for floating-point costs so I start sometimes from the ischial description of it available floating-point units and try to rewrite of Athenian C actually a had of most of the time that you have to be assumed that size that kind of thing it could be controlling see true masking there and saying that that kind of thing is not greater than that and so on and so forth compiler pretty clearing your in that kind of thing sees for example this is the form not now i in this start to support menu range is so we just have to had be analysis and so on and so forth so actually and I I'm I not thinks that could be a and not easily ported to to to say I'm thinking maybe 8 who have when you have to them stinks concurrent and and stuff like that but I mean it is an honor roll option and if you are on the design and as and I'm and I was in most of the time sometimes it is better to stop in in in in our design like I'm trying to do that kind of flat things that is try to avoid people that does not have on this gene usually you have uh uh another doesn't have a number of who the last year and just given exposing to putting tool and and and see I mean that kind of thing said the beginning is not the optimal but I mean it's a trade off it 1 of what so the question is about a recursive function recursive function a there are solution about that as a missionary in our currently have not implemented tools and solution repair concern the allocation of of a memory and so you have a static and actually during the same disease try to mimic what a process of dust building that uh they're stack and out and appointed allocation you you have we've uh we've our kosher is even true that at least deal now I do not see any of them by the uh thinks or high-performance thinks that could not be translating iterative way and uses it for example of optimization that ultimately just translate that kind of thing that could be translated from each other from inversion to introduce you want example Victoria could be example the the thank
Rechenzentrum
Beobachtungsstudie
Lineare Abbildung
Konfiguration <Informatik>
Open Source
Übergang
Dienst <Informatik>
Physikalisches System
Freeware
Software
Diskrete-Elemente-Methode
Field programmable gate array
Software
Energiedichte
Logiksynthese
Grundraum
Simulation
Hardware
Resultante
Adhäsion
Prozess <Physik>
Konfiguration <Informatik>
Compiler
Formale Sprache
Selbstrepräsentation
Turing-Test
Kartesische Koordinaten
Element <Mathematik>
Übergang
Deskriptive Statistik
OISC
Freeware
Field programmable gate array
Standardabweichung
Code
Gruppe <Mathematik>
Wärmeübergang
Translation <Mathematik>
Emulator
Umwandlungsenthalpie
Parametersystem
Prozess <Informatik>
Schiefe Wahrscheinlichkeitsverteilung
Globale Optimierung
Applet
Übergang
Ausnahmebehandlung
Nummerung
Mikrocontroller
Quader
Software
Diskrete-Elemente-Methode
Funktion <Mathematik>
Generizität
Ein-Ausgabe
Logiksynthese
Ordnung <Mathematik>
Simulation
Schlüsselverwaltung
Lesen <Datenverarbeitung>
Rechenzentrum
Lineare Abbildung
Gewicht <Mathematik>
Sprachsynthese
Dienst <Informatik>
Kombinatorische Gruppentheorie
Term
Demoszene <Programmierung>
Physikalisches System
Puffer <Netzplantechnik>
Spieltheorie
Software
Front-End <Software>
Inverser Limes
Maßerweiterung
Optimierung
Stochastische Abhängigkeit
Hardware
Leistung <Physik>
Programmiersprache
Beobachtungsstudie
Algorithmus
Mikroprozessor
Logiksynthese
Hardwarebeschreibungssprache
Mailing-Liste
Energiedichte
Rahmenproblem
Hypermedia
Mereologie
Gamecontroller
Energiedichte
Simulation
Differential
Mereologie
Freeware
Puls <Technik>
Desintegration <Mathematik>
Compiler
t-Test
Partielle Differentiation
Information
Anpassung <Mathematik>
Spezialrechner
Deskriptive Statistik
Hardwarebeschreibungssprache
Freeware
OISC
Softwaretest
Field programmable gate array
Standardabweichung
Code
Lineare Regression
Speicherabzug
Protokoll <Datenverarbeitungssystem>
Punkt
Cliquenweite
Softwaretest
Addition
Biprodukt
Zeiger <Informatik>
Generator <Informatik>
Menge
Suite <Programmpaket>
Ordnung <Mathematik>
Programmbibliothek
Simulation
Tabelle <Informatik>
Subtraktion
Hash-Algorithmus
Rechteck
Regulärer Ausdruck
Nummerung
Open Source
Informationsmodellierung
Modul <Datentyp>
Mobiles Internet
Skript <Programm>
Speicheradresse
Gruppoid
Stochastische Abhängigkeit
Analysis
Modul
Algorithmus
Gerichtete Menge
Open Source
Symboltabelle
Gasströmung
SIMA-Dialogverfahren
Gamecontroller
Compiler
Konfiguration <Informatik>
Minimierung
Selbstrepräsentation
Kartesische Koordinaten
Systemzusammenbruch
Analysis
Übergang
Bit
Gamecontroller
Wärmeübergang
Analogieschluss
Große Vereinheitlichung
Lineares Funktional
Softwareentwickler
Plug in
Kryptologie
Globale Optimierung
Aliasing
Knotenmenge
Diskrete-Elemente-Methode
Funktion <Mathematik>
Eliminationsverfahren
Generizität
Logiksynthese
Projektive Ebene
URL
Standardabweichung
Lineare Abbildung
Gewicht <Mathematik>
Ausnahmebehandlung
Transformation <Mathematik>
Kombinatorische Gruppentheorie
Term
ROM <Informatik>
Physikalisches System
Rhombus <Mathematik>
Konstante
Pi <Zahl>
Zusammenhängender Graph
Softwareentwickler
Optimierung
Touchscreen
Hardware
Data Encryption Standard
Lineare Regression
Elektronische Publikation
Bildauflösung
Paarvergleich
Gerade
Coprozessor
Advanced Encryption Standard
Touchscreen
Modelltheorie
Betriebsmittelverwaltung
Bit
Prozess <Physik>
Punkt
Minimierung
Compiler
Adressraum
Formale Sprache
Zahlenbereich
Quellcode
Deskriptive Statistik
Freeware
Informationsmodellierung
Bildschirmmaske
Spannweite <Stochastik>
Einheit <Mathematik>
Reverse Engineering
Kontrollstruktur
Umkehrung <Mathematik>
Gleitendes Mittel
Analysis
Gleitkommarechnung
Lineares Funktional
Krümmung
Gebäude <Mathematik>
Übergang
Ähnlichkeitsgeometrie
Physikalisches System
Konfiguration <Informatik>
Integral
Rahmenproblem
Festspeicher
Wort <Informatik>
URL
Rekursive Funktion
Ordnung <Mathematik>

Metadaten

Formale Metadaten

Titel Synthesizing gateware with GCC
Untertitel Bambu a free framework for the high-level synthesis of complex applications
Alternativer Titel Electronic Design Automation - Bambu
Serientitel FOSDEM 2015
Autor Ferrandi, Fabrizio
Lizenz CC-Namensnennung 2.0 Belgien:
Sie dürfen das Werk bzw. den Inhalt zu jedem legalen Zweck nutzen, verändern und in unveränderter oder veränderter Form vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen.
DOI 10.5446/34353
Herausgeber FOSDEM VZW
Erscheinungsjahr 2016
Sprache Englisch
Produktionsjahr 2015

Inhaltliche Metadaten

Fachgebiet Informatik

Ähnliche Filme

Loading...
Feedback