Login

SEFUW: SpacE FPGA Users Workshop, 5th Edition

14–16 Mar 2023
European Space Research and Technology Centre (ESTEC)
Europe/Amsterdam timezone
Presentations available

For information please write to

Session

Tools Vendors

16 Mar 2023, 15:15
Erasmus High Bay (European Space Research and Technology Centre (ESTEC))

Erasmus High Bay

European Space Research and Technology Centre (ESTEC)

Keplerlaan 1 2201AZ Noordwijk ZH The Netherlands

Conveners

Tools Vendors

  • Florent Manni (CNES (DSO/TB/ET))
  • Alberto Urbón Aguado (Telespazio for ESA)

Presentation materials

There are no materials yet.

  1. 34. New Open Source Design Verification Tools from YosysHQ
    Nina Engelhardt (YosysHQ)
    16/03/2023, 15:15
    Tools Vendors

    Yosys is a well-known open source framework for design synthesis and verification. This talk presents an overview of the Yosys-based tools, with a focus on issues relevant to applications of FPGAs in space. Thanks to its extensibility and open interfaces, Yosys is an excellent basis for building both generic and highly customized EDA tools. Examples of such tools by YosysHQ include formal...

    Go to contribution page
  2. 9. Linty: Fix HDL bugs before they even exist (Linty Services)
    David Racodon (Linty Services)
    16/03/2023, 15:40
    Tools Vendors

    Linty continuously scans your code (VHDL and Verilog/SystemVerilog) to keep it maintainable and reliable (bug free).

    Linty is likely to become your favorite companion. We can guarantee that:

    • It will always please you with nice surprises
    • It will never rant or get angry
    • It will be continuously doing its duty without getting exhausted
    • It will always be there...
    Go to contribution page
Building timetable...