Albert E. Casavant

Publication Activity (10 Years)

Years Active: 1980-2002
Publications (10 Years): 0

Publications

Aarti Gupta, Albert E. Casavant, Pranav Ashar, X. G. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi
Property-Specific Testbench Generation for Guided Simulation. VLSI Design (2002)
Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar
Property-specific witness graph generation for guided simulation. DATE (2001)
Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne H. Wolf
Efficient Algorithms for Interface Timing Verification. Formal Methods Syst. Des. 12 (3) (1998)
Albert E. Casavant
Balancing structural hazards and hardware cost of pipelined processors. ED&TC (1995)
Richard I. Hartley, Albert E. Casavant
Optimizing pipelined networks of associative and commutative operators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (11) (1994)
Ti-Yen Yen, Wayne H. Wolf, Albert E. Casavant, Alex Ishii
Efficient algorithms for interface timing verification. EURO-DAC (1994)
Albert E. Casavant
MIST - A Design Aid for Programmable Pipelined Processors. DAC (1994)
Kristen N. McNall, Albert E. Casavant
Automatic Operator Configuration in the Synthesis of Pipelined Architectures. DAC (1990)
Ki Soo Hwang, Albert E. Casavant, Ching-Tang Chang, Manuel A. d'Abreu
Scheduling and hardware sharing in pipelined data paths. ICCAD (1989)
Albert E. Casavant, Manuel A. d'Abreu, Martin Dragomirecky, David A. Duff, Jeffrey R. Jasica, Michael J. Hartman, Ki Soo Hwang, William D. Smith
A synthesis environment for designing DSP systems. IEEE Des. Test 6 (2) (1989)
Richard I. Hartley, Albert E. Casavant
Tree-height minimization in pipelined architectures. ICCAD (1989)
Ki Soo Hwang, Albert E. Casavant, Martin Dragomirecky, Manuel A. d'Abreu
Constrained conditional resource sharing in pipeline synthesis. ICCAD (1988)
Albert E. Casavant, Daniel D. Gajski, David J. Kuck
Automatic design with dependence graphs. DAC (1980)