Part 1 · Domains and reset
Map domains and release reset safely
Record clock provenance, reset ownership, voltage, traffic, and state, then prove asynchronous assertion, local release, recovery, removal, and reset-domain crossings.
Safe boundaries across time and voltage
Operate a dual-clock, power-gated sensor subsystem from cold reset through configuration, streaming, quiesce, sleep, wake, and recovery while every crossing preserves meaning.
Classify each boundary by clock relationship, payload semantics, reset behavior, and power state; then select a structure and signoff evidence that remain safe in silicon.
Part 1 · Domains and reset
Record clock provenance, reset ownership, voltage, traffic, and state, then prove asynchronous assertion, local release, recovery, removal, and reset-domain crossings.
Part 2 · CDC and clocks
Match levels, events, bundles, and streams to safe crossings, quantify metastability risk, preserve Gray-pointer assumptions, and gate clocks without glitches.
Part 3 · Power and sequencing
Coordinate level shifting, isolation, retention, power switches, clocks, reset, and software-visible readiness across safe power-down and restoration.
Boundary control room · active
The same pair of domains needs different circuitry for a persistent mode, a short event, a coherent configuration word, and a continuous sample stream.
Continue the system