Max Depth:

Bug 341 depends on 11 bugs:

view as bug list

•    341: unit tests needed for soc.fu.compunits (shared with soc.fu.*/test_pipe_caller.py) [RESOLVED FIXED; assigned to lkcl]
  •    318: fix LDSTCompUnit [CONFIRMED; assigned to cestrauss]
  •    305: Create Pipelined ALU similar to alu_hier.py [RESOLVED FIXED; assigned to mtnolan2640]
    •    319: POWER9 setting carry (and other) XER flags [CONFIRMED; assigned to mtnolan2640]
    •    361: all test_pipe_caller.py needs RA=0 tests [CONFIRMED; assigned to lkcl]
    •    306: Formal Correctness Proof for ALU pipeline [RESOLVED FIXED; assigned to kc5tja]
      •    429: pipeline main_stage formal verification does not check ctx fields fully [CONFIRMED; assigned to kc5tja]
      •    337: Convention for register outputs in *OutputData structures is to use "Data" [RESOLVED FIXED; assigned to lkcl]
    •    334: POWER decode A=zero needs to be set as a flag in Execute1Type [RESOLVED FIXED; assigned to lkcl]
    •    337: Convention for register outputs in *OutputData structures is to use "Data" [RESOLVED FIXED; assigned to lkcl] (*)
    •    358: new MCU-ALU test picked up RC / OE / CR handling issue [RESOLVED FIXED; assigned to mtnolan2640]
    •    360: move RS to 1st or 2nd operand in CSV files [RESOLVED FIXED; assigned to lkcl]
    •    369: missing XER SO/OV/32 check in test_pipe_caller.py [RESOLVED FIXED; assigned to lkcl]

Bug 341 does not block any bugs.

Max Depth:

• • Home
  • | New
  • | Browse
  • | Search
  • |
    [?]
  • | Reports
  • | Help
  • | Log In
    [x]
  • | Forgot Password
    Login: [x]