German Research Center for Artificial Intelligence | Verification and Virtual Prototyping for RISC-V Systems @dfkivideo | Uploaded 3 years ago | Updated 9 hours ago
#RISC-V is an innovative, open-source and increasingly widespread computer architecture that provides an independent and cost-effective alternative to major #chip manufacturers. Using formal #verification tools and an industry-standard verification platform based on SystemC, #scientists from the DFKI research department Cyber-Physical Systems are working on the correctness of RISC-V-based systems in order to be able to write and test #software for the processors of the future even before they are manufactured. The "VerSys" project is funded by the German Federal Ministry of Education and Research (BMBF).
#HannoverMesse #HannoverMesse2021 #Industry #DFKI #research #technology
#innovation #Bremen #chip #KI #AI #ArtificialIntelligence #KünstlicheIntelligenz
------
Verifikation und virtuelles Prototyping für RISC-V-Systeme
RISC-V ist eine innovative, quelloffene und zunehmend verbreitete #Rechnerarchitektur, die eine unabhängige und kostengünstige Alternative zu großen Chipherstellern darstellt. Mit formalen Verifikationswerkzeugen und einer industrietauglichen Verifikationsplattform auf SystemC-Basis arbeiten Wissenschafter*innen des DFKI-Forschungsbereichs Cyber-Physical Systems an der Korrektheit von RISC-V-basierten Systemen, um noch vor ihrer Fertigung #Software für die #Prozessoren der Zukunft schreiben und testen zu können. Das Projekt „VerSys“ wird vom Bundesministerium für Bildung und Forschung (BMBF) gefördert.
https://www.hannovermesse.de/aussteller/dfki/N1281070#detailExhibitorId2
More infomations about the German Research Center for Artificial Intelligence:
https://www.dfki.de
follow DFKI:
Twitter: twitter.com/dfki
Facebook: facebook.com/DFKI.GmbH
Instagram: instagram.com/dfki_offici...
LinkedIn: de.linkedin.com/company/dfki
#RISC-V is an innovative, open-source and increasingly widespread computer architecture that provides an independent and cost-effective alternative to major #chip manufacturers. Using formal #verification tools and an industry-standard verification platform based on SystemC, #scientists from the DFKI research department Cyber-Physical Systems are working on the correctness of RISC-V-based systems in order to be able to write and test #software for the processors of the future even before they are manufactured. The "VerSys" project is funded by the German Federal Ministry of Education and Research (BMBF).
#HannoverMesse #HannoverMesse2021 #Industry #DFKI #research #technology
#innovation #Bremen #chip #KI #AI #ArtificialIntelligence #KünstlicheIntelligenz
------
Verifikation und virtuelles Prototyping für RISC-V-Systeme
RISC-V ist eine innovative, quelloffene und zunehmend verbreitete #Rechnerarchitektur, die eine unabhängige und kostengünstige Alternative zu großen Chipherstellern darstellt. Mit formalen Verifikationswerkzeugen und einer industrietauglichen Verifikationsplattform auf SystemC-Basis arbeiten Wissenschafter*innen des DFKI-Forschungsbereichs Cyber-Physical Systems an der Korrektheit von RISC-V-basierten Systemen, um noch vor ihrer Fertigung #Software für die #Prozessoren der Zukunft schreiben und testen zu können. Das Projekt „VerSys“ wird vom Bundesministerium für Bildung und Forschung (BMBF) gefördert.
https://www.hannovermesse.de/aussteller/dfki/N1281070#detailExhibitorId2
More infomations about the German Research Center for Artificial Intelligence:
https://www.dfki.de
follow DFKI:
Twitter: twitter.com/dfki
Facebook: facebook.com/DFKI.GmbH
Instagram: instagram.com/dfki_offici...
LinkedIn: de.linkedin.com/company/dfki