Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries

Схожие документы

• Towards Verifying Parametrised Hardware Libraries with Relative Placement Information
  по: McKeever, S, и др.
  Опубликовано: (2003)
• A Declarative Framework for Developing Parametrised Hardware Libraries
  по: McKeever, S, и др.
  Опубликовано: (2001)
• Pebble: A Language for Parametrised and Reconfigurable Hardware Design
  по: Luk, W, и др.
  Опубликовано: (1998)
• Reusing Intellectual Property with Parametrised Hardware Libraries
  по: Luk, W, и др.
  Опубликовано: (1997)
• Towards Provably−Correct Hardware Compilation Tools Based on Pass Separation Techniques
  по: McKeever, S, и др.
  Опубликовано: (2001)