About
tig / tignear
Veryl向けのオープンEDAツール、Celox・Struo・TexoをRustで開発しています。CeloxではRTL解析、simulation kernel、Node.js / browser向けTypeScript APIを実装。Struoではlogic synthesisとformal equivalence、TexoではFPGA place-and-route、timing analysis、ECP5 bitstream生成を実装しています。
Profile
- Primary languages
- Rust, TypeScript, C++
- Domains
- Compiler, RTL simulation, logic synthesis, formal verification, FPGA physical design
- Execution targets
- Celox: native x86-64 / AArch64, Node.js, WebAssembly · Struo / Texo: Lattice ECP5
- Elsewhere
Projects
- 2026
Celox
Veryl用RTL simulator。native / WebAssembly backendとTypeScript APIを実装。
- 2026
Struo
VerylからLattice ECP5 netlistへのlogic synthesisとequivalence checkを実装。
- 2026
Texo
Lattice ECP5向けのpacking、place-and-route、timing analysis、bitstream生成。
- 2026
pokedr-gto
CFRを実装したRust製ポーカーソルバーとReact viewer。
- 2026
Vivado in Docker
Vivado / Vitis 2025.2をUbuntu 22.04へ導入するDocker環境。
- 2024
Discord Embed Editor
Discord message / Embedの編集、preview、Webhook送信を行うSvelteアプリ。
- 2021
node-openjtalk-binding
Open JTalkをNode.jsから呼び出すN-API native addon。