Login / Signup

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation.

Masahiro FujitaKenshu SetoThanyapat Sakunkonchak
Published in: J. Satisf. Boolean Model. Comput. (2008)
Keyphrases
  • hardware software
  • hw sw
  • hardware and software
  • embedded systems
  • model checking
  • evolutionary algorithm
  • high performance computing
  • real time
  • low cost
  • parallel algorithm
  • sat solvers
  • design space
  • multi core processors