@cascode/cascode-js 0.5.2

package/lib/std/bench/PowerBenches.cas

@@ -0,0 +1,202 @@
+VERSION 3.1
+
+library lib.std.bench
+
+// Minimal quiescent-power bench.
+//
+// This bench assumes the circuit harness provides a VDC supply source between the mapped
+// supply/return terminals (e.g. VDD -> GND). The bench runtime measures the operating-point
+// current through that source and reports positive static power drawn from the rail.
+bench QuiescentPower {
+  stim PWR : supply
+  resp RET : ground
+
+  measurements {
+    measurement QuiescentPower : W {
+      return quiescent_power(PWR, RET)
+    }
+  }
+}
+
+abstract bench AbstractPSRR {
+  abstract stim IN
+  stim PWR : supply
+  abstract resp OUT
+
+  analysis {
+    ACAnalysis ac = new ACAnalysis(
+      space=Log,
+      samples=100,
+      start=(if constraints.HighpassBandwidth { constraints.HighpassBandwidth * 0.1 } else { 1Hz }),
+      stop=(if constraints.GainBandwidth { constraints.GainBandwidth * 10 } else { 10GHz }))
+  }
+
+  measurements {
+    measurement SupplyGain : dB {
+      return calc_passband_gain(ac, PWR, OUT, constraints.LowpassBandwidth, constraints.GainBandwidth)
+    }
+
+    measurement PSRR : dB {
+      return -SupplyGain()
+    }
+
+    measurement InputReferredPSRR(VoltageRatio dmGain) : dB {
+      return (dmGain - SupplyGain())
+    }
+  }
+}
+
+// Power supply rejection ratio (PSRR) bench for single-ended output amplifiers.
+//
+// Applies AC ripple to the supply rail and measures the resulting output perturbation.
+// SupplyGain is the supply-to-output gain (Asupply). PSRR is output-referred PSRR
+// (does not depend on amplifier gain). InputReferredPSRR is gain-normalized PSRR.
+bench SupplyToSERejection extends AbstractPSRR {
+  stim IN : Diff
+  stim PWR : supply
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+    GND g = new GND() { .GND--gnd }
+
+    // Bias the input common-mode so the DUT inputs are not floating (avoids singular matrices in AC).
+    VDC commonModeVDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    Impedor sourceP = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+    Impedor sourceN = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+
+    sourceP.P--vcm
+    sourceP.N--IN.P
+
+    sourceN.P--vcm
+    sourceN.N--IN.N
+
+    // Supply bias + ripple injection:
+    // - VDC sets the nominal rail voltage
+    // - VAC injects small-signal ripple on top
+    // This also prevents harness auto-injection for this rail (bench supplies override).
+    net vdd_dc : supply
+    VDC supplyDC = new VDC(V=harness.VDD) {
+      .P--vdd_dc
+      .N--gnd
+    }
+    VAC supplyAC = new VAC(A=1V, phase=0deg) {
+      .P--PWR
+      .N--vdd_dc
+    }
+
+    // Load impedance
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}
+
+// Power supply rejection ratio (PSRR) bench for single-ended input / single-ended output amplifiers.
+//
+// Applies AC ripple to the supply rail and measures the resulting output perturbation.
+// SupplyGain is the supply-to-output gain (Asupply). PSRR is output-referred PSRR
+// (does not depend on amplifier gain). InputReferredPSRR is gain-normalized PSRR.
+bench SupplyToSERejectionSEInput extends AbstractPSRR {
+  stim IN : analog
+  stim PWR : supply
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+    GND g = new GND() { .GND--gnd }
+
+    // Bias the input so the DUT input is not floating (avoids singular matrices in AC).
+    VDC biasDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    Impedor sourceZ = new Impedor(Z=env.SourceImpedance) { }
+    sourceZ.P--vcm
+    sourceZ.N--IN
+
+    // Supply bias + ripple injection:
+    // - VDC sets the nominal rail voltage
+    // - VAC injects small-signal ripple on top
+    // This also prevents harness auto-injection for this rail (bench supplies override).
+    net vdd_dc : supply
+    VDC supplyDC = new VDC(V=harness.VDD) {
+      .P--vdd_dc
+      .N--gnd
+    }
+    VAC supplyAC = new VAC(A=1V, phase=0deg) {
+      .P--PWR
+      .N--vdd_dc
+    }
+
+    // Load impedance
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}
+
+// Power supply rejection ratio (PSRR) bench for fully-differential output amplifiers.
+//
+// Applies AC ripple to the supply rail and measures the resulting differential output perturbation.
+// SupplyGain is the supply-to-output gain (Asupply). PSRR is output-referred PSRR
+// (does not depend on amplifier gain). InputReferredPSRR is gain-normalized PSRR.
+bench SupplyToDiffRejection extends AbstractPSRR {
+  stim IN : Diff
+  stim PWR : supply
+  resp OUT : Diff
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+    GND g = new GND() { .GND--gnd }
+
+    // Bias the input common-mode so the DUT inputs are not floating (avoids singular matrices in AC).
+    VDC commonModeVDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    Impedor sourceP = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+    Impedor sourceN = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+
+    sourceP.P--vcm
+    sourceP.N--IN.P
+
+    sourceN.P--vcm
+    sourceN.N--IN.N
+
+    // Supply bias + ripple injection:
+    // - VDC sets the nominal rail voltage
+    // - VAC injects small-signal ripple on top
+    // This also prevents harness auto-injection for this rail (bench supplies override).
+    net vdd_dc : supply
+    VDC supplyDC = new VDC(V=harness.VDD) {
+      .P--vdd_dc
+      .N--gnd
+    }
+    VAC supplyAC = new VAC(A=1V, phase=0deg) {
+      .P--PWR
+      .N--vdd_dc
+    }
+
+    // Load impedances for differential output
+    Impedor loadP = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.P
+      .N--gnd
+    }
+    Impedor loadN = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.N
+      .N--gnd
+    }
+  }
+}

package/lib/std/bench/TranBenches.cas

@@ -0,0 +1,164 @@
+VERSION 3.1
+
+library lib.std.bench
+
+// Transient benches (time-domain).
+//
+// Benches are parameterized by stimulus frequency. Different invocations with different
+// frequencies produce separate testbench instances (e.g., tran_bench(stim_freq=1kHz)::...).
+
+abstract bench AbstractTran(Frequency stim_freq = 1kHz) {
+  abstract stim IN
+  abstract resp OUT
+
+  analysis {
+    // Capture 10 cycles total and evaluate on the last cycle for steady-state measurement.
+    TranAnalysis tran = new TranAnalysis(
+      step=period(stim_freq) / 200,
+      start=9 * period(stim_freq),
+      stop=10 * period(stim_freq)
+    )
+  }
+
+  measurements {
+    measurement OutputSwing : V {
+      VoltageWaveform vout = voltage(tran, OUT)
+      return vout.Max() - vout.Min()
+    }
+  }
+}
+
+bench DiffToSETran extends AbstractTran {
+  stim IN : Diff
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND _ = new GND() {
+      .GND--gnd
+    }
+
+    // Bias the input common-mode.
+    VDC commonModeVDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    // Differential sine excitation around vcm at the specified frequency.
+    //
+    // Choose a modest default amplitude so the metric is "about usable swing" rather than
+    // "rail-to-rail saturation". Circuits can override by setting env.TranInputAmplitude.
+    VSIN inP = new VSIN(A=25mV, freq=stim_freq, phase=0deg) {
+      .N--vcm
+    }
+    VSIN inN = new VSIN(A=25mV, freq=stim_freq, phase=180deg) {
+      .N--vcm
+    }
+
+    Impedor sourceP = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+    Impedor sourceN = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+
+    inP.P--sourceP.P
+    sourceP.N--IN.P
+
+    inN.P--sourceN.P
+    sourceN.N--IN.N
+
+    // Default load model uses env.LoadImpedance (consistent with AC benches).
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}
+
+bench DiffToDiffTran extends AbstractTran {
+  stim IN : Diff
+  resp OUT : Diff
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND _ = new GND() {
+      .GND--gnd
+    }
+
+    // Bias the input common-mode.
+    VDC commonModeVDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    // Differential sine excitation around vcm at the specified frequency.
+    //
+    // Choose a modest default amplitude so the metric is "about usable swing" rather than
+    // "rail-to-rail saturation". Circuits can override by setting env.TranInputAmplitude.
+    VSIN inP = new VSIN(A=25mV, freq=stim_freq, phase=0deg) {
+      .N--vcm
+    }
+    VSIN inN = new VSIN(A=25mV, freq=stim_freq, phase=180deg) {
+      .N--vcm
+    }
+
+    Impedor sourceP = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+    Impedor sourceN = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+
+    inP.P--sourceP.P
+    sourceP.N--IN.P
+
+    inN.P--sourceN.P
+    sourceN.N--IN.N
+
+    // Differential target load. Diff benches split this to per-side shunts via DiffToShunt().
+    Impedor loadP = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.P
+      .N--gnd
+    }
+    Impedor loadN = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.N
+      .N--gnd
+    }
+  }
+}
+
+bench SEToSETran extends AbstractTran {
+  stim IN : analog
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND _ = new GND() {
+      .GND--gnd
+    }
+
+    // Bias the input common-mode.
+    VDC biasDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    // Single-ended sine excitation around vcm at the specified frequency.
+    //
+    // Choose a modest default amplitude so the metric is "about usable swing" rather than
+    // "rail-to-rail saturation". Circuits can override by setting env.TranInputAmplitude.
+    VSIN vin = new VSIN(A=25mV, freq=stim_freq, phase=0deg) {
+      .N--vcm
+    }
+
+    Impedor sourceZ = new Impedor(Z=env.SourceImpedance) { }
+
+    vin.P--sourceZ.P
+    sourceZ.N--IN
+
+    // Default load model uses env.LoadImpedance (consistent with AC benches).
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}

package/lib/std/bench/TransferBenches.cas

@@ -0,0 +1,329 @@
+VERSION 3.1
+
+library lib.std.bench
+
+function calc_passband_freq(ACAnalysis ac, Frequency hp, Frequency lp) : Frequency {
+  Frequency f = sqrt(hp * lp)
+
+  if f < ac.start { return ac.start }
+  if f > ac.stop { return ac.stop }
+  return f
+}
+
+function infer_hp_corner(Frequency fallback) : Frequency {
+  if constraints.HighpassBandwidth { return constraints.HighpassBandwidth }
+  return fallback
+}
+
+function infer_lp_corner(ACAnalysis ac, Frequency lpConstraint, Frequency gbwConstraint) : Frequency {
+  if lpConstraint { return lpConstraint }
+  return ac.stop
+}
+
+function calc_passband_gain(ACAnalysis ac, stim IN, resp OUT, Frequency lpConstraint, Frequency gbwConstraint) : VoltageRatio {
+  TransferFunction H = transfer(ac, IN, OUT)
+  GainSpectrum G = db20(H.Mag())
+
+  Frequency hp = infer_hp_corner(1Hz)
+  Frequency lp = infer_lp_corner(ac, lpConstraint, gbwConstraint)
+  Frequency fpb = calc_passband_freq(ac, hp, lp)
+
+  return G.ValueAt(fpb)
+}
+
+function calc_gain_bandwidth(ACAnalysis ac, stim IN, resp OUT) : Frequency {
+  TransferFunction H = transfer(ac, IN, OUT)
+  GainSpectrum G = db20(H.Mag())
+
+  return G.FindCrossing(0dB, dir=falling, cross=1, from=ac.start, to=ac.stop)
+}
+
+function calc_phase_margin(ACAnalysis ac, stim IN, resp OUT) : Phase {
+  // Approximate unity-feedback phase margin from the open-loop transfer function:
+  // PM = 180deg + phase(A(jw)) at the gain crossover (|A|=1, i.e. 0dB).
+  TransferFunction H = transfer(ac, IN, OUT)
+  GainSpectrum G = db20(H.Mag())
+  PhaseSpectrum P = H.Phase()
+
+  Frequency fg = G.FindCrossing(0dB, dir=falling, cross=1, from=ac.start, to=ac.stop)
+  Phase phi = P.ValueAt(fg)
+  return 180deg + phi
+}
+
+function calc_lowpass_bandwidth(ACAnalysis ac, stim IN, resp OUT, Frequency lpConstraint, Frequency gbwConstraint) : Frequency {
+  TransferFunction H = transfer(ac, IN, OUT)
+  GainSpectrum G = db20(H.Mag())
+
+  Frequency hp = infer_hp_corner(1Hz)
+  Frequency lp = infer_lp_corner(ac, lpConstraint, gbwConstraint)
+  Frequency fpb = calc_passband_freq(ac, hp, lp)
+
+  VoltageRatio gpb = G.ValueAt(fpb)
+  VoltageRatio thr = gpb - 3dB
+
+  return G.FindCrossing(thr, dir=falling, cross=1, from=fpb, to=ac.stop)
+}
+
+function calc_highpass_bandwidth(ACAnalysis ac, stim IN, resp OUT, Frequency lpConstraint, Frequency gbwConstraint) : Frequency {
+  TransferFunction H = transfer(ac, IN, OUT)
+  GainSpectrum G = db20(H.Mag())
+
+  Frequency hp = infer_hp_corner(1Hz)
+  Frequency lp = infer_lp_corner(ac, lpConstraint, gbwConstraint)
+  Frequency fpb = calc_passband_freq(ac, hp, lp)
+
+  VoltageRatio gpb = G.ValueAt(fpb)
+  VoltageRatio thr = gpb - 3dB
+
+  return G.FindCrossing(thr, dir=rising, cross=1, from=ac.start, to=fpb)
+}
+
+abstract bench AbstractTransfer {
+  abstract stim IN
+  abstract resp OUT
+
+  analysis {
+    ACAnalysis ac = new ACAnalysis(
+      space=Log,
+      samples=100,
+      start=(if constraints.HighpassBandwidth { constraints.HighpassBandwidth * 0.1 } else { 1Hz }),
+      stop=(if constraints.GainBandwidth { constraints.GainBandwidth * 10 } else { 10GHz }))
+  }
+
+  measurements {
+    measurement PassbandGain : dB {
+      return calc_passband_gain(ac, IN, OUT, constraints.LowpassBandwidth, constraints.GainBandwidth)
+    }
+
+    measurement GainBandwidth : Hz {
+      return calc_gain_bandwidth(ac, IN, OUT)
+    }
+
+    measurement PhaseMargin : deg {
+      return calc_phase_margin(ac, IN, OUT)
+    }
+
+    measurement LowpassBandwidth : Hz {
+      return calc_lowpass_bandwidth(ac, IN, OUT, constraints.LowpassBandwidth, constraints.GainBandwidth)
+    }
+
+    measurement HighpassBandwidth : Hz {
+      return calc_highpass_bandwidth(ac, IN, OUT, constraints.LowpassBandwidth, constraints.GainBandwidth)
+    }
+
+    measurement BandpassBandwidth : Hz {
+      return abs(LowpassBandwidth() - HighpassBandwidth())
+    }
+  }
+}
+
+bench DiffToSETransfer extends AbstractTransfer {
+  stim IN : Diff
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND g = new GND() {
+      .GND--gnd
+    }
+
+    VDC commonModeVDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    VAC acP = new VAC(A=0.5V, phase=0deg) {
+      .N--vcm
+    }
+    VAC acN = new VAC(A=0.5V, phase=180deg) {
+      .N--vcm
+    }
+
+    Impedor sourceP = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+    Impedor sourceN = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+
+    acP.P--sourceP.P
+    sourceP.N--IN.P
+
+    acN.P--sourceN.P
+    sourceN.N--IN.N
+
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}
+
+bench DiffToDiffTransfer extends AbstractTransfer {
+  stim IN : Diff
+  resp OUT : Diff
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND g = new GND() {
+      .GND--gnd
+    }
+
+    VDC commonModeVDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    VAC acP = new VAC(A=0.5V, phase=0deg) {
+      .N--vcm
+    }
+    VAC acN = new VAC(A=0.5V, phase=180deg) {
+      .N--vcm
+    }
+
+    Impedor sourceP = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+    Impedor sourceN = new Impedor(Z=env.SourceImpedance.DiffToShunt()) { }
+
+    acP.P--sourceP.P
+    sourceP.N--IN.P
+
+    acN.P--sourceN.P
+    sourceN.N--IN.N
+
+    Impedor loadP = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.P
+      .N--gnd
+    }
+    Impedor loadN = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.N
+      .N--gnd
+    }
+  }
+}
+
+bench SEToSETransfer extends AbstractTransfer {
+  stim IN : analog
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND g = new GND() {
+      .GND--gnd
+    }
+
+    VDC biasDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    VAC ac = new VAC(A=1V, phase=0deg) {
+      .N--vcm
+    }
+
+    Impedor sourceZ = new Impedor(Z=env.SourceImpedance) { }
+
+    ac.P--sourceZ.P
+    sourceZ.N--IN
+
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}
+
+abstract bench AbstractCMRejection {
+  abstract stim CM
+  abstract resp OUT
+
+  analysis {
+    ACAnalysis ac = new ACAnalysis(
+      space=Log,
+      samples=100,
+      start=(if constraints.HighpassBandwidth { constraints.HighpassBandwidth * 0.1 } else { 1Hz }),
+      stop=(if constraints.GainBandwidth { constraints.GainBandwidth * 10 } else { 10GHz }))
+  }
+
+  measurements {
+    measurement CommonModeGain : dB {
+      return calc_passband_gain(ac, CM, OUT, constraints.LowpassBandwidth, constraints.GainBandwidth)
+    }
+
+    measurement CMRR(VoltageRatio dmGain) : dB {
+      VoltageRatio cmGain = CommonModeGain()
+      return (dmGain - cmGain)
+    }
+  }
+}
+
+bench DiffCMRejection extends AbstractCMRejection {
+  stim CM : analog
+  resp OUT : Diff
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND g = new GND() {
+      .GND--gnd
+    }
+
+    VDC biasDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    VAC cmAC = new VAC(A=1V, phase=0deg) {
+      .N--vcm
+    }
+
+    Impedor sourceZ = new Impedor(Z=env.SourceImpedance) { }
+
+    cmAC.P--sourceZ.P
+    sourceZ.N--CM
+
+    Impedor loadP = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.P
+      .N--gnd
+    }
+    Impedor loadN = new Impedor(Z=env.LoadImpedance.DiffToShunt()) {
+      .P--OUT.N
+      .N--gnd
+    }
+  }
+}
+
+// Common-mode rejection bench for differential-input / single-ended-output amplifiers.
+//
+// Applies a common-mode signal to both differential inputs (inputs tied together) and measures the
+// resulting single-ended output. CommonModeGain is the CM-to-out gain (Acm).
+// CMRR takes the differential gain as a parameter and computes CMRR = Ad - Acm (in dB).
+bench DiffToSECMRejection extends AbstractCMRejection {
+  stim CM : analog
+  resp OUT : analog
+
+  fill {
+    net vcm : analog
+    net gnd : ground
+
+    GND g = new GND() { .GND--gnd }
+
+    VDC biasDC = new VDC(V=env.InputCommonModeRange) {
+      .P--vcm
+      .N--gnd
+    }
+
+    VAC cmAC = new VAC(A=1V, phase=0deg) { .N--vcm }
+
+    Impedor srcZ = new Impedor(Z=env.SourceImpedance) { }
+    cmAC.P--srcZ.P
+    srcZ.N--CM
+
+    Impedor loadZ = new Impedor(Z=env.LoadImpedance) {
+      .P--OUT
+      .N--gnd
+    }
+  }
+}

package/lib/std/composites/PadDriver.cas

@@ -0,0 +1,10 @@
+library lib.std.composites; import lib.std.*;
+
+interface PadDriver(int stages, int bank) implements InverterLike {
+  input IN : digital
+  output OUT : digital
+  supply VDD
+  ground GND
+  
+}
+