Description: The .NET Micro Framework for Linux is a small, free and open-source platform by Microsoft that allows writing .NET applications for resource-constrained devices running Linux. It includes a small version of the .NET runtime and libraries.
Type: software
Pricing: Open Source
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