Description: Castle is an open-source model-based testing framework for .NET that makes it easy to automate testing activities like implementing stubs and mocks, parameterizing tests, and sharing test context across tests.
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