Symbolic simulation for functional verification with ADLIB and SDL.

Wendell E. Cory

Published in: DAC (1981)

Keyphrases

functional verification
hardware software
response time
data processing
symbolic representation