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
Description: WayDroid is an open source Android emulator that allows Android apps to run on Linux. It integrates the Android runtime environment into a Wayland compositor and features hardware acceleration which allows it to be very fast compared to other Android emulators.
Type: software
Pricing: Open Source