Travelled to:1 × USA
Collaborated with:D.Geist G.Biran T.Arons Y.Nustov M.Farkas K.Holtz A.Long D.King S.Barret
Talks about:methodolog (1) system (1) verif (1) chip (1)
Person: Michael Slavkin
DBLP: Slavkin:Michael
Contributed to:
1999Wrote 1 papers:
- DAC-1999-GeistBASNFHLKB #verification
- A Methodology for the Verification of a “System on Chip” (DG, GB, TA, MS, YN, MF, KH, AL, DK, SB), pp. 574–579.