Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Míreanna comhchosúla

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