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
Published in:
Solid-State and Integrated Circuit Technology, 2006. ICSICT '06. 8th International Conference on
Date of Conference: 23-26 Oct. 2006