# 使用 Homebrew, apk, dnf, Nix 安装 icestorm 查看 icestorm 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。 ## 安装 ```sh sudo av install brew:icestorm ``` 其他安装命令: ### macOS - Homebrew (100%): ```sh brew install icestorm ``` 证据: local Homebrew formula metadata ### Linux - apk (92%): ```sh sudo apk add icestorm ``` 证据: Alpine Linux edge package indexes: icestorm from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz - dnf (92%): ```sh sudo dnf install icestorm ``` 证据: Fedora Rawhide package metadata: icestorm from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#icestorm ``` 证据: nixpkgs package indexes: pkgs/by-name/ic/icestorm/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 ## 软件包事实 - **软件包键:** brew:icestorm - **软件包管理器:** Homebrew - **版本:** 1.1 - **来源摘要:** Tools for analyzing and creating Lattice iCE40 FPGA bitstream files - **主页:** - **仓库:** - **已生成:** 2026-08-03T19:37:03+00:00 ## 可执行文件 - icebox_asc2hlc (别名) - icebox_chipdb (别名) - icebox_colbuf (别名) - icebox_diff (别名) - icebox_explain (别名) - icebox_hlc2asc (别名) - icebox_html (别名) - icebox_maps (别名) - icebox_stat (别名) - icebox_vlog (别名) - icebram (别名) - icemulti (别名) - icepack (别名) - icepll (别名) - iceprog (别名) - icetime (别名) - iceunpack (别名) ## 安装行为 - Bottle: 不可用 ## 版本和新鲜度 - 页面生成时间: 2026-08-03 - 管理器版本: 1.1 ## 项目历史与用法 Project IceStorm is the reverse-engineered documentation and tool suite for Lattice iCE40 FPGA bitstreams. In package-manager terms it is the `ice*` tool bundle that helped make a fully open-source Verilog-to-bitstream flow practical on inexpensive FPGA boards. ### 项目历史 The project began as an effort to document the iCE40 bitstream format and provide simple tools for analyzing and creating bitstream files. Its own timeline records a first public release in March 2015, a working fully open-source flow with Yosys and Arachne-pnr in May 2015, and a move of the source code to GitHub in July 2015. IceStorm's documentation frames Lattice iCE40 as a good target because the architecture is regular and minimal, with inexpensive development boards available. That made the family useful both for reverse-engineered documentation and as a reference platform for open FPGA tooling. ### 采用历史 IceStorm became important because it linked several independent tools into an end-to-end flow: Yosys for synthesis, Arachne-pnr and later nextpnr for place-and-route, IceStorm tools for packing, unpacking, timing, bitstream inspection, and programming. By 2016 the documentation listed support across LP/HX 1K, 4K, and 8K package variants, and in 2018 it added iCE40 UltraPlus support. The package shows up in Homebrew, Alpine, Fedora, and Nix metadata because FPGA hobbyists, hardware hackers, and digital-design developers often want the flow on ordinary Unix-like developer machines rather than inside vendor IDEs. ### 使用方式 A typical flow synthesizes Verilog with Yosys, places and routes with Arachne-pnr or nextpnr, packs the ASCII bitstream with `icepack`, and programs hardware with `iceprog`. Other tools such as `iceunpack`, `icebox_explain`, `icebox_vlog`, `icetime`, and `icepll` support reverse engineering, inspection, timing, and PLL configuration. The package is especially associated with small iCE40 boards such as the iCEstick and HX8K breakout board, where a command-line flow is enough to build, inspect, and upload simple FPGA designs. ### 为什么软件包爱好者会关心 Project IceStorm is one of the packages that made open FPGA development feel like normal Unix development: install compiler-like tools, run commands, inspect generated artifacts, and avoid proprietary GUI-only flows for supported iCE40 parts. It is also historically important as a bridge between software package managers and hardware toolchains. Its executables expose FPGA bitstreams as files that can be packed, unpacked, explained, converted to Verilog, timed, and programmed. ### 时间线 - 2015-03-22: First public release and demonstration video. - 2015-05-27: Working fully open-source flow with Yosys and Arachne-pnr. - 2015-07-19: 8K chip support released and source code moved to GitHub. - 2016-01-17: First IceTime timing-analysis release. - 2016-02-07: Support for all package variants of LP1K, LP4K, LP8K, HX1K, HX4K, and HX8K. - 2018-01-30: iCE40 UltraPlus support released. - 2025: The GitHub repository lists v1.1 as a tagged release. ### Related projects - Yosys provides Verilog synthesis for the iCE40 flow. - Arachne-pnr and nextpnr provide place-and-route options used with IceStorm. - Lattice iCEcube2 is the proprietary tool whose generated bitstreams were used as comparison material during reverse engineering. - F4PGA and other FPGA documentation efforts belong to the broader open FPGA tooling movement. ### 来源 - - - - ## 安全说明 broad file, network, media, or database tool signal. - **Geiger 风险:** blue / 中 - broad file, network, media, or database tool signal ## 其他软件包管理器记录 - Nix - icestorm: normalized package name match | nixpkgs package indexes: pkgs/by-name/ic/icestorm/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - apk - icestorm - 0_git20240517-r0: normalized package name match | Alpine Linux edge package indexes: icestorm from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz | Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation | https://github.com/YosysHQ/icestorm - dnf - icestorm - 0-0.44.20250707gitf31c39c.fc45: normalized package name match | Fedora Rawhide package metadata: icestorm from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/07190dc5ae9f35ae73866675fed6d95fe6e8d9fe22c9d7cdf85862cb2ed24a4c-primary.xml.zst | Lattice iCE40 FPGA bitstream creation/analysis/programming tools | http://bygone.clairexen.net/icestorm ## Combined YAML source View the package source record on GitHub. [combined/icestorm.yml](https://github.com/mxcl/pkgdb/blob/main/combined/icestorm.yml) ## 来源 - pkg.so package database - Geiger risk classifier - curated package history - pkgdb category and tag curation - external package-manager database matches - cross-ecosystem install command graph