logidiff
edalize
Our great sponsors
logidiff | edalize | |
---|---|---|
6 | 4 | |
11 | 592 | |
- | - | |
0.0 | 7.2 | |
about 2 years ago | 7 days ago | |
Python | Python | |
MIT License | BSD 2-clause "Simplified" License |
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.
logidiff
- Show HN: Logidiff – determine if logical statements are equivalent
- Show HN: Logidiff – determine if two or more logical statements are equivalent
- Logidiff - A website, Python library, and command-line tool for determining if two (or more) logical statements are equivalent. Uses VHDL syntax and logical operators, with some additions
edalize
-
Dropping EDA-GUI's 101
Check out FuseSoC: https://github.com/olofk/fusesoc which can handle Vivado builds for you (utilizing edalize: https://github.com/olofk/edalize) along with some nice package management. It can run against multiple tools so you can also get it to build simulations using Verilator or a commercial EDA tool if you have access to them.
-
Introduction to FPGAs
Check out https://github.com/olofk/fusesoc. It gives you a command line build flow that can drive Vivado (along with many other eda tools via edalize https://github.com/olofk/edalize) without having to touch the GUI (though you might want it for programming the board, though FuseSoC can do that too).
-
Compiling Code into Silicon
This reminds me very much of edalize[1], which does something very similar.
[1]: https://github.com/olofk/edalize
- Olof Kindgren on LinkedIn: We have a new world record! 6000 RISC-V cores in a single chip!
What are some alternatives?
i8051emu - Intel 8051 microcontroller emulator
fusesoc - Package manager and build abstraction tool for FPGA/ASIC development
brip - brip stands for Brython's pip. It brings the Python packages ecosystem and the pip-like workflow to Brython-powered projects.
skywater-pdk - Open source process design kit for usage with SkyWater Technology Foundry's 130nm node.
freepdk-45nm - ASIC Design Kit for FreePDK45 + Nangate for use with mflowgen
apio - :seedling: Open source ecosystem for open FPGA boards
icestudio - :snowflake: Visual editor for open FPGA boards
rggen - Code generation tool for control and status registers
sphinx-vhdl
opentitan - OpenTitan: Open source silicon root of trust
hdl_checker - Repurposing existing HDL tools to help writing better code
serv - SERV - The SErial RISC-V CPU