Method for optimizing digital arithmetic circuit e.g. for industrial digital circuit design, involves initially describing circuit behavior with arithmetic one-bit operations

摘要

A method for optimizing a digital arithmetic circuit in which the digital arithmetic circuit is described by an arithmetic bit-plane description which describes the behavior of the circuit with arithmetic 1-bit-operations and in which the arithmetic bit-plane description is optimized with a previously established set of conversion rules for such a length of time, until none of the conversion rules in the previously established set of defined conversion rules any longer leads to an optimization of the arithmetic bit-plane description. Independent claims are included for the following (1) a method for properties testing of a digital arithmetic circuit; (2) a device for optimizing a digital arithmetic circuit; (3) a computer program product with computer program and; (4) an electronic readable data carrier.