August 2022 Archives by date

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

Starting: Mon Aug 1 05:56:35 BST 2022
Ending: Wed Aug 31 16:02:01 BST 2022
Messages: 295

• [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
• [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
• [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 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 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 705] add ISACaller simulator FPSCR support   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 828] 2RW and 1RW SRAM compiler development   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 231] Video Opcodes Standards writeup   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 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 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 860] PowerEL ppc64sffs   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 198] Formal correctness proofs are needed for low-level libraries in LibreSOC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 901] New: Formal proof for PriorityPicker and MultiPriorityPicker   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 901] Formal proof for PriorityPicker and MultiPriorityPicker   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 901] Formal proof for PriorityPicker and MultiPriorityPicker and BetterMultiPriorityPicker   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 902] New: Formal proof for nmutil byterev.py   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 902] Formal proof for nmutil byterev.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 901] Formal proof for PriorityPicker and MultiPriorityPicker and BetterMultiPriorityPicker   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 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 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 902] Formal proof for nmutil byterev.py   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 890] Static Timing Analysis of eth_mac   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 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 903] New: Formal proof for nmigen.queue.Queue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 903] Formal proof for nmigen.queue.Queue   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 904] New: Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   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 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 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 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 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 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 904] Formal proof for pop-count   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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 906] New: change HDL code to not use type annotations even for dataclasses   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 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 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 849] binutils: parse macros in SVP64 and refactor code   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 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 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 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 906] change HDL code to not use type annotations even for dataclasses   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 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 906] change HDL code to not use type annotations even for dataclasses   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 906] change HDL code to not use type annotations even for dataclasses   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 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 906] change HDL code to not use type annotations even for dataclasses   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 872] binutil needs support for new Pack/Unpack modes   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 852] implement grevlut*   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 852] implement grevlut*   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 906] change HDL code to not use type annotations even for dataclasses   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 906] change HDL code to not use type annotations even for dataclasses   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 906] change HDL code to not use type annotations even for dataclasses   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 228] VP9 optimizations   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 904] Formal proof for pop-count   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 909] New: Formal proof of nmutil/plru.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py   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 909] Formal proof of nmutil/plru.py   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 898] 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 898] 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 898] 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 898] 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 898] 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 898] 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 898] 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 898] 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 898] binutils svp64 objdump support   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 234] Hardware implementation of video 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 137] NLNet 2019 Video Acceleration Proposal 2019-10-031   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 235] Video opcode FPGA tests   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] New: svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 911] svshape2 instruction (with offsets)   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 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 912] New: NGI POINTER Milestone 4   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 912] NGI POINTER Milestone 4   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 860] PowerEL ppc64sffs   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 758] pypowersim and how to run bare metal programs/functions is needed   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 912] NGI POINTER Milestone 4   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 855] add libre-soc to kestrel   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 758] pypowersim and how to run bare metal programs/functions is needed   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 200] IEEE754 FPU Coriolis2 layout   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 507] ls180 asic needs an ioring, pads need defining and connecting   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 200] IEEE754 FPU Coriolis2 layout   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 507] ls180 asic needs an ioring, pads need defining and connecting   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 199] Layout using coriolis2 main core, 180nm   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 521] small example using JTAG for testing coriolis2 new multi clock plugin   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 231] Video Opcodes Standards writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 211] formal proof of PowerDecoder stage2 needed   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 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032   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 196] Formal correctness proof needed for the IEEE754 FPU   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 909] Formal proof of nmutil/plru.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py   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 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032   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 909] Formal proof of nmutil/plru.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 913] New: change PLRU in plru2.py to allow putting state in sram   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 158] NLNet 2019 Formal Correctness Proofs toplevel 2019-10-032   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 898] 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 898] 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 898] 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 898] 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 198] Formal correctness proofs are needed for low-level libraries in LibreSOC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 901] Formal proof for PriorityPicker and MultiPriorityPicker and BetterMultiPriorityPicker   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 901] Formal proof for PriorityPicker and MultiPriorityPicker and BetterMultiPriorityPicker   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 902] Formal proof for nmutil byterev.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 902] Formal proof for nmutil byterev.py   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 903] Formal proof for nmigen.queue.Queue   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 904] Formal proof for pop-count   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py   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 238] POWER Compressed Formal Standard writeup   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 730] adapt ALU test cases to include expected results   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 915] New: add overflow to av maxu and maxs operations   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 915] add overflow to av maxu and maxs operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 915] add overflow to av maxu and maxs operations   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 864] implement parallel prefix reduction in simulator   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 230] Video opcode development and discussion   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 231] Video Opcodes Standards writeup   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 142] Vector Ops needed (DOT, Cross, Dist, normalise, CORDIC, S/LERP etc)   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 898] 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 175] NLNet 2019 Wishbone proposal 2019-10-043   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 442] Convert comp_unit_req_rel diagram to SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 389] Review all diagrams on wiki for translation into SVG   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 549] document the logical partitioned signal operators xor some and all   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 654] dev-env-setup script for symbiflow (arty A7-100T)   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 384] Documentation for the Libre-SOC Power ISA Core and internal architecture   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 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 797] Add 10/100 OpenCores Ethernet MAC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 797] Add 10/100 OpenCores Ethernet MAC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 797] Add 10/100 OpenCores Ethernet MAC   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 909] Formal proof of nmutil/plru.py   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 899] implement additional Transcendentals in simulator   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 249] Additional Wishbone B4 peripherals for Libre-SOC (including conversion from patented AXI4)   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 797] Add 10/100 OpenCores Ethernet MAC   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 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   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 813] FPGA Simulation   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 813] FPGA Simulation   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 818] Simulation of ls2 peripheral fabric with core   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 821] Servers for running coriolis2 VLSI layout   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 778] strategy for connecting eth_mac suitable for ASIC deployment   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 737] in-order single-issue Power ISA 3.0 core   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 262] power virtual memory needed (radix?)   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 604] ISACaller simulator needs RADIX MMU support   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 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 693] talk to Sphinx NGI POINTER team   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 827] 2RW SRAM cell design; 1RW SRAM cell improvement   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 690] NGI POINTER Gigabit Router ASIC, top level milestone   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 829] Post-layout verification of ASIC SRAM blocks   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 830] TSMC 0.18um setup   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 826] Trial run of ethmac (freecores) layout.   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 778] strategy for connecting eth_mac suitable for ASIC deployment   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 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 898] 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 898] 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 898] 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 898] 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 916] New: re-evaluate rewriting pseudo-code parser as part of making it ingest latex and generate c/python   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 916] re-evaluate rewriting pseudo-code parser as part of making it ingest latex and generate c/python   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 916] re-evaluate rewriting pseudo-code parser as part of making it ingest latex and generate c/python   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 916] re-evaluate rewriting pseudo-code parser as part of making it ingest latex and generate c/python   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 916] re-evaluate rewriting pseudo-code parser as part of making it ingest latex and generate c/python   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 916] re-evaluate rewriting pseudo-code parser as part of making it ingest latex and generate c/python   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 898] binutils svp64 objdump support   bugzilla-daemon at libre-soc.org
• [Libre-soc-bugs] [Bug 899] implement additional Transcendentals in simulator   bugzilla-daemon at libre-soc.org

Last message date: Wed Aug 31 16:02:01 BST 2022
Archived on: Wed Aug 31 16:02:02 BST 2022

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