| { | |
| "checkpoint_count": 6, | |
| "embedded_parameter_verified": 6, | |
| "finite_state_verified": 6, | |
| "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)", | |
| "language_loader_verified": 6, | |
| "reload_verified": 6, | |
| "sha256_verified": 6, | |
| "total_bytes": 1881303156 | |
| } | |