power.ato
live
# buck regulator · parametric{"\n"}
import Power from "interfaces.ato"{"\n"}
import Buck from "generics.buck"{"\n"}
{"\n"}
module Rail3v3:{"\n"}
{" "}power_in = new Power{"\n"}
{" "}power_out = new Power{"\n"}
{" "}v_out: voltage = 3.3V ± 2%{"\n"}
{" "}i_max: current = 2A{"\n"}
{"\n"}
{" "}reg = new Buck{"\n"}
{" "}reg.v_out ~= v_out{"\n"}
{" "}reg.i_max ~= i_max{"\n"}
{"\n"}
{" "}assert power_in.voltage > v_out + 0.5V{"\n"}
{" "}assert reg.efficiency > 85%
);
}
function CodeChecks() {
return (
power.ato
Checks
Simulation
✓
verify · 142 assertions · 18 modules
1 failed
✓
Voltage compatibility
78 / 78
✓
Current budget
21 / 21
✓
I²C bus uniqueness
14 / 14
✓
Pull-up strength
9 / 9
!
SPICE ripple < 30mV
42mV @ L1
fix
Change L1 from 4.7µH → 6.8µH (Coilcraft XAL)
● Build blocked in CI
Apply fix →
);
}
function CodeAgent() {
return (