Taiman_Verilog - Taiman's verilog code for Synopsis benchmarking

src - source compilation code

verilog_tests - generated verilog code

language.tex - description of the language