Pebble: A Language for Parametrised and Reconfigurable Hardware Design

Eitemau Tebyg

• A Declarative Framework for Developing Parametrised Hardware Libraries
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2001)
• Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2003)
• Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2002)
• Reusing Intellectual Property with Parametrised Hardware Libraries
  gan: Luk, W, et al.
  Cyhoeddwyd: (1997)
• Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2001)