Login / Signup

A Network Based Functional Verification Method of IEEE 1394a PHY Core.

Colin Yu LinSong CaoJunshe AnFei HanQifei Fan
Published in: ISVLSI (2008)
Keyphrases
  • verification method
  • model checking
  • temporal logic
  • functional analysis
  • neural network
  • machine learning
  • digital libraries
  • data analysis
  • artificial neural networks
  • wireless lan