This is the multi-page printable view of this section. Click here to print.

Return to the regular view of this page.

Feature List

The Feature List in hardware verification lists various functions and characteristics of the design that need to be verified. This section provides a basic feature list for each verification task for reference.

The Feature List in hardware verification lists various functions and characteristics of the design that need to be verified. Before starting verification, we generally list the features of the design to clarify which features need to be verified in this task.

To verify a feature in the feature list, we will build the necessary test points for this feature and write test cases to cover these test points. Therefore, the feature list is not only a description of the features of the design to be verified but also a guide for our verification direction and a simple summary of the verification task.

In this verification, we provide a basic feature list for each verification task (i.e., the top-level BPU and each sub-predictor), which only covers the basic functions of the corresponding module. In your verification, you must ensure that this verification covers these features. Additionally, you can supplement features not covered in the list to ensure the final delivery quality.

In this document section, you only need to refer to the document corresponding to the module you will verify.

1 - BPU Top Feature List

Feature List

  1. upport uFTB sub-predictor
  2. Support TAGE-SC sub-predictor
  3. Support FTB sub-predictor
  4. Support ITTAGE sub-predictor
  5. Support RAS sub-predictor
  6. Support three-stage prediction result and other information output
  7. Support prediction result redirection signal generation
  8. Support pipeline control signal generation
  9. Support PC generation
  10. Support global branch history maintenance
  11. Support branch folding history maintenance
  12. Support redirection request response, state restoration
  13. Support update request response

2 - uFTB Feature List

Feature List

  1. Support prediction based on FTB entry
  2. Support two-bit saturating counter
  3. Support basic prediction result output and meta information output for the s1 channel
  4. Support update request response, updating internal FTB and two-bit saturating counter.

3 - FTB Feature List

Feature List

  1. Support FTB entry storage
  2. Support basic prediction result output and meta information output for the s2, s3 channels
  3. Support update request response, updating internal FTB entries

4 - TAGE-SC Feature List

Feature List

  1. s2 TAGE outputs prediction results
  2. s3 SC outputs prediction results
  3. s2 TAGE outputs meta information
  4. s3 SC outputs meta information
  5. TAGE performs update training
  6. Check for new table entry requests
  7. Globally reset useful
  8. SC performs update training

5 - ITTAGE Feature List

Feature List

  1. s2 ITTAGE determines whether to generate a prediction result
  2. s3 ITTAGE reads the predicted target for a branch
  3. s3 ITTAGE outputs meta information
  4. ITTAGE performs update training
  5. Check for new table entry requests
  6. Globally reset useful
  7. Prediction direction

6 - RAS Feature List

Feature List

  1. Supports enabling and disabling of the predictor
  2. Supports s3 prediction result overriding s2 prediction result
  3. Supports push and pop operations of the RAS stack
  4. Supports redirect operation of the RAS stack
  5. Supports update operation of the RAS stack
  6. Supports base predictor interface
  7. Conforms to the standard RAS predictor prediction process