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