reticle

KO | EN

gitlite — search

#javascript #hacktoberfest #react #golang #rust #deep-learning #docker #nodejs #awesome #pytorch #security #mcp #openai #open-source

(★ 12)

Browser-native, GPU-accelerated editor for very large hierarchical 2D IC-layout scenes, written in Rust (native and WebAssembly).

reticle 최신버젼 다운로드

최종 버전 다운로드 (.zip)

// repository documentation

Was this content helpful?

★ 0 (0 ratings)

# Reticle

**Open a real chip in your browser.**

A chip's physical design is a few billion rectangles placed with nanometer care.
Reticle is an editor for that world, and it runs entirely in a browser tab: it
streams a 3.01 GiB layout by fetching 188 KiB, checks design rules in microseconds
as you type, and lets anyone walk your exact view from a link. Nothing to install.
Your files never leave your machine.

[![Live demo](https://img.shields.io/badge/demo-live-2ea44f)](https://alpharomerojl.github.io/reticle/)
[![Guide](https://img.shields.io/badge/guide-start%20here-e5484d)](https://alpharomerojl.github.io/reticle/guide/)
[![WebGPU + WASM](https://img.shields.io/badge/web-WebGPU%20%2B%20WASM-orange)](https://alpharomerojl.github.io/reticle/)
[![Chip library](https://img.shields.io/badge/chip%20library-open%20silicon-blue)](https://alpharomerojl.github.io/reticle/)
[![License: MIT OR Apache-2.0](https://img.shields.io/badge/license-MIT%20%2F%20Apache--2.0-lightgrey)](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/)
[![Sponsor AlpharomeroJL](https://img.shields.io/badge/Sponsor-AlpharomeroJL-ea4aaa?logo=githubsponsors&logoColor=white)](https://github.com/sponsors/AlpharomeroJL)

![A SKY130 standard cell rendered in full color, a zoom into its transistors, then its layers orbiting as an extruded 3D stack](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/docs/media/hero-gallery-stream.gif)

**New here?** The [guide](https://alpharomerojl.github.io/reticle/guide/) is one page,
start to finish: what it is, how to run it in the browser or natively, what a session
looks like, and what it deliberately does not do. The
[reference book](https://alpharomerojl.github.io/reticle/book/) goes chapter by chapter
once you want depth.

## Try it in sixty seconds

1. **[Open the streaming demo.](https://alpharomerojl.github.io/reticle/?archive=https://reticle-archive.josefdean.workers.dev/f04af90fbb06786c.rtla)**
   A 3.01 GiB archive starts streaming immediately; the HUD in the corner shows
   exactly how few bytes that takes (188 KiB for the first view, 0.006% of the file).
2. **Open the gallery.** Every die in it is real fabricated open silicon,
   license-verified before it ships: today that is seven verified, streamable dies,
   SkyWater's `sky130` inverter plus six GF180MCU MPW-000 shuttle dies (a SERV RISC-V
   CPU, jacaranda8, skullfet, unigate, fiveguys, ophelia), alongside two excluded rows
   that prove the license gate refuses rather than ships. Zoom until you hit the
   transistors. Check the count yourself:
   ```
   $g = Get-Content library/gallery-manifest.json -Raw | ConvertFrom-Json
   $g.dies | Group-Object { $_.license.verdict } | ForEach-Object { "$($_.Name) = $($_.Count)" }
   ```
3. **Share what you found.** Copy a permalink to the exact cell, camera, and layers
   you are looking at. Whoever opens it sees what you see, pans it themselves, and
   cannot change a thing.

Works today in Chrome and Edge on WebGPU, and falls back to WebGL2 in other current
browsers.

## The numbers that make it work

Every figure here is measured, not estimated. Most trace to a committed test or
bench you can run; the live streaming figures are a reading from the
`window.__reticle_stats` seam on the deployed demo.

- **Streaming:** a 3.01 GiB archive browses over plain HTTP Range from static
  hosting. First view: 188 KiB fetched, 0.006% of the file, reported live in the
  streaming HUD. Separately, the converter turns a 30M-entry layout into a tiled
  archive at 127 MiB peak RAM.
- **Scale:** 10,000,000 leaf shapes render at about 113 fps on an RTX 4060 Ti, up
  from 6.1 fps before the retained renderer (the native offscreen render bench; see
  `docs/PERF.md`). Hierarchy is never flattened to
  browse; a cell placed thousands of times stays one cell.
- **Verification speed:** an edit re-checks only its neighbourhood: 5 us at 100k
  shapes, 37 us at 1M, against a 100 ms interactivity budget. Design rules run while
  you type, like a spellchecker.
- **Referee-checked:** a documented subset of KLayout DRC decks runs on Reticle's
  engine and is validated verdict-for-verdict against KLayout headless in a pinned
  container. LEF/DEF import is cross-checked against OpenROAD the same way. The
  official TinyTapeout precheck runs on a committed tile, and every Magic and KLayout
  DRC and geometry check in it passes; the pin and Verilog checks that need
  submission artifacts a geometry tile does not produce do not, and no tile here is
  claimed to pass the precheck in full. The incumbents are the referees, on purpose.

## Who it is for

| You are | Reticle gives you |
|---|---|
| Curious what a chip actually looks like inside | The gallery. Real silicon, one click, zoom to the wires |
| A TinyTapeout or open-shuttle participant | Your tile in a tab, the official precheck run on it, and a share link for showing it off |
| An analog or full-custom designer | User-defined PCells with typed parameters and sandboxed produce scripts, net trace, shorts and opens, SPICE export, xschem probe import |
| A reviewer on an open-silicon repo | A rendered layout diff of what changed, painted over the canvas, and a pull-request diff Action (authored, not yet exercised on live CI) |
| An instructor | Classroom mode: students follow your viewport live, view-only until you unlock them. The whole lab is a URL |
| A researcher studying agents on real tasks | A frozen, citable benchmark with checkers that must reject wrong answers, and a deterministic public leaderboard |
| On a locked-down or offline machine | The desktop build runs the same editor with the network unplugged |

## What you can do

**Open and share real chips.** Import GDSII, OASIS, CIF, DXF, Magic, or a ZIP holding
any of those, each also accepted `.gz`-compressed. Drop a file on the window, or
pass `?gds=<url>`. Those six are the whole set and the code enforces it: an
exhaustive match makes adding a format without listing it a compile error, so the
picker's filter and the on-screen supported-formats line cannot drift from what the
open seam accepts. Check:
`cargo nextest run -p reticle-app --lib -E 'test(docformat)'`.
A permalink (`?cell`, `?view`, `?layers`) deep-links the exact
cell, camera, and layers on the static site with no server. Live rooms add real-time
sharing: one click mints a read-only viewer link, and the viewer materializes your
design as you edit it and cannot write back, enforced at the transport, not the UI.
That live path is proven end to end over the relay in tests; the public demo's relay
endpoint is operator-configured (see `docs/honest-limits.md`), so live sharing is a
capability rather than a guaranteed feature of the hosted demo. Phones navigate
shared links by touch.

**Edit with guardrails.** Rectangles, polygons, paths, cells, arrays, on three real
PDKs: SKY130, IHP SG13G2, and GF180MCU. DRC underlines violations as you draw.
Boolean ops, vertex editing, array duplication, all one undo step each.

![Drawing a polygon, dragging one of its vertices, drawing a second polygon, boolean-union, then array-duplicate, each a single undoable edit](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/docs/media/tour-edit.gif)

![Running DRC on a SKY130 cell: the violation list populates with real spacing and extension violations, then the canvas zooms to a clicked one](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/docs/media/tour-drc.gif)

**Generate instead of drawing.** Six built-in generators (guard ring, via farm, pad
ring, seal ring, fill, test structure) are DRC-clean by construction: a property
test sweeps each across random valid parameters on all three PDKs and asserts zero
violations under each process's real checker. **User-defined PCells** extend that:
typed parameters, a sandboxed Rhai produce function with an operation budget and
memory cap, instance caching, and DRC checked on every generate before the result
commits. Live produce runs in the desktop app; in the browser the inspector edits an
instance's parameters and shows predicted provenance, and says so.

![Selecting the guard-ring generator, growing its region, placing the ring, then a 5x5 via farm, each one undo step](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/docs/media/generate-panel.gif)

**Review where the work lives.** A `reticle-diff` pass compares two versions and
paints what changed over the canvas (added green, removed red), pinned by property
tests including a single-insertion oracle. A composite layout-diff GitHub Action is
authored to render a before/after into a pull request; it is valid YAML and reasoned
through, not yet run on live GitHub Actions (this repo ships no workflows; recorded
in `docs/honest-limits.md`). Comments anchor to a shape or cell and survive a document
schema migration proven byte-for-byte against a pre-migration fixture.

**Trace and verify.** Click a shape, light up its net. Shorts and opens report into
the Inspector. MOSFET recognition, SPICE netlist export with per-PDK model names
carried as data, antenna and area metrology to byte-stable CSV, and a device-level
LVS-lite comparator (`compare_devices`) that is crate-level API with no product
entry point yet.

**Automate it.** Every edit is a serializable, replayable command with a document
hash. An MCP server exposes 39 tools (counted from a live `tools/list` by
`cargo nextest run -p reticle-mcp -E 'binary(frozen_tool_count)'`, which fails on any
drift in either direction), the Python bindings display a layout inline in a Jupyter
notebook, a sandboxed Rhai producer builds user-defined PCells, and the CLI runs the
whole pipeline headless. The in-editor agent panel plans, waits for
your approval, executes, and replays; on native with a key or a local Ollama it
drives a real model, and the web build shows a scripted preview and says so.

![The replay theater plays a recorded propose-verify-correct agent run over a standard-cell array, the step counter and violation count advancing](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/docs/media/tour-agent.gif)

**Extend it.** Sandboxed WASM plugins with declared permissions gated at
instantiation, memory and fuel limits, and writes only through the same staged-edit
funnel as every other input, so a plugin cannot make an edit that is not undoable
and replayable. An already-installed plugin runs on both builds. The browser loads
the `wasmi` host as a separate chunk, fetched the moment you open Enable and never
at page load, so the runtime costs the base bundle zero bytes rather than costing
the browser zero bytes. Installing a *new* plugin is still desktop-only, because no
browser file picker for it exists, and the plugin panel says so in the product
rather than only here. Not claimed: an executed end-to-end plugin run in a live
browser. That spec is written and has not been run, and `docs/honest-limits.md`
records it. The package index is a deterministic file committed to this repo. No
accounts, no server. Check:
`cargo nextest run -p reticle-app --lib -E 'test(plugin)'`.

**Take it anywhere.** Installable PWA with an offline shell. A desktop build for
air-gapped review. An `?embed=1` mode drops the read-only viewer into an iframe, a
course page, or a paper, with an "Open in Reticle" corner link back to the full
editor.

![Orbiting the extruded 3D layer stack of a SKY130 cell, the metal, poly, and diffusion layers reading in depth](https://raw.githubusercontent.com/AlpharomeroJL/reticle/main/docs/media/tour-3d.gif)

## The benchmark: how we know what works

Machine-edited layout is only interesting if you can prove an edit is correct, so
Reticle ships the proving apparatus: the suite is
[`benchmarks/layout-tasks/manifest.toml`](benchmarks/layout-tasks/manifest.toml),
frozen and citable at version 0.7.0, 95 tasks across five tiers, where a task passes
only when an objective design-rule and connectivity checker accepts it. Every
checker is **two-way tested**: it must accept the intended solution and reject a
perturbed one before it is allowed to grade anything. The leaderboard is generated
deterministically from committed records; every recorded row replays green before it
counts.

| What it is | Suite it ran | Result |
|---|---|---:|
| `claude-sonnet-5` via Claude Code, an agent system (its own loop) | 0.7.0 (53 of 95 recorded) | 48/53 (91%) |
| `gpt-oss:16k` (MXFP4), a bare local model on Reticle's own loop | 0.4.0 (75 tasks) | 52/75 (69%) |
| `qwen2.5-coder:16k` (Q4_K_M), a bare local model on Reticle's own loop | 0.4.0 (75 tasks) | 29/75 (39%) |
| `claude-sonnet-5` via Claude Code, an earlier ad-hoc run | adhoc (81 of 83 recorded) | 72/81 (89%) |

Bare-model rows run Reticle's loop; agent systems bring their own, so the two are
never compared head-to-head, and rows are never compared across denominators. The
featured Claude Code row is a real authenticated run against the current frozen
v0.7.0 suite: 48 of 53 recorded tasks passed across all five tiers. The denominator
is 53, not 95, because the remaining 42 tasks were never recorded when the
subscription rate limits stopped the run; an unrecorded task is an honest not-run,
never a pass and never a fail. A gym-style RL environment wraps the editor (reset,
step, reward-from-checker, replayable episodes) for anyone who wants to train
against it. This is verification infrastructure: the editor is a normal editor, and
you never have to touch the agents. See
[the leaderboard](docs/src/leaderboard.md) for the aggregated records and
[Benchmark methodology](docs/src/benchmark.md) for how a run is scored and replayed.

## Two promises

**Links are load-bearing.** A permalink you share today is meant to open in ten
years. Link rot is treated as a bug with the same severity as a rendering bug,
because a shared link that dies takes someone's forum answer, course page, or code
review with it.

**Your files stay yours.** Opening a local GDS converts it in a Web Worker inside
your browser; nothing uploads. The proof is not this paragraph, it is your network
tab: open a file and watch zero bytes of it leave.

## How it compares

As of 2026-07-12, the nearest browser-native neighbours are GDSJam, a collaborative
GDS viewer, and Layout Studio, a browser GDS and OASIS editor with draw tools and a
basic minimum-spacing and feature-size design-rule check that runs on the open file.
Searching for prior art on that date, no browser tool was found that combines all
three of editing, incremental design-rule checking at microsecond latency, and
streaming a multi-gigabyte layout over the network; and no other physically verified
layout-agent benchmark with a public leaderboard was found. These are
absence-of-evidence judgments with a date attached, not proofs. If you know a
counterexample, open an issue. I would like to read it.

|  | Reticle | KLayout | Magic | Commercial (Virtuoso-class) |
|---|---|---|---|---|
| Runs in a browser, zero install | yes | no | no | no |
| Live sharing in the browser | yes, one editor to read-only viewers | no | no | no |
| Per-actor undo across concurrent writers | tested in `reticle-sync`, not wired through the app's UI | no | no | no |
| Incremental DRC while typing | microseconds | no | yes (corner-stitching) | in-design, full decks |
| User-defined PCells | yes, sandboxed scripts (native desktop; browser build shows predicted provenance only, no live produce) | yes, Ruby/Python | partial | yes, SKILL |
| Agent API + verified benchmark | yes | no | no | no |
| Full-deck signoff DRC/LVS | no, and not a goal | via decks | yes | yes |
| Timing, parasitics, tape-out signoff | no | no | partial | yes |

Reticle does not compete on signoff depth. It competes on access, collaboration,
scale-in-a-tab, and machine-checkability, and it uses KLayout, Magic, and OpenROAD
as its own referees.

## Quickstart

Prerequisites: a recent Rust toolchain (see `rust-toolchain.toml`) and
[`just`](https://github.com/casey/just). A WebGPU-capable browser (current Chrome or
Edge) is needed for the web demo. The local-model benchmark additionally needs a
running [Ollama](https://ollama.com) endpoint.

**In a fresh clone, do this first:**

```sh
git config core.hooksPath .githooks
```

`git clone` does not set it, because `core.hooksPath` is per-clone local config.
Without it the pre-commit and commit-msg hooks never run, and `just ci`'s second leg
`check-hook-path` fails before clippy or any test does. Measured on a genuinely fresh
clone, 2026-07-29.

`just ci` also needs `cargo-nextest`, `cargo-deny` and `typos` on PATH (rustup and
`rust-toolchain.toml` install none of them), `trunk` for the web and wasm legs, a
Python 3.x interpreter for the `reticle-py` legs, and Node.js for the wasm-test-hash
leg.

```sh
# Build everything and run the full local gate: style, format, clippy, tests,
# docs, wasm, licenses, spelling. There is no CI service. This recipe is the gate.
just ci

# Native application.
cargo run -p reticle-app --release

# Web demo (WebGPU with a WebGL2 fallback), served locally.
just web-serve

# Desktop build (offline-complete Tauri shell). Build the web bundle first;
# the shell embeds crates/web/dist at compile time.
just web-build
cd desktop && cargo build

# Headless pipeline: import, DRC, route, extract, netlist, export, render.
cargo run -p reticle-cli --release -- --help

# Exercise the user-defined-PCell property harness (typed params, sandboxed Rhai
# produce, DRC checked on every generate); the shipped example is
# crates/reticle-script/examples/param_cell.rhai.
cargo nextest run -p reticle-script

# Run the official TinyTapeout precheck on a committed tile. Needs Docker Desktop
# installed AND running; first use pulls a multi-GB pinned image
# (hpretl/iic-osic-tools). See scripts/tt-precheck.ps1's header for a WSL fallback.
just tt-precheck examples/tapeout/tt_um_reticle_tile.gds

# Score an agent across the suite (deterministic mock by default). The default mock
# is intentionally weak and passes only a few percent of tasks, so this exits
# NONZERO by design. That is the mock's baseline, not a broken build.
just bench-agent
```

## How it works

<details>
<summary>Streaming: 3.01 GiB archive, 188 KiB first view</summary>

A forward-only GDSII record reader (wasm-clean) feeds a bounded-memory tiled-archive
builder: a 30M-entry layout becomes a tiled archive at 127 MiB peak RSS. The browser
streams an archive over HTTP Range, reading only the header, the directory, and the
tiles the viewport needs; the first view of the live 3.01 GiB archive fetched
188 KiB. Library dies are served from R2 behind an edge cache with content-hash keys;
every die carries a license manifest verified before upload, and unverifiable dies
are excluded rather than shipped.
</details>

<details>
<summary>Rendering: hierarchy is never flattened</summary>

Geometry lives in a bulk-loaded R-tree and a level-of-detail pyramid. A compute
shader flags which cell boxes overlap the viewport, a workgroup scan compacts
survivors into an indirect-draw buffer, and one indirect draw paints them, so the
draw count comes from the GPU. Per-cell tessellation is cached once; each frame is a
draw, not a rebuild. See [`docs/PERF.md`](docs/PERF.md) for the measurement
methodology behind every fps number above.
</details>

<details>
<summary>DRC: microseconds per edit, pinned to an oracle</summary>

A declarative engine evaluates width, spacing, enclosure, extension, notch, area,
density, and angle rules, re-checking only the changed neighbourhood. A property
test pins it to a naive reference oracle over 400 random layouts. Per-PDK subsets
ship as data for all three PDKs, each two-way tested: a seeded violation is caught,
the corrected layout passes. The subsets are a fast first filter, not tape-out
clean, and this README will keep saying so.
</details>

<details>
<summary>PCells: sandboxed produce, checked on generate</summary>

A PCell is typed parameters plus a Rhai produce function running under an operation
budget and memory cap with no I/O. It emits into a staging cell, DRC runs on the
result, and only then does it commit, as one undo step. Instances are cached on
(pcell id, engine version, canonical parameter hash) and invalidated when the
script's content hash changes. A property harness sweeps parameter ranges per PDK
and shrinks failures to a minimal offending set. The honest claim split: the six
shipped generators and shipped example PCells are clean by construction under the
harness; your PCells are DRC-checked on every generate. Live produce is native-only
(the Rhai crate is the single largest dependency and stays out of the browser
bundle).
</details>

<details>
<summary>Collaboration: CRDT convergence, review, classroom</summary>

**What the app ships** is one editor in a live room publishing one way to any number
of read-only viewers. That is what `crates/reticle-app/src/app/collab.rs` wires, and
undo inside the app is the editor's own local history. Multi-writer co-editing is
not a shipped app feature and is not claimed as one here.

**What the library underneath is tested to do**, at the `reticle-sync` layer rather
than through the app's UI: the document mirrors onto a `yrs` CRDT with actor:counter
keys, concurrent edits reconverge whatever order they arrive in, and undo is
per-actor, so yours reverts, your collaborator's stays, and the documents still
reconverge. Check:
`cargo nextest run -p reticle-sync -E 'binary(convergence) or binary(multi_writer)'`.

**Read-only viewers have no publish method at all.** That one holds at both layers,
enforced at the transport rather than the UI, on the native relay and the Cloudflare
Durable Object alike. Check:
`cargo nextest run -p reticle-server -E 'test(read_only_viewer_receives_but_cannot_publish)'`,
with the Durable Object leg in `crates/reticle-relay-conformance`.

All of it is proven natively and over a local relay. The public demo's relay
endpoint is operator-configured and may not be live, tracked in
`docs/honest-limits.md`. The classroom instructor roster stays empty in a normal
session, and the reason is narrower than it used to be: the write-capable presence
path is built and tested (`?mode=presence`, `PresenceTransport`,
`ClassroomState::apply_presence_frame`), but the running app does not yet open one
automatically for a joining participant, so nobody arrives on the roster on their
own, and the panel shows an honest empty state rather than a fabricated row. The
student-follow half is real today. Check:
`cargo nextest run -p reticle-app -E 'test(apply_presence_frame)'`.
</details>

<details>
<summary>Formats: read the world, write it back</summary>

GDSII read/write, hardened and fuzzed, every stream-supplied count capped against
remaining input. OASIS read and write, round-trip property tested both directions
and validated by KLayout reading the output back. CIF, DXF, and Magic (.mag) subset
import. LEF/DEF import cross-checked against OpenROAD in a pinned container. STL/GLTF
export of the 3D layer stack. Image underlay aligns a licensed die photo under its
own layout with a two-point affine fit.
</details>

<details>
<summary>The verify loop: propose, check, correct</summary>

Every edit is a replayable transcript entry with a document hash. The harness drives
a model against the real DRC subset and a connectivity intent, feeds violations back,
and stops only when the objective checker passes. A second, best-effort vision
oracle corroborates renders but is never the verdict of record; a missing model is an
honest not-run, never a fabricated number.
</details>

## What it does not do

Reticle is honest about its edges; the audited list lives in
[`docs/STATUS.md`](docs/STATUS.md), with a completeness ledger in
[`docs/honest-limits.md`](docs/honest-limits.md).

- No synthesis, no timing, no parasitic extraction, no tape-out signoff. LVS-lite
  compares device counts and terminal nets at the `reticle-extract` API; it is not
  a full LVS, and today it is crate-level API with no product entry point (no CLI
  subcommand, app button, or MCP tool calls `compare_devices`). The DRC subsets are
  fast first filters.
- SoC-scale place-and-route belongs to OpenROAD; Reticle visualizes P&R output and
  does not compute it.
- The plugin ABI is v0 and will break. The index is a committed file, not a hosted
  registry.
- Native mobile editing is out of scope; touch viewing and annotation stay.
- A bounded pure-Rust MNA oracle simulates small extracted circuits (linear R/C/L
  and independent sources, DC operating point and fixed-step transient). It is not
  ngspice, is labeled that way everywhere, and is never signoff.

## Star, sponsor, correct me

If this is useful or just cool, star the repo; it is genuinely how the next person
finds it. Found a chip the gallery should carry, a claim that needs correcting, or a
counterexample to the comparison above? Open an issue. Development is one person plus
a lot of verification; you can support it on
[GitHub Sponsors](https://github.com/sponsors/AlpharomeroJL).

Every public number is measured, not estimated.

## Tech stack

Rust, `wgpu` (WebGPU, Vulkan, Metal, DX12, WebGL2 fallback), `egui` and `eframe`,
`i_overlay`, `rstar`, `gds21`, `lyon`, `yrs`, `axum`, `prost`, `rhai`, `wasmi`,
`pathfinding`, `criterion`, `proptest`, `cargo-fuzz`.

## License

Dual-licensed under either of

- Apache License, Version 2.0 ([LICENSE-APACHE](LICENSE-APACHE))
- MIT license ([LICENSE-MIT](LICENSE-MIT))

at your option.

reticle

reticle 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

reticle

reticle 최신버젼 다운로드

오늘의 추천 프로젝트

Was this content helpful?

Recent Feedback

Download README