Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques

Eitemau Tebyg

• Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2001)
• Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2002)
• Array Synthesis in SystemC Hardware Compilation
  gan: Ditmar, J, et al.
  Cyhoeddwyd: (2007)
• Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2003)
• Area optimisation for field-programmable gate arrays in SystemC hardware compilation
  gan: Ditmar, J, et al.
  Cyhoeddwyd: (2008)