toddstrader

verilator-dev

Verilator development

ac-remote

Wireless controller for Fujitsu Halcyon AC units

cocotb

Coroutine Co-simulation Test Bench

cocotb-bus

Pre-packaged testbenching tools and reusable bus interfaces for cocotb

cocotb_wallento

Cores-SweRV

SweRV EH1 core

deep-learning

Repo for the Deep Learning Nanodegree Foundations program.

verilator_ext_tests

Extended and external tests for Verilator testing

dlnd_prj1

dotfiles

Just some dotfiles

dpi-compile

DPI protected Verilog proof of concept

iverilog

Icarus Verilog

ivtest

Regression test suite for Icarus Verilog.

slang

SystemVerilog compiler and language services

sv-tests

Test suite designed to check compliance with the SystemVerilog standard.

test

test

verilator

Verilator open-source SystemVerilog simulator and lint system

verilator-enum-func

Verilator has problems with constant functions that return enums

verilator-integer-array

Can't typedef an integer array

verilator-intf-err-msg

Totally unhelpful interface error message

verilator-linkdot-elab

Issue #517 fix

verilator-long-module-name

Regression test for long module names in Verilator

verilator-scope-map

Adding a scope map to the symbol table class for more design reflection

verilator-setbit-fix

Fixing V3Number::setBit()

verilator-static-elab

Hacking on things that should be const-able

vimium

The hacker's browser.

wbuart32

A simple, basic, formally verified UART controller