Wilson Snyder (wsnyder)

wsnyder

Geek Repo

Company:Veripool

Home Page:www.veripool.org

Github PK Tool:Github PK Tool


Organizations
chipsalliance
verilator
veripool

Wilson Snyder's repositories

sv-tests

Test suite designed to check compliance with the SystemVerilog standard.

Language:SystemVerilogLicense:ISCStargazers:3Issues:1Issues:0

verilator_book

Notes on Verilator

Stargazers:3Issues:0Issues:0

Cores-SweRV

SweRV EH1 core

Language:SystemVerilogLicense:Apache-2.0Stargazers:2Issues:1Issues:0

gtkwave

GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.

Language:CLicense:GPL-2.0Stargazers:2Issues:1Issues:0

myhdl

The MyHDL development repository

Language:PythonLicense:LGPL-2.1Stargazers:2Issues:2Issues:0

conda-packages

Conda build recipes for the toolchains needed by LiteX / MiSoC firmware

Language:ShellLicense:Apache-2.0Stargazers:1Issues:1Issues:0

ivtest

Regression test suite for Icarus Verilog. (OBSOLETE)

Language:VerilogLicense:GPL-2.0Stargazers:1Issues:0Issues:0

scr1

SCR1 is a high-quality open-source RISC-V MCU core in Verilog

Language:SystemVerilogLicense:NOASSERTIONStargazers:1Issues:1Issues:0

wbuart32

A simple, basic, formally verified UART controller

Language:VerilogLicense:GPL-3.0Stargazers:1Issues:0Issues:0
Stargazers:0Issues:0Issues:0

sphinx-example

A mini-tutorial / cheatsheet / link-collection to get you started documenting Python code using Sphinx.

Language:PythonStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

verilator

Verilator open-source SystemVerilog simulator and lint system

Language:C++License:LGPL-3.0Stargazers:0Issues:0Issues:0

verilog-mode

Verilog-Mode for Emacs with Indentation, Hightlighting and AUTOs. Master repository for pushing to GNU, verilog.com and veripool.org.

License:GPL-3.0Stargazers:0Issues:0Issues:0