Login / Signup

Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph.

Shunsuke SasakiTasuku NishiharaDaisuke AndoMasahiro Fujita
Published in: J. Univers. Comput. Sci. (2007)
Keyphrases
  • hardware software co design
  • hardware and software
  • model checking
  • hw sw
  • real time
  • database systems
  • markov random field
  • graphical models
  • signal processing
  • data processing
  • field programmable gate array