Automatic design with dependence graphs. - Albert E. Casavant; Daniel D. Gajski; David J. Kuck (DAC, 1980)

Algorithms for Logic Design Automation (Rtcad, Synthesis) - Albert E. Casavant (1985)

Constrained conditional resource sharing in pipeline synthesis. - Ki Soo Hwang; Albert E. Casavant; Martin Dragomirecky; Manuel A. d'Abreu (ICCAD, 1988)

Tree-height minimization in pipelined architectures. - Richard I. Hartley; Albert E. Casavant (ICCAD, 1989)

Scheduling and hardware sharing in pipelined data paths. - Ki Soo Hwang; Albert E. Casavant; Ching-Tang Chang; Manuel A. d'Abreu (ICCAD, 1989)

A synthesis environment for designing DSP systems. - Albert E. Casavant; Manuel A. d'Abreu; Martin Dragomirecky; David A. Duff; Jeffrey R. Jasica; Michael J. Hartman; Ki Soo Hwang; William D. Smith (IEEE Des. Test, 1989)

Automatic Operator Configuration in the Synthesis of Pipelined Architectures. - Kristen N. McNall; Albert E. Casavant (DAC, 1990)

MIST - A Design Aid for Programmable Pipelined Processors. - Albert E. Casavant (DAC, 1994)

Optimizing pipelined networks of associative and commutative operators. - Richard I. Hartley; Albert E. Casavant (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994)

Balancing structural hazards and hardware cost of pipelined processors. - Albert E. Casavant (ED&TC, 1995)

Efficient Algorithms for Interface Timing Verification. - Ti-Yen Yen; Alex Ishii; Albert E. Casavant; Wayne H. Wolf (Formal Methods Syst. Des., 1998)

Property-specific witness graph generation for guided simulation. - Albert E. Casavant; Aarti Gupta; S. Liu; Akira Mukaiyama; Kazutoshi Wakabayashi; Pranav Ashar (DATE, 2001)

Property-Specific Testbench Generation for Guided Simulation. - Aarti Gupta; Albert E. Casavant; Pranav Ashar; Sean Liu; Akira Mukaiyama; Kazutoshi Wakabayashi (ASP-DAC/VLSI Design, 2002)