Albert E. Casavant

14 papers A* 3A 4Journal 3Unranked 3

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