# icestorm を Homebrew, apk, dnf, Nix でインストール 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