What we offers

Arithmetic Extractor - EasyAE

EasyAE (Easy Arithmetic Extractor) is used to extract arithmetic expressions from netlist-level to RTL sentence. EasyAE do not require any prior knowledge and is able to extract various arithmetic expressions such as addition, subtraction, multiplication and the combines of addition and multiplication. Various arithmetic structures such as Booth, modified Booth, Baugh wooley can be extracted.EasyAE can be used to analyze the details of netlist and can solve the abort issue within traditional logic equivalence checker tools.


Best arithmetic extractor all over the world


Able to extract multiplier with various encoding styles


Only several seconds required to extract a 128bit multiplier