TED-Express is a CAD software to generate and optimize Taylor Expansion Diagrams (TED), a novel, canonical, graph-based representation for arithmetic expressions of data flow designs. TED can be used for equivalence checking of high-level design specifications and for optimization of mathematical expressions derived from DSP designs and other high-level design specifications. It adds a behavioral transformation level to architectural and RTL synthesis.

Contact:
Daniel F Gomez-Prado (dgomezpr@ecs.umass.edu)