TDS 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. In addition to equivalence checking of high-level design specifications, TEDs can be used for optimization of mathematical expressions derived from DSP designs and other high-level design descriptions. TED adds behavioral transformation level to architectural and RTL synthesis.



Projects

