[libre-riscv-dev] [Bug 343] New: compalu_multi write requests need to hook into Data.ok

[libre-riscv-dev] [Bug 343] New: compalu_multi write requests need to hook into Data.ok

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=343

            Bug ID: 343
           Summary: compalu_multi write requests need to hook into Data.ok
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: Other
                OS: Linux
            Status: CONFIRMED
          Severity: enhancement
          Priority: ---
         Component: Source Code
          Assignee: lkcl@lkcl.net
          Reporter: lkcl@lkcl.net
                CC: libre-riscv-dev@lists.libre-riscv.org
   NLnet milestone: ---

the soc.fu pipeline data structures have been designed to notify MultiCompUnit
that they have data to be stored.

this by setting Data.ok in their Output n.data_o members.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 343] compalu_multi write requests need to hook into Data.ok

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=343

Luke Kenneth Casson Leighton <lkcl@lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
    NLnet milestone|---                         |NLnet.2019.02
           See Also|                            |https://bugs.libre-soc.org/
                   |                            |show_bug.cgi?id=336

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 343] compalu_multi write requests need to hook into Data.ok

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=343

Luke Kenneth Casson Leighton <lkcl@lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://bugs.libre-soc.org/
                   |                            |show_bug.cgi?id=332

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 343] compalu_multi write requests need to hook into Data.ok

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=343

Luke Kenneth Casson Leighton <lkcl@lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://bugs.libre-soc.org/
                   |                            |show_bug.cgi?id=340

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev

[libre-riscv-dev] [Bug 343] compalu_multi write requests need to hook into Data.ok

[bugzilla-daemon]

https://bugs.libre-soc.org/show_bug.cgi?id=343

--- Comment #1 from Luke Kenneth Casson Leighton <lkcl@lkcl.net> ---
nuts.  just realised that all the formal proofs - and unit tests - need to
check XER.so ok, XER.ca ok etc. as well.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev