Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Eitemau Tebyg

• Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2002)
• A Declarative Framework for Developing Parametrised Hardware Libraries
  gan: McKeever, S, et al.
  Cyhoeddwyd: (2001)
• Pebble: A Language for Parametrised and Reconfigurable Hardware Design
  gan: Luk, W, et al.
  Cyhoeddwyd: (1998)
• Reusing Intellectual Property with Parametrised Hardware Libraries
  gan: Luk, W, et al.
  Cyhoeddwyd: (1997)
• Parametrized Hardware Libraries for Configurable System−on−Chip Technology
  gan: Luk, W, et al.
  Cyhoeddwyd: (2001)