SEFUW: SpacE FPGA Users Workshop, 5th Edition

Linty: Fix HDL bugs before they even exist (Linty Services)

16 Mar 2023, 15:40

25m

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

Tools Vendors Tools Vendors

Speaker

David Racodon (Linty Services)

Description

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 to help

You're welcome to attend this demo that will highlight Linty's best attributes:

• Modern and user-friendly web interface that provides actionable feedback for all project stakeholders: designers, managers and auditors
• Wide range of checks on HDL languages (VHDL and Verilog/SystemVerilog)
• Fully integrated within your DevOps process
• Focus on new code
• Technical debt to manage your IP portfolio
• BugFinder: Advanced and valuable checks based on synthesized output
• Code coverage from test benches
• Qualification kit (DO-254, DO-330, IEC 61508, EN 50129, ISO 26262, etc.)

Presentation materials

Linty-VHDL-Verilog-Sefuw-v3.pdf