corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a0879c-9c6c-71c7-9f27-276571b655bb

Installing an HDL toolchain from source

lottia notes · published 27 June 2023

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at lottia.net Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
39
Words captured
4,140

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/charlottia/sh1107/tree/aeb1c3f77d3226760755331624dd7920779cc2b7
github.com
https://github.com/YosysHQ/oss-cad-suite-build
github.com
git Read at the source ↗
git-scm.com
python language Read at the source ↗
python.org
https://amaranth-lang.org/docs/amaranth/latest/intro.html
amaranth-lang.org
https://yosyshq.net/yosys/
yosyshq.net
https://github.com/YosysHQ/nextpnr
github.com
https://github.com/YosysHQ/icestorm
github.com
https://github.com/YosysHQ/sby
github.com
https://github.com/Z3Prover/z3
github.com
https://en.wikipedia.org/wiki/Hardware_description_language
en.wikipedia.org
https://en.wikipedia.org/wiki/Verilog
en.wikipedia.org
https://en.wikipedia.org/wiki/VHDL
en.wikipedia.org
https://yosys.readthedocs.io/_/downloads/en/latest/pdf/
yosys.readthedocs.io
https://pypi.org/project/amaranth-yosys/
pypi.org
https://en.wikipedia.org/wiki/ICE_(FPGA
en.wikipedia.org
https://1bitsquared.com/products/icebreaker
1bitsquared.com
https://www.crowdsupply.com/1bitsquared/icebreaker-fpga
crowdsupply.com
https://en.wikipedia.org/wiki/Formal_verification
en.wikipedia.org
https://brew.sh/
brew.sh
https://git-scm.com/downloads
git-scm.com
https://asdf-vm.com/
asdf-vm.com
https://asdf-vm.com/guide/getting-started.html
asdf-vm.com
https://docs.python.org/3/library/venv.html
docs.python.org
https://amaranth-lang.org/docs/amaranth/latest/install.html
amaranth-lang.org
https://github.com/amaranth-lang/amaranth-boards
github.com
https://github.com/yosyshq/yosys
github.com
https://opensource.com/article/18/11/udev
opensource.com
Understanding RPATH (With CMake) Read at the source ↗
duerrenberger.dev
https://unix.stackexchange.com/a/22999/577154
unix.stackexchange.com
https://github.com/RobertBaruch/amaranth-exercises
github.com
https://en.wikipedia.org/wiki/Automated_theorem_proving
en.wikipedia.org
https://github.com/Z3Prover/z3/blob/master/README-CMake.md
github.com
https://symbiyosys.readthedocs.io/en/latest/install.html
symbiyosys.readthedocs.io
https://github.com/YosysHQ/yosys/blob/2310a0ea9a61ed14d2769f01283a5a7590cbe558/guidelines/Windows
github.com
https://learn.microsoft.com/en-us/windows/wsl/wsl-config
learn.microsoft.com
https://learn.microsoft.com/en-us/windows/wsl/connect-usb
learn.microsoft.com
https://github.com/dorssel/usbipd-win
github.com
https://zadig.akeo.ie/
zadig.akeo.ie