Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

Contributor workflow

Work from the smallest independently checkable boundary outward:

  1. software oracle or arithmetic property;
  2. leaf RHDL kernel;
  3. stateful component;
  4. cluster;
  5. production top source simulation;
  6. generated-RTL parser and self-checking simulation;
  7. isolated synthesis;
  8. placement and route; and
  9. shell/card execution.

Stop when the evidence required by the change is satisfied. A documentation or software-type change does not authorize an expensive implementation run, while a timing claim cannot stop at source simulation.

The full contribution policy is rendered under Project → Contributing.