{
  "checkpoint_count": 12,
  "embedded_parameter_verified": 12,
  "finite_state_verified": 12,
  "format_version": 1,
  "formula": "I=I_S*(softplus((V-Vth)/(2*n*U_T))^2-softplus((V-Vth-V_D)/(2*n*U_T))^2)/(1+V/V_sat)",
  "reload_verified": 12,
  "sha256_verified": 12,
  "total_bytes": 875161096
}