Featured Paper by Gal Algavish, Ofer Affias
A modern verification environment should have a Register Data Base (RDB). Verification
environments should have a way to access all the hardware registers, set and reset them, and even
randomize the whole database based on specified constraints. Today's SoC verifications set new
verification challenges, so the interoperability of both hardware and software must be
addressed. Managing memory as part of the RDB is the answer implemented by Wisair. Tasks
such as software descriptor management (linked lists), memory management, debug, and tracking
are all in the verification's scope, and rely intensively on the RDB. Furthermore, the
implementation should give the user an intuitive way to make use of these operations, while
maintaining the ability to reuse this structure in future projects.
|
Editorial
Upcoming Events
DAC 2012 at San Francisco CA - Jun 3 - 7, 2012
|
|
|