Add Wish List Add to Cart The item has been added Polynomial Formal Verification of Approximate Functions During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal... RRP: $227.00 Add to Cart The item has been added