Albert E. Casavant

According to our database, Albert E. Casavant authored at least 13 papers between 1980 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Property-Specific Testbench Generation for Guided Simulation.

Aarti Gupta, Albert E. Casavant, Pranav Ashar, Sean Liu, Akira Mukaiyama, Kazutoshi Wakabayashi

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002

2001

Property-specific witness graph generation for guided simulation.

Albert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

1998

Efficient Algorithms for Interface Timing Verification.

Ti-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne H. Wolf

Formal Methods Syst. Des., 1998

1995

Balancing structural hazards and hardware cost of pipelined processors.

Albert E. Casavant

Proceedings of the 1995 European Design and Test Conference, 1995

1994

Optimizing pipelined networks of associative and commutative operators.

Richard I. Hartley, Albert E. Casavant

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1994

MIST - A Design Aid for Programmable Pipelined Processors.

Albert E. Casavant

Proceedings of the 31st Conference on Design Automation, 1994

1990

Automatic Operator Configuration in the Synthesis of Pipelined Architectures.

Kristen N. McNall, Albert E. Casavant

Proceedings of the 27th ACM/IEEE Design Automation Conference. Orlando, 1990

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

Scheduling and hardware sharing in pipelined data paths.

Ki Soo Hwang, Albert E. Casavant, Ching-Tang Chang, Manuel A. d'Abreu

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

Tree-height minimization in pipelined architectures.

Richard I. Hartley, Albert E. Casavant

Proceedings of the 1989 IEEE International Conference on Computer-Aided Design, 1989

1988

Constrained conditional resource sharing in pipeline synthesis.

Ki Soo Hwang, Albert E. Casavant, Martin Dragomirecky, Manuel A. d'Abreu

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988

1985

Algorithms for Logic Design Automation (Rtcad, Synthesis)

Albert E. Casavant

PhD thesis, 1985

1980

Automatic design with dependence graphs.

Albert E. Casavant, Daniel D. Gajski, David J. Kuck

Proceedings of the 17th Design Automation Conference, 1980