Login / Signup

Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP.

Sven BeyerChristian JacobiDaniel KroeningDirk LeinenbachWolfgang J. Paul
Published in: CHARME (2003)
Keyphrases
  • functional verification
  • functional units
  • processing elements
  • formal verification
  • parallel processors
  • associative memory
  • massively parallel
  • random access
  • hardware architecture
  • data management