Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Նմանատիպ նյութեր

• Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries
  ‌: McKeever, S, և այլն
  Հրապարակվել է: (2002)
• 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)
• Parametrized Hardware Libraries for Configurable System−on−Chip Technology
  ‌: Luk, W, և այլն
  Հրապարակվել է: (2001)