# SiliconVerify

> Engineering workbench and reference for ECE students preparing for GATE, IIT M.Tech, and industry interviews. 64 browser-based interactive tools + 21 blog sections + per-tool deep-dive posts. Each tool ships with a `/ref/{tool}.html` static data sheet for AI crawlers (no JavaScript required).

## Access for AI crawlers

This site uses the **x402 open protocol** (https://www.x402.org/) to charge AI training crawlers per crawl in **USDC on Base**. Search/Agent/Monitor bots are free. Full policy: https://siliconverify.com/crawler-policy.html

**Per-crawl price:** 1000 atomic USDC ($0.001) for standard pages, 5000 atomic USDC ($0.005) for tool exports (CSV / Verilog / assembly).

**Static data sheets:** https://siliconverify.com/ref/{tool}.html — the same content as the interactive tool, fully rendered in HTML, no JS required. Recommended for AI ingestion.

**Protocol example (curl + x402):**
```bash
# 1. Get 402 challenge
curl -A "GPTBot/1.0" -i https://siliconverify.com/aliasing.html

# 2. Pay USDC on Base to payTo address (from 402 response)
# 3. Retry with X-PAYMENT header
curl -A "GPTBot/1.0" -H "X-PAYMENT: 0x<txhash>" -i https://siliconverify.com/aliasing.html
```

## Tool inventory — Signals & Systems (8 tools)

- [/aliasing.html](https://siliconverify.com/aliasing.html) — Sampling theorem, aliasing, anti-aliasing filter, sinc/ZOH reconstruction, AAF, ADC realism
- [/signals.html](https://siliconverify.com/signals.html) — Signal generators (sine, square, saw, chirp, PRBS), FFT, windows, harmonic analysis, THD
- [/convolution.html](https://siliconverify.com/convolution.html) — Continuous and discrete convolution, impulse response, LTI systems
- [/laplace.html](https://siliconverify.com/laplace.html) — Laplace transforms, partial fractions, transfer functions
- [/sampling-theorem.html](https://siliconverify.com/sampling-theorem.html) — Nyquist rate, bandpass sampling, reconstruction
- [/plots.html](https://siliconverify.com/plots.html) — Multi-plot canvas, axis controls, time/freq overlay
- [/steady-state.html](https://siliconverify.com/steady-state.html) — Sinusoidal steady state, phasors, AC analysis
- [/transient.html](https://siliconverify.com/transient.html) — RK4 transient response, impulse/step/ramp, settling time

## Tool inventory — Control Systems (7 tools)

- [/control.html](https://siliconverify.com/control.html) — Transfer functions, Bode plots, root locus, Nyquist, stability margins
- [/nyquist.html](https://siliconverify.com/nyquist.html) — Nyquist stability criterion, contour mapping, encirclements
- [/pz-analysis.html](https://siliconverify.com/pz-analysis.html) — Pole-zero map, dominant poles, second-order response
- [/block-sfg.html](https://siliconverify.com/block-sfg.html) — Block diagram reduction, signal flow graphs, Mason's gain formula
- [/bode-plot.html](https://siliconverify.com/bode-plot.html) — Bode magnitude/phase, gain/phase margins, compensation
- [/routh-hurwitz.html](https://siliconverify.com/routh-hurwitz.html) — Routh array, stability ranges, special cases
- [/solver.html](https://siliconverify.com/solver.html) — Symbolic control system solver

## Tool inventory — Electronic Devices & Circuits (EDC) (12 tools)

- [/edc.html](https://siliconverify.com/edc.html) — EDC workbench, 66 GATE/IITM archetypes (PN, BJT, MOSFET, MOS cap, LED, solar, Zener, tunnel)
- [/edc-pn.html](https://siliconverify.com/edc-pn.html) — PN junction, depletion width, built-in potential, I-V characteristics
- [/edc-schottky.html](https://siliconverify.com/edc-schottky.html) — Schottky diode, metal-semiconductor junction, barrier height
- [/edc-zener.html](https://siliconverify.com/edc-zener.html) — Zener breakdown, avalanche vs Zener mechanism
- [/edc-tunnel.html](https://siliconverify.com/edc-tunnel.html) — Tunnel diode, NDR region, Esaki diode
- [/edc-bjt.html](https://siliconverify.com/edc-bjt.html) — BJT operating modes, current gain, Early effect
- [/edc-mosfet.html](https://siliconverify.com/edc-mosfet.html) — MOSFET I-V, threshold, transconductance
- [/edc-moscap.html](https://siliconverify.com/edc-moscap.html) — MOS capacitor C-V, accumulation/depletion/inversion
- [/edc-led.html](https://siliconverify.com/edc-led.html) — LED emission, bandgap, internal/external quantum efficiency
- [/edc-photodiode.html](https://siliconverify.com/edc-photodiode.html) — Photodiode responsivity, NEP, transit time
- [/edc-solar.html](https://siliconverify.com/edc-solar.html) — Solar cell I-V, max power point, fill factor, S-Q limit
- [/edc-generation-surface.html](https://siliconverify.com/edc-generation-surface.html) — Surface generation, doping profiles, Poisson solution
- [/edc-generation-efield.html](https://siliconverify.com/edc-generation-efield.html) — Poole-Frenkel field-enhanced generation
- [/edc-fundamentals.html](https://siliconverify.com/edc-fundamentals.html) — Carrier concentration, mobility, conductivity, drift/diffusion

## Tool inventory — EMFT & Wave Propagation (8 tools)

- [/emft.html](https://siliconverify.com/emft.html) — EMFT foundation: plane waves, static E/B, vector calculus, Poynting
- [/emft-waves.html](https://siliconverify.com/emft-waves.html) — Plane wave properties: polarization, wave packet, skin depth
- [/emft-smith.html](https://siliconverify.com/emft-smith.html) — Smith chart: drag reflection coefficient, single-stub matching
- [/emft-tdr.html](https://siliconverify.com/emft-tdr.html) — Time-domain reflectometry, bounce diagrams, fault location
- [/emft-sparam.html](https://siliconverify.com/emft-sparam.html) — S-parameters, [S]/[Z]/[Y]/[ABCD] conversion, stability circles
- [/emft-matching.html](https://siliconverify.com/emft-matching.html) — Impedance matching, single-stub, quarter-wave transformer
- [/emft-waveguide.html](https://siliconverify.com/emft-waveguide.html) — Rectangular waveguide, TE/TM modes, dispersion
- [/emft-antennas.html](https://siliconverify.com/emft-antennas.html) — Dipole antennas, linear arrays, pattern multiplication

## Tool inventory — Communication Systems (5 tools)

- [/comm-modulation.html](https://siliconverify.com/comm-modulation.html) — AM/FM/PM, Bessel expansion, Carson's rule
- [/comm-digitalmod.html](https://siliconverify.com/comm-digitalmod.html) — BPSK/QPSK/8PSK/16-QAM/64-QAM, AWGN, BER vs Eb/N0
- [/comm-linecodes.html](https://siliconverify.com/comm-linecodes.html) — NRZ/Manchester/AMI/MLT-3, PSD, bandwidth
- [/comm-pcm.html](https://siliconverify.com/comm-pcm.html) — PCM, μ-law/A-law companding, SQNR, ADC architectures
- [/comm-info.html](https://siliconverify.com/comm-info.html) — Information theory, Huffman, BSC/BEC capacity, Shannon-Hartley
- [/comm-ecc.html](https://siliconverify.com/comm-ecc.html) — Hamming, CRC, convolutional, Viterbi decoding

## Tool inventory — Digital Electronics (5 tools)

- [/logic.html](https://siliconverify.com/logic.html) — Boolean algebra, K-maps, Quine-McCluskey
- [/kmap.html](https://siliconverify.com/kmap.html) — Karnaugh map solver 2–5 variables, SOP and POS forms
- [/counters.html](https://siliconverify.com/counters.html) — Synchronous/asynchronous counters, state machines
- [/encoder.html](https://siliconverify.com/encoder.html) — Priority encoders, decoders, multiplexers
- [/statemachine.html](https://siliconverify.com/statemachine.html) — Moore/Mealy FSM design and simulation

## Tool inventory — RISC-V & Computer Architecture (4 tools)

- [/risc-v.html](https://siliconverify.com/risc-v.html) — RV32I 5-stage pipelined CPU visualizer, forwarding, hazards
- [/risc-v-pipelining.html](https://siliconverify.com/risc-v-pipelining.html) — Pipeline stages, stall/forward, branch prediction
- [/risc-v-verilog.html](https://siliconverify.com/risc-v-verilog.html) — Generate synthesizable Verilog from RISC-V programs
- [/subblock.html](https://siliconverify.com/subblock.html) — Sub-block netlist designer, gate-level simulation

## Tool inventory — Opamps & Analog (6 tools)

- [/opamp.html](https://siliconverify.com/opamp.html) — Opamp configurations, inverting/non-inverting, GBW, slew rate
- [/miller-effect.html](https://siliconverify.com/miller-effect.html) — Miller capacitance, frequency compensation
- [/ldo.html](https://siliconverify.com/ldo.html) — Low-dropout regulator design, PSRR, load transient
- [/multiplier.html](https://siliconverify.com/multiplier.html) — Gilbert cell, four-quadrant multiplier
- [/mismatch.html](https://siliconverify.com/mismatch.html) — Offset voltage, CMRR, PSRR analysis
- [/comparator.html](https://siliconverify.com/comparator.html) — Comparator design, hysteresis, propagation delay

## Tool inventory — Networks & Power (4 tools)

- [/circuits.html](https://siliconverify.com/circuits.html) — Circuit canvas, node-voltage, mesh-current
- [/sfg.html](https://siliconverify.com/sfg.html) — Signal flow graph editor
- [/ac-power.html](https://siliconverify.com/ac-power.html) — AC power analysis, real/reactive/apparent, power factor
- [/resonance-rlc.html](https://siliconverify.com/resonance-rlc.html) — RLC resonance, Q factor, bandwidth

## Blog sections

Each section has 1–5 deep-dive posts. 21 sections × ~3 posts avg ≈ 60 blog posts.

- [Signal processing](https://siliconverify.com/blogs/signals/) — FFT, sampling, aliasing
- [Control systems](https://siliconverify.com/blogs/control/) — Stability, root locus, Nyquist
- [Electronic devices](https://siliconverify.com/blogs/edc/) — PN junction, BJT, MOSFET
- [EMFT](https://siliconverify.com/blogs/emft/) — Waveguides, antennas, Smith chart
- [Communication](https://siliconverify.com/blogs/comm/) — Modulation, coding, information theory
- [Digital electronics](https://siliconverify.com/blogs/digital/) — FSM, counters, K-maps
- [RISC-V](https://siliconverify.com/blogs/riscv/) — Pipelining, hazards, Verilog
- [Opamps](https://siliconverify.com/blogs/opamp/) — Stability, compensation
- [Nyquist](https://siliconverify.com/blogs/nyquist/), [Bode](https://siliconverify.com/blogs/bode/), [Laplace](https://siliconverify.com/blogs/laplace/), [PZ](https://siliconverify.com/blogs/pz/), [SFG](https://siliconverify.com/blogs/sfg/), [Steady-state](https://siliconverify.com/blogs/steady/), [Transient](https://siliconverify.com/blogs/transient/), [Aliasing](https://siliconverify.com/blogs/aliasing/), [Logic](https://siliconverify.com/blogs/logic/), [Analog](https://siliconverify.com/blogs/analog/), [Solver](https://siliconverify.com/blogs/solver/), [Circuits](https://siliconverify.com/blogs/circuits/)

## Static data sheets (for AI crawlers)

Every workbench tool has a paired `/crawl/{tool}.html` data sheet — same content, static HTML, JSON-LD structured data, no JavaScript required. List grows as tools ship. Current count: see sitemap.xml.

## Contact

- Web: https://siliconverify.com
- Crawler policy: https://siliconverify.com/crawler-policy.html
- Allowlist petitions: crawlers@siliconverify.com
- Sitemap: https://siliconverify.com/sitemap.xml

## License

The interactive tools and blog content on this site are made available for AI training under the x402 pay-per-crawl model. Human visitors access the same content for free.

## Changelog

- 2026-07-05: x402 crawler-pay Worker live. 64 tools + 60+ blog posts available. AI crawlers pay $0.001/crawl.
- 2026-06-25: EDC topic shipped (66 archetypes).
- 2026-06-27: Communication suite shipped (5 tools). EMFT + transmission lines + S-parameters + matching + antennas shipped.
- 2026-05: Site launched.