Albert E. Casavant - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

2002

Property-Specific Testbench Generation for Guided SimulationAarti Gupta, Albert E. Casavant, Pranav Ashar, X. G. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi. vlsid 2002: 524 [doi]

2001

Property-specific witness graph generation for guided simulationAlbert E. Casavant, Aarti Gupta, S. Liu, Akira Mukaiyama, Kazutoshi Wakabayashi, Pranav Ashar. date 2001: 799 [doi]

1998

Efficient Algorithms for Interface Timing VerificationTi-Yen Yen, Alex Ishii, Albert E. Casavant, Wayne Wolf. fmsd, 12(3):241-265, 1998.

1995

Balancing structural hazards and hardware cost of pipelined processorsAlbert E. Casavant. date 1995: 562-567 [doi]

1994

MIST - A Design Aid for Programmable Pipelined ProcessorsAlbert E. Casavant. dac 1994: 532-536 [doi]

Optimizing pipelined networks of associative and commutative operatorsRichard I. Hartley, Albert E. Casavant. tcad, 13(11):1418-1425, 1994. [doi]

Efficient algorithms for interface timing verificationTi-Yen Yen, Wayne Wolf, Albert E. Casavant, Alex Ishii. eurodac 1994: 34-39 [doi]

1990

Automatic Operator Configuration in the Synthesis of Pipelined ArchitecturesKristen N. McNall, Albert E. Casavant. dac 1990: 174-179 [doi]

1989

1988

Constrained conditional resource sharing in pipeline synthesisKi-Soo Hwang, Albert E. Casavant, M. Dragomirecky, Manuel A. d'Abreu. iccad 1988: 52-55 [doi]

1985

Algorithms for Logic Design Automation (Rtcad, Synthesis)Albert E. Casavant. PhD thesis, University of Illinois Urbana-Champaign, USA, 1985. [doi]

1980

Automatic design with dependence graphsAlbert E. Casavant, Daniel D. Gajski, David J. Kuck. dac 1980: 506-515 [doi]

Sign in or sign up to see more results.

runs on WebDSL