Travelled to:1 × USA
Collaborated with:N.Boulerice E.Cerny F.Corella M.Langevin X.Song S.Tahar Y.Xu Z.Zhou
Talks about:design (1) verif (1) tool (1) rtl (1) mdg (1)
Person: K. D. Anon
DBLP: Anon:K=_D=
Contributed to:
1996Wrote 1 papers:
- CAV-1996-AnonBCCLSTXZ #design #tool support #verification
- MDG Tools for the Verification of RTL Designs (KDA, NB, EC, FC, ML, XS, ST, YX, ZZ), pp. 433–436.