Automatic differentiation in circuit simulation and device modeling | Synapse