From: bugzilla-daemon Date: Fri, 13 Mar 2020 15:20:36 +0000 (+0000) Subject: [libre-riscv-dev] [Bug 250] New: Wishbone B4 Streaming Formal correctness proof needed X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=02b9c3b6bf761e373573657ec7034597e6a66a09;p=libre-riscv-dev.git [libre-riscv-dev] [Bug 250] New: Wishbone B4 Streaming Formal correctness proof needed --- diff --git a/4c/79b0bf979159a556402fbee1c9b60464f35bd7 b/4c/79b0bf979159a556402fbee1c9b60464f35bd7 new file mode 100644 index 0000000..a7afe52 --- /dev/null +++ b/4c/79b0bf979159a556402fbee1c9b60464f35bd7 @@ -0,0 +1,74 @@ +Return-path: +Envelope-to: publicinbox@libre-riscv.org +Delivery-date: Fri, 13 Mar 2020 15:20:39 +0000 +Received: from localhost ([::1] helo=libre-riscv.org) + by libre-riscv.org with esmtp (Exim 4.89) + (envelope-from ) + id 1jCm75-0004DE-0j; Fri, 13 Mar 2020 15:20:39 +0000 +Received: from localhost ([127.0.0.1] helo=bugs.libre-riscv.org) + by libre-riscv.org with esmtp (Exim 4.89) + (envelope-from ) id 1jCm72-0004D8-Kx + for libre-riscv-dev@lists.libre-riscv.org; Fri, 13 Mar 2020 15:20:36 +0000 +From: bugzilla-daemon@libre-riscv.org +To: libre-riscv-dev@lists.libre-riscv.org +Date: Fri, 13 Mar 2020 15:20:36 +0000 +X-Bugzilla-Reason: CC +X-Bugzilla-Type: new +X-Bugzilla-Watch-Reason: None +X-Bugzilla-Product: Libre Shakti M-Class +X-Bugzilla-Component: Formal Verification +X-Bugzilla-Version: unspecified +X-Bugzilla-Keywords: +X-Bugzilla-Severity: enhancement +X-Bugzilla-Who: lkcl@lkcl.net +X-Bugzilla-Status: CONFIRMED +X-Bugzilla-Resolution: +X-Bugzilla-Priority: --- +X-Bugzilla-Assigned-To: lkcl@lkcl.net +X-Bugzilla-Flags: +X-Bugzilla-Changed-Fields: bug_id short_desc product version rep_platform + op_sys bug_status bug_severity priority component assigned_to reporter cc + cf_nlnet_milestone +Message-ID: +X-Bugzilla-URL: http://bugs.libre-riscv.org/ +Auto-Submitted: auto-generated +MIME-Version: 1.0 +Subject: [libre-riscv-dev] [Bug 250] New: Wishbone B4 Streaming Formal + correctness proof needed +X-BeenThere: libre-riscv-dev@lists.libre-riscv.org +X-Mailman-Version: 2.1.23 +Precedence: list +List-Id: Libre-RISCV General Development + +List-Unsubscribe: , + +List-Archive: +List-Post: +List-Help: +List-Subscribe: , + +Reply-To: Libre-RISCV General Development + +Content-Type: text/plain; charset="utf-8" +Content-Transfer-Encoding: base64 +Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org +Sender: "libre-riscv-dev" + +aHR0cDovL2J1Z3MubGlicmUtcmlzY3Yub3JnL3Nob3dfYnVnLmNnaT9pZD0yNTAKCiAgICAgICAg +ICAgIEJ1ZyBJRDogMjUwCiAgICAgICAgICAgU3VtbWFyeTogV2lzaGJvbmUgQjQgU3RyZWFtaW5n +IEZvcm1hbCBjb3JyZWN0bmVzcyBwcm9vZiBuZWVkZWQKICAgICAgICAgICBQcm9kdWN0OiBMaWJy +ZSBTaGFrdGkgTS1DbGFzcwogICAgICAgICAgIFZlcnNpb246IHVuc3BlY2lmaWVkCiAgICAgICAg +ICBIYXJkd2FyZTogUEMKICAgICAgICAgICAgICAgIE9TOiBMaW51eAogICAgICAgICAgICBTdGF0 +dXM6IENPTkZJUk1FRAogICAgICAgICAgU2V2ZXJpdHk6IGVuaGFuY2VtZW50CiAgICAgICAgICBQ +cmlvcml0eTogLS0tCiAgICAgICAgIENvbXBvbmVudDogRm9ybWFsIFZlcmlmaWNhdGlvbgogICAg +ICAgICAgQXNzaWduZWU6IGxrY2xAbGtjbC5uZXQKICAgICAgICAgIFJlcG9ydGVyOiBsa2NsQGxr +Y2wubmV0CiAgICAgICAgICAgICAgICBDQzogbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJp +c2N2Lm9yZwogICBOTG5ldCBtaWxlc3RvbmU6IC0tLQoKRGVzaWduIHVuaXQgdGVzdHMgYXMgZm9y +bWFsIHByb29mcyBpbiBubWlnZW4gd2hpY2ggY2FuIHRlc3QgYm90aCBubWlnZW4gYW5kCihTeXN0 +ZW0tKVZlcmlsb2cgV2lzaGJvbmUgQjQgU3RyZWFtaW5nIEJ1cyBGdW5jdGlvbiBNb2RlbHMuICBF +eGFtcGxlIHBlcmlwaGVyYWwKKEkyUyBBdWRpbyBTdHJlYW1pbmcpIHRvIGFsc28gYmUgdGVzdGVk +LgoKLS0gCllvdSBhcmUgcmVjZWl2aW5nIHRoaXMgbWFpbCBiZWNhdXNlOgpZb3UgYXJlIG9uIHRo +ZSBDQyBsaXN0IGZvciB0aGUgYnVnLgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f +X19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRl +dkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWls +bWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=