buildit
verilator
Our great sponsors
buildit | verilator | |
---|---|---|
1 | 11 | |
113 | 2,037 | |
0.9% | 5.0% | |
7.5 | 9.8 | |
11 days ago | 5 days ago | |
C++ | C++ | |
MIT License | GNU Lesser General Public License v3.0 only |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
buildit
-
Build→It: a type based library framework for multi-stage imperative programming
The repository also has other samples which demonstrate code generation besides just loop unrolling. If you look at - https://github.com/BuildIt-lang/buildit/blob/master/samples/sample17.cpp and its corresponding output - https://github.com/BuildIt-lang/buildit/blob/master/samples/outputs/sample17 we have an example where you can write an interpreter for a simple language and BuildIt can turn it into a compiler. While this result is not new, in our opinion we make it considerably easy. Specifically we allow side effects on static variables inside control flow dependent on dynamic expressions. The outcome of this might not be obvious, but this allows you to, for example create nested loops which were not there in the original program but were present in the language input (BrainFuck in this case) that you were trying to interpret.
verilator
-
What's new for RISC-V in LLVM 17
You may want to check out Verilator:
-
Error when running cocotb using cocotb-test
It is 4.106, check https://github.com/verilator/verilator/issues/2778 for more details.
-
Verilator: Suggestions for verification framework?
Yeah, there is currently a bug and only one specific version of verilator works with cocotb (4.106). Hopefully it will be fixed soon. Go make noise here: https://github.com/verilator/verilator/issues/2778.
-
Vitis HLS and Verilator
Okay, made it. Problem is, that my account is flagged as soon as I created it, I am marked as "spammy", and my "comments will only be shown in staff mode". https://github.com/verilator/verilator/issues/3159
-
Systemverilog / verilog functional editor not like vivado
If you will help me with systemverilog black box discusion (I have very low systemverilog experience) and verilator will get update then I will upload on github plugin to Sublime Text which lint whole file every time when you stop typing. Currently I have plugin based on Vivado's compiler, but compilation of simple verilog file takes 1'400ms...
-
The FPGA Institute of Technology
Here is the bug report in question: https://github.com/verilator/verilator/issues/2625
What are some alternatives?
wavedrom - :ocean: Digital timing diagram rendering engine
HLS-Tiny-Tutorials - This is forked from Xilinx HLS-Tiny-Tutorial. I'm learning HLS and adding Verilator testbench to verify the generated RTL
riscv_vhdl - Portable RISC-V System-on-Chip implementation: RTL, debugger and simulators
cva6 - The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux
signalflip-js - verilator testbench w/ Javascript using N-API
Surelog - SystemVerilog 2017 Pre-processor, Parser, Elaborator, UHDM Compiler. Provides IEEE Design/TB C/C++ VPI and Python AST API. Compiles on Linux gcc, Windows msys2-gcc & msvc, OsX
sphinxcontrib-hdl-diagrams - Sphinx Extension which generates various types of diagrams from Verilog code.
mewa - Compiler-compiler for writing compiler frontends with Lua
miniscript - source code of both C# and C++ implementations of the MiniScript scripting language
naja-verilog - A standalone structural (gate-level) verilog parser
naja - Structural Netlist API (and more) for EDA post synthesis flow development
cocotb - cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python