* [libre-riscv-dev] [Bug 250] New: Wishbone B4 Streaming Formal correctness proof needed
@ 2020-03-13 15:20 bugzilla-daemon
0 siblings, 0 replies; only message in thread
From: bugzilla-daemon @ 2020-03-13 15:20 UTC (permalink / raw)
To: libre-riscv-dev
http://bugs.libre-riscv.org/show_bug.cgi?id=250
Bug ID: 250
Summary: Wishbone B4 Streaming Formal correctness proof needed
Product: Libre Shakti M-Class
Version: unspecified
Hardware: PC
OS: Linux
Status: CONFIRMED
Severity: enhancement
Priority: ---
Component: Formal Verification
Assignee: lkcl@lkcl.net
Reporter: lkcl@lkcl.net
CC: libre-riscv-dev@lists.libre-riscv.org
NLnet milestone: ---
Design unit tests as formal proofs in nmigen which can test both nmigen and
(System-)Verilog Wishbone B4 Streaming Bus Function Models. Example peripheral
(I2S Audio Streaming) to also be tested.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
libre-riscv-dev mailing list
libre-riscv-dev@lists.libre-riscv.org
http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
^ permalink raw reply [flat|nested] only message in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-13 15:20 [libre-riscv-dev] [Bug 250] New: Wishbone B4 Streaming Formal correctness proof needed bugzilla-daemon
Libre RISC-V Mailing list Archives (accessible via public-inbox)
Archives are clonable: git clone --mirror https://inbox.libre-soc.org/libre-riscv-dev
Example config snippet for mirrors
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git