SEFUW: SpacE FPGA Users Workshop, 5th Edition

Session

Tools Vendors

16 Mar 2023, 15:15

Erasmus High Bay (European Space Research and Technology Centre (ESTEC))

Conveners

Tools Vendors

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

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...

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...