Travelled to:1 × USA
Collaborated with:D.Geist G.Biran T.Arons M.Slavkin Y.Nustov M.Farkas K.Holtz D.King S.Barret
Talks about:methodolog (1) system (1) verif (1) chip (1)
Person: Andy Long
DBLP: Long:Andy
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.