Login / Signup

SMV methodology enhancements for high speed I/O links of SoCs.

Andres Viveros-WacherRicardo AlejosLiliana AlvarezIsrael Diaz-CastroBrenda MarcialGaston Motola-AcunaEdgar-Andrei Vega-Ochoa
Published in: VTS (2014)
Keyphrases
  • high speed
  • gigabit ethernet
  • input output
  • neural network
  • conceptual framework
  • low power
  • symbolic model checking
  • real time
  • website
  • data structure
  • expert systems
  • file system
  • design methodology