Travelled to:2 × USA
Collaborated with:∅ W.M.v.Cleemput
Talks about:verif (2) function (1) develop (1) correct (1) symbol (1) design (1) simul (1) adlib (1) sdl (1)
Person: Wendell E. Cory
DBLP: Cory:Wendell_E=
Contributed to:
19811980Wrote 2 papers:
- DAC-1981-Cory #functional #simulation #verification
- Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
- DAC-1980-CoryC #correctness #design #verification
- Developments in verification of design correctness (WEC, WMvC), pp. 156–164.