Wendell E. Cory

Publication Activity (10 Years)

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

Publications

Wendell E. Cory
Symbolic simulation for functional verification with ADLIB and SDL. DAC (1981)
Wendell E. Cory, William M. van Cleemput
Developments in verification of design correctness (A Tutorial). DAC (1980)