Abstract:This article presents novel designs for stochastic computing (SC)-based dividers, which promise low latency, high energy efficiency as well as high accuracy for error-tolerant arithmetic operations. We first introduce CBDIV, which is based on the recently proposed counter-based SC concept and correlation based SC to perform division. Then we introduce FSCDIV, which further improves the accuracy of CBDIV by applying a scaling strategy and mitigating the latency by optimizing the counting scheme. The FSCDIV will equally scale up the divider and dividend before the division process, and thereby avoid large relative error when both input values of the divider and dividend are small. The proposed fast counting method, accelerates FSCDIV by counting new bit pair (0-1 pair) among only half of the stochastic number bitstream instead of the entire bitstream, resulting in almost half of the counting latency and one-fourth of the overall division operation latency. The experimental results demonstrate that the proposed CBDIV, implemented in a 32nm technology node, outperforms state-of-the-art works by 77.8% in accuracy, 37.1% in delay, 21.5% in area, 50.6% in area delay product (ADP), and 25.9% in power consumption. Compared to the fixed-point division baseline, CBDIV also achieves a 31.9% reduction in energy consumption and is more energy-efficient than existing SC-based dividers for binary inputs and outputs required in efficient image processing implementations. Moreover, we demonstrate that FSCDIV improves delay by 56.4%, ADP by 16.0%, energy consumption by 45.0%, and accuracy by 61.2%. We also evaluate CBDIV and FSCDIV designs in a contrast stretch image processing workload, and the results show that the proposed designs can improve the image quality by up to 18.3 dB on average when compared to state-of-the-art works.

Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation

Design of Adder Based on Abacus Algorithm

A Framework for the Verification of Certifying Computations

Divide, Conquer and Verify: Improving Symbolic Execution Performance

Datapath Verification via Word-Level E-Graph Rewriting

Boosting the Efficiency of Quantum Divider through Effective Design Space Exploration

Decision Diagrams for Symbolic Verification of Quantum Circuits

Program Verification by Using DISCOVERER

Functional Verification of High Performance Adders in COQ

Designs of the divider and special multiplier optimizing T and CNOT gates

Formal Specification & Verification of Non Restoring Array Divider

A New Systolic Architecture for Modular Division

Design of Unsigned Approximate Hybrid Dividers Based on Restoring Array and Logarithmic Dividers

Adaptive Approximation in Arithmetic Circuits: A Low-Power Unsigned Divider Design

Scalable Verification Framework for C Program

Semantics of Division for Polynomial Solvers

Fast and Scaled Counting-Based Stochastic Computing Divider Design

Hierarchical Verification of AMS Systems With Affine Arithmetic Decision Diagrams

Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)

A novel reversible gate and optimised implementation of half adder, subtractor and 2-bit multiplier

Hardware/Software Co-verification Using Path-based Symbolic Execution