A new timed taylor expansion diagrams method

This paper prensents an extension to TEDs with timing information, called timed Taylor expansion diagrams (TTEDs). TTEDs is a direct extension to TEDs with timing information and preserves properties of TEDs. TTEDs is also canonical and allows the symbolic manipulations of algebra functions and Boolean functions with timing information. The experiment results show that TTEDs is effective for logic behavior and timing information factors of RTL design description and circuit