July 2022 Archives by date

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...

Starting: Fri Jul 1 04:44:40 BST 2022
Ending: Sun Jul 31 22:33:27 BST 2022
Messages: 663

• [Libre-soc-bugs] [Bug 874] Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 876] New: Implement and Add Formal Proof for fsub in the fpadd pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 876] Implement and Add Formal Proof for fsub in the fpadd pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 876] Implement and Add Formal Proof for fsub in the fpadd pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] New: formal correctness proof for fmadd on IEEE754FP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] formal correctness proof for fmadd on IEEE754FP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 110] RISC-V FP Reciprocal (inverse) square root ISA extension needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 44] IEEE754 FPU inverse (reciprocal) sqrt   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 874] Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] formal correctness proof for fmadd on IEEE754FP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 123] IEEE754 FPU FMAC needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 388] Write HDL tutorial documenting bpermd development and formal proof process   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 733] document SimdSignal.__Slice__ as part of Partitioned SIMD RFC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] New: image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 335] Formal Correctness Proof for Branch pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 313] Create Branch Pipeline for POWER9   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 418] SPR pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 315] SPR Pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 348] POWER9 SPR pipeline needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 421] TRAP pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 197] Formal correctness proof needed of the 6600-style Out-of-Order execution engine   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 879] New: Formal proof of soc.experiment.compalu_multi.MultiCompUnit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 879] Formal proof of soc.experiment.compalu_multi.MultiCompUnit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 197] Formal correctness proof needed of the 6600-style Out-of-Order execution engine   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 305] Create Pipelined ALU similar to alu_hier.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 306] Formal Correctness Proof for ALU pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 880] New: setvl CTR unit tests needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 880] setvl CTR unit tests needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 880] setvl CTR unit tests needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 242] OpenPOWER simulation unit tests are needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 242] OpenPOWER simulation unit tests are needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 880] setvl CTR unit tests needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 205] documentation of coriolis2 layout process for 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 880] setvl CTR unit tests needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 205] documentation of coriolis2 layout process for 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 764] Documentation of I/O Core/Pad JTAG Tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 50] nmigen pinmux   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 243] Documentation budget for OpenPower Member discussion and proposals   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 123] IEEE754 FPU FMAC needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 230] Video opcode development and discussion   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 190] Setup Gitlab CI Runner for Kazan on a computer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 589] NLnet top-level gigabit crypto router 2021-02-052   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 770] Discussion and Finalisation of Which Cryptographic Primitives to Implement   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 771] Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 773] High-Level Demos of Cryptographic and Other Relevant Algorithms   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 774] Equipment needed, such as FPGA boards and Ethernet PMODs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 776] Documentation of designs, code, processes, and other relevant things as needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] New: add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 771] Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 773] High-Level Demos of Cryptographic and Other Relevant Algorithms   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 774] Equipment needed, such as FPGA boards and Ethernet PMODs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 589] NLnet top-level gigabit crypto router 2021-02-052   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 770] Discussion and Finalisation of Which Cryptographic Primitives to Implement   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 776] Documentation of designs, code, processes, and other relevant things as needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 487] Canonical Root bug for budgeting purposes for the "Future" milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 137] NLNet 2019 Video Acceleration Proposal 2019-10-031   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 140] Implement MESA 3D Vulkan Driver NLNet 2019-10-042   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 153] Top-level for NLNet 2019.10 ASIC Cell Libraries Project.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 175] NLNet 2019 Wishbone proposal 2019-10-043   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 748] NLnet toplevel Milestone 2021-08-049 coriolis2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 244] Wishbone B4 Streaming Specification enhancement.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 245] Wisbone B4 Streaming Reference Implementations with unit tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 249] Additional Wishbone B4 peripherals for Libre-SOC (including conversion from patented AXI4)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 246] Wishbone B4 Streaming I2S peripheral for LibreSOC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 362] improvements to nmigen and yosys   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 840] Formal proofs and unit tests for cryptoprimitives   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 776] Documentation of designs, code, processes, and other relevant things as needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 774] Equipment needed, such as FPGA boards and Ethernet PMODs   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 137] NLNet 2019 Video Acceleration Proposal 2019-10-031   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 140] Implement MESA 3D Vulkan Driver NLNet 2019-10-042   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 153] Top-level for NLNet 2019.10 ASIC Cell Libraries Project.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 773] High-Level Demos of Cryptographic and Other Relevant Algorithms   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 771] Creation of Cryptographic-Primitive OpenPower ISA Pseudo-code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 770] Discussion and Finalisation of Which Cryptographic Primitives to Implement   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 748] NLnet toplevel Milestone 2021-08-049 coriolis2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 589] NLnet top-level gigabit crypto router 2021-02-052   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 487] Canonical Root bug for budgeting purposes for the "Future" milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 362] improvements to nmigen and yosys   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 249] Additional Wishbone B4 peripherals for Libre-SOC (including conversion from patented AXI4)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 246] Wishbone B4 Streaming I2S peripheral for LibreSOC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 245] Wisbone B4 Streaming Reference Implementations with unit tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 244] Wishbone B4 Streaming Specification enhancement.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 175] NLNet 2019 Wishbone proposal 2019-10-043   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 214] ISAMUX/NS Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 237] Variable encoding Standards writeup needed, 16/32/48/64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] New: add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 196] Formal correctness proof needed for the IEEE754 FPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 868] Formal verification of fadd/fsub   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 874] Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 876] Implement and Add Formal Proof for fsub in the fpadd pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] New: sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 232] Implementation of video opcodes in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 232] Implementation of video opcodes in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 859] Implement SPR_KAIVB   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 722] add deduped, a handy decorator for ensuring results are deduplicated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 721] remove type information from nmutil get_type_path.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 722] add deduped, a handy decorator for ensuring results are deduplicated   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 721] remove type information from nmutil get_type_path.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 665] very basic nmigen-to-c compiler needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 874] Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 876] Implement and Add Formal Proof for fsub in the fpadd pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 398] change wiki title from libreriscv   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 398] change wiki title from libreriscv   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 184] new mailing lists proposal for libre-soc.org   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] New: add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 232] Implementation of video opcodes in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 882] add support for showing the nearest budgeting parent that is included in the MoU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 255] formal standard documentation of 3D Opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 801] ls2/gram DDR3 controller not working on hardware   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 855] add libre-soc to kestrel   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 795] No console output from ls2 builds   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 806] Nest should be able to run at different clock rate than main CPU   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 724] Determine required memory compiler developments   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 814] NGI POINTER Milestone 2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 814] NGI POINTER Milestone 2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 815] Planning meetings for NGI POINTER Milestone 2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 816] FPGA equipment for NGI POINTER   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 814] NGI POINTER Milestone 2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 816] FPGA equipment for NGI POINTER   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 818] Simulation of ls2 peripheral fabric with core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 818] Simulation of ls2 peripheral fabric with core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 816] FPGA equipment for NGI POINTER   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 815] Planning meetings for NGI POINTER Milestone 2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 724] Determine required memory compiler developments   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 821] Servers for running coriolis2 VLSI layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 818] Simulation of ls2 peripheral fabric with core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 692] NGI POINTER Kickoff 2021 Sep 13   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 630] Skywater 130nm PDKMaster   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 802] Document steps for ls2 microwatt hello world for fpga boards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] New: implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 218] MP3 optimizations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 234] Hardware implementation of video opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 888] New: ls180 PLL port to sky130 needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 888] ls180 PLL port to sky130 needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 889] New: eth_mac VLSI Layout in tsmc180 and sky130   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 889] eth_mac VLSI Layout in tsmc180 and sky130   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] New: Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 889] eth_mac VLSI Layout in tsmc180 and sky130   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 888] ls180 PLL port to sky130 needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 889] eth_mac VLSI Layout in tsmc180 and sky130   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 870] FPGA equipment for NGI POINTER (2)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 739] NGI POINTER Gigabit Router Pinout Considerations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 850] NGI POINTER Milestone 3   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 838] sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 891] New: fix cvc5 on ppc64le   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 775] Project Management   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 834] binutils: support draft fsins/fcoss/ternlogi instructions   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 844] binutils: implement the first revision with magic instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 826] Trial run of ethmac (freecores) layout.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 630] Skywater 130nm PDKMaster   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 70] evaluate Bus Architectures   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 143] REMAP CSR for Matrix Multiplies   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 118] FP Flags are needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 119] Zero and sign extension blocks are needed, FP.and INT   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 115] SIMD ALUs needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 116] Integer ADD/MUL/DIV operations needed (using FP bypass). SIMD as well   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 121] refactor FP exponent naming   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 122] FP software emulation needed,   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 125] need NaN unboxing operation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 125] need NaN unboxing operation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 126] Make Div core conditional (enable signal)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 136] partitioned multiplier needs to be adapted to Dadda algorithm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 132] SIMD-like nmigen signal for partitioning   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 48] Complete IEEE754 floating point pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 728] ISACaller needs a cleanup and partial re-factoring   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 550] binutils support needed for svp64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 630] Skywater 130nm PDKMaster   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 251] Initial 3D MESA non-accelerated software-only driver is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 420] DIV pipeline formal correctness proof needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 892] New: donations from purism   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 892] donations from purism   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 191] NLNet 2019 Core Proposal 2019-02-012   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 81] implement 6600-style "precise" out-of-order scoreboard   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 22] FPGA proof-of-concept test needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 892] donations from purism   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 838] sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 892] donations from purism   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 201] create specifications for modifications needed for additional nmigen functionality.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 251] Initial 3D MESA non-accelerated software-only driver is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 195] Formal correctness framework is needed for Power ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 383] Complete first functional POWER9 Core   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 605] Extend ECP5_FPGA wiki page with JTAG testing/boot procedure for Libre-SOC test chip   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 698] ls180 ASIC test tasks   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 820] Upgrade HiTas/Yagle STA.   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 795] No console output from ls2 builds   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 577] gcc compiler, binutils and assembly macros for OpenPOWER-SV   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 790] dev-env-setup script for nextpnr-xilinx   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 802] Document steps for ls2 microwatt hello world for fpga boards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 762] Peripheral Pin Muxing Development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 485] Create I-Cache from microwatt icache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 491] MMU Function Unit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 325] create POWER9 TRAP pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 484] Write VHDL to expose CR and XER from Microwatt so single-stepping is possible   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 594] create nmigen RFC for Dynamic Partitioned signals support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 717] Document Power ISA test API   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 733] document SimdSignal.__Slice__ as part of Partitioned SIMD RFC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 466] comprehensive evaluation and planning for 3D MESA driver   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 885] add svindex instruction   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 205] documentation of coriolis2 layout process for 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 214] ISAMUX/NS Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 239] FP16 (and FP128) POWER Formal Standard proposal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 588] add SVP64 to PowerDecoder2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 647] add FP support to ISACaller simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 665] very basic nmigen-to-c compiler needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 463] python based cycle accurate POWER9 simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 237] Variable encoding Standards writeup needed, 16/32/48/64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 139] Swizzle needs to be high priority capability in ISA   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 466] comprehensive evaluation and planning for 3D MESA driver   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 848] FPGAs and equipment bought using FPGA-fund   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 665] very basic nmigen-to-c compiler needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 835] add support for smtlib2 floating-point to yosys and nmigen   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 869] Formal verification of fadd for just round-nearest-ties-to-even without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 874] Implementation and Formal verification of fadd for all rounding modes but without exception flags/traps   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 876] Implement and Add Formal Proof for fsub in the fpadd pipeline   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 877] implementation and formal correctness proof for fp fused-mul-add pipeline excluding ieee754 exception flags   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 458] PartitionedSignal needs nmigen constructs "m.If", Switch etc   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 863] AV opcode implementation, add to Decoder, CSV files   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 665] very basic nmigen-to-c compiler needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 240] POWER-RISCV ISA switch formal standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 238] POWER Compressed Formal Standard writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 588] add SVP64 to PowerDecoder2   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 565] Improve formal verification on PartitionedSignal   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 583] Implement simple VL for-loop in nMigen for TestIssuer   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 883] add cvc5 and bitwuzla to hdl-yosys-tools   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 878] image conversion explaining multi-issue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 891] fix cvc5 on ppc64le   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 198] Formal correctness proofs are needed for low-level libraries in LibreSOC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 237] Variable encoding Standards writeup needed, 16/32/48/64   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 703] Initial SVP64 Power ISA Decoder   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 839] SVP64 / Extra-V / ZOLC whitepaper   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 865] implement vector bitmanip opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 728] ISACaller needs a cleanup and partial re-factoring   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 847] dev-env-setup script for binutils-gdb for target powerpc64le-linux-gnu   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 857] binutils: provide tests for setvl/svstep/svshape/svremap   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 867] add svindex instruction to binutils (and openpower-isa infrastructure)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 858] SVP64 Primer Documentation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 875] SVP64 Spec Document Generation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 880] setvl CTR unit tests needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 728] ISACaller needs a cleanup and partial re-factoring   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 888] ls180 PLL port to sky130 needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 884] sync pysvp64asm register parsing   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 849] binutils: parse macros in SVP64 and refactor code   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 890] Static Timing Analysis of eth_mac   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 469] Create D-cache from microwatt dcache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 491] MMU Function Unit needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 485] Create I-Cache from microwatt icache.vhdl   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 234] Hardware implementation of video opcodes   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 895] New: openpower-isa should not require soc to run tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 895] openpower-isa should not require soc to run tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 895] openpower-isa should not require soc to run tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 895] openpower-isa should not require soc to run tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 887] implement fmvis and 2nd-half variant   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 897] New: de-spacer demo algorithm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 897] de-spacer demo algorithm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 242] OpenPOWER simulation unit tests are needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 659] SVP64 demo / unit test of CRM data-dependent ffirst mode implementing insertion sort   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 897] de-spacer demo algorithm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 897] de-spacer demo algorithm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 252] 3D accelerated opcodes need to be added to the POWER ISA simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 252] 3D accelerated opcodes need to be added to the POWER ISA simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 897] de-spacer demo algorithm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 898] New: binutils svp64 objdump support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 898] binutils svp64 objdump support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 899] New: implement additional Transcendentals in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 899] implement additional Transcendentals in simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 252] 3D accelerated opcodes need to be added to the POWER ISA simulator   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 241] OpenPOWER SImulation is needed of standards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 241] OpenPOWER SImulation is needed of standards   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 728] ISACaller needs a cleanup and partial re-factoring   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 705] add ISACaller simulator FPCSR support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 174] NLNet 2019 Formal Standards OpenPOWER proposal 2019-10-046   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 236] Atomics Standard writeup needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 203] potential improvements to coriolis2 for LibreSOC Layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 178] first coriolis2 tutorial, workflow and "test project" page   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 178] first coriolis2 tutorial, workflow and "test project" page   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 217] create a "ring" system which allows pad locations to be specified conveniently   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 138] NLNet 2019 Coriolis2 Layout proposal 2019-10-029   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 204] Transition from symbolic to real Cell Library for 180nm layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 845] binutils: drop svmagic and deal with the prefix instead   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 838] sync or at least statically check fields.text, power_decoder, trans/svp64, CSVs between each other   bugzilla-daemon at libre-soc.org

Last message date: Sun Jul 31 22:33:27 BST 2022
Archived on: Sun Jul 31 22:33:28 BST 2022

• Messages sorted by: [ thread ] [ subject ] [ author ]
• More info on this list...