Symbiotic EDA to give two tutorials at FPL 2019


David, Yosys and nextpnr developer at Symbiotic EDA, will be giving introductory tutorials on the Icestorm open source FPGA flow, and formal verification with SymbiYosys at the FPL 2019 conference in Barcelona. In the Icestorm tutorial, participants will get an overview of the open source FPGA tools space, and deploy a low-power RISC-V processor to the icebreaker development board. Participants in the formal verification tutorial will gain hands-on experience with the basic principles of formal, and see how it can find a bug in an AXI4-Lite IP core. More details on the tutorials can be found at https://symbioticeda.github.io/fpl2019 and the FPL conference at https://fpl2019.bsc.es/. David will also be available to meet during FPL if you are interested in any of Symbiotic EDA's projects.

131 views
logo.png
LINKS
ABOUT

Symbiotic GmbH 
Alaudagasse 11/107/6 
1100 Vienna 
Austria

ATU73115835

SOCIAL

© 2019 All rights reserved - find out more about our privacy policy