An Accurate and Time-Efficient Subtractor by Cross Format Coding in Stochastic Computing