Description: Obsidian, a powerful note-taking and knowledge management tool. Forge connections between ideas, create a personal knowledge base, and enhance productivity with this markdown-based, local-first application.
Type: software
Pricing: free
Description: SureLog is an open-source structural Verilog and SystemVerilog lint, semantic check and automated formal verification tool. It can help detect bugs and ensure adherence to coding guidelines in Verilog/SystemVerilog designs.
Type: software
Pricing: Open Source