Stochastic modeling and verification of a 0.35um CMOS chaos-based true random number generator