File size: 298 Bytes
2bba94c
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
{
  "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
}