1990 | ||
---|---|---|
3 | David E. Wallace, Mandalagiri S. Chandrasekhar: High-Level Delay Estimation for Technology-Independent Logic Equations. ICCAD 1990: 188-191 | |
1988 | ||
2 | EE | David E. Wallace, Carlo H. Séquin: ATV: An Abstract Timing Verifier. DAC 1988: 154-159 |
1986 | ||
1 | EE | David E. Wallace, Carlo H. Séquin: Plug-in timing models for an abstract timing verifier. DAC 1986: 683-689 |
1 | Mandalagiri S. Chandrasekhar | [3] |
2 | Carlo H. Séquin | [1] [2] |