Login / Signup

An example of DISPLAY-CTRL IP Component verification in SCE-MI based emulation platform.

Wlodzimierz WronaPawel DucLukasz BarcikWojciech Pietrasina
Published in: DDECS (2011)
Keyphrases
  • real time
  • mutual information
  • model checking
  • verification method
  • data sets
  • social networks
  • image processing
  • case study
  • end to end