Pinned Repositories
dvtalk.github.io
gist
Potentially the best command line gister.
dvtalk's Repositories
dvtalk/dvtalk.github.io
dvtalk/gist
Potentially the best command line gister.
dvtalk/AutoSVA
AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made in the signal declaration section of an RTL module, generate liveness properties so that the module would eventually make forward progress.
dvtalk/choose
A human-friendly and fast alternative to cut and (sometimes) awk
dvtalk/dvtalk
Config files for my GitHub profile.
dvtalk/indentLine
A vim plugin to display the indention levels with thin vertical lines
dvtalk/texel
Command line interface for reading spreadsheets
dvtalk/yamm
YAMM package repository