From dd5244749b7ab3ea2e98f36c8e7693625f5f52d8 Mon Sep 17 00:00:00 2001 From: bugzilla-daemon Date: Sat, 6 Jun 2020 23:22:21 +0000 Subject: [PATCH] [libre-riscv-dev] [Bug 274] Investigate how BSV performs Formal Verification and what can be Applied to FPUs --- 12/916b0bfd97607ebd1ca49cd31990f335dc213f | 86 +++++++++++++++++++++++ 1 file changed, 86 insertions(+) create mode 100644 12/916b0bfd97607ebd1ca49cd31990f335dc213f diff --git a/12/916b0bfd97607ebd1ca49cd31990f335dc213f b/12/916b0bfd97607ebd1ca49cd31990f335dc213f new file mode 100644 index 0000000..ccf3870 --- /dev/null +++ b/12/916b0bfd97607ebd1ca49cd31990f335dc213f @@ -0,0 +1,86 @@ +Return-path: +Envelope-to: publicinbox@libre-riscv.org +Delivery-date: Sun, 07 Jun 2020 00:22:23 +0100 +Received: from localhost ([::1] helo=libre-riscv.org) + by libre-soc.org with esmtp (Exim 4.89) + (envelope-from ) + id 1jhi8s-0007D4-AG; Sun, 07 Jun 2020 00:22:22 +0100 +Received: from localhost ([127.0.0.1] helo=bugs.libre-soc.org) + by libre-soc.org with esmtp (Exim 4.89) + (envelope-from ) id 1jhi8q-0007Cu-Ny + for libre-riscv-dev@lists.libre-riscv.org; Sun, 07 Jun 2020 00:22:20 +0100 +From: bugzilla-daemon@libre-soc.org +To: libre-riscv-dev@lists.libre-riscv.org +Date: Sat, 06 Jun 2020 23:22:21 +0000 +X-Bugzilla-Reason: CC +X-Bugzilla-Type: changed +X-Bugzilla-Watch-Reason: None +X-Bugzilla-Product: Libre-SOC's first SoC +X-Bugzilla-Component: Formal Verification +X-Bugzilla-Version: unspecified +X-Bugzilla-Keywords: +X-Bugzilla-Severity: minor +X-Bugzilla-Who: lkcl@lkcl.net +X-Bugzilla-Status: CONFIRMED +X-Bugzilla-Resolution: +X-Bugzilla-Priority: Lowest +X-Bugzilla-Assigned-To: yimmanuel3@gatech.edu +X-Bugzilla-Flags: +X-Bugzilla-Changed-Fields: +Message-ID: +In-Reply-To: +References: +X-Bugzilla-URL: https://bugs.libre-soc.org/ +Auto-Submitted: auto-generated +MIME-Version: 1.0 +Subject: [libre-riscv-dev] [Bug 274] Investigate how BSV performs Formal + Verification and what can be Applied to FPUs +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" + +aHR0cHM6Ly9idWdzLmxpYnJlLXNvYy5vcmcvc2hvd19idWcuY2dpP2lkPTI3NAoKLS0tIENvbW1l +bnQgIzMgZnJvbSBMdWtlIEtlbm5ldGggQ2Fzc29uIExlaWdodG9uIDxsa2NsQGxrY2wubmV0PiAt +LS0KKEluIHJlcGx5IHRvIFllaG93c2h1YSBmcm9tIGNvbW1lbnQgIzEpCj4gRnJvbSB3aGF0IEkg +Y2FuIHRlbGwsIGZvcm1hbCBpcyBtb3N0bHkgYXBwbGllZCBpbiBCU1YgdG8gbWFrZSBzdXJlIHRo +YXQKPiBydWxlcyBhcmUgYWN0aXZhdGVkIG9uY2UgdGhlaXIgY29uZGl0aW9ucyBhcmUgbWV0LgoK +aXQncy4uLiBjb21wbGljYXRlZC4gIHRoZSAicnVsZXMiIGFyZSBhIGJpdCBsaWtlIHByZS1jb25k +aXRpb25zIGZyb20KYWR2YW5jZWQgKHZlcnkgb2JzY3VyZSkgc29mdHdhcmUgZW5naW5lZXJpbmcg +bGFuZ3VhZ2VzLgoKaW4gY29tYmluYXRpb24gd2l0aCBleHRyZW1lbHkgc3RyaWN0IChzdHJvbmcp +IHR5cGluZyAod2hpY2ggaSBjYW4gdGVsbAp5b3UgZnJvbSBleHBlcmllbmNlIE1BU1NJVkVMWSBp +bnRlcmZlcmVzIHdpdGggYW5kIGltcGVkZXMgZGV2ZWxvcG1lbnQKcHJvZ3Jlc3MpLCB0aGUgZW5k +IHJlc3VsdCBpcyBjb2RlIHRoYXQgaXMgYWJzb2x1dGVseSAxMDAlIGd1YXJhbnRlZWQKdG8gYmUg +c3ludGhlc2lzZWFibGUuCgppdCdzIGFjdHVhbGx5IHN0cm9uZ2VyIHRoYW4gdGhhdDogYmVjYXVz +ZSB0aGV5IGFyZSB1c2luZyBIYXNrZWxsLCB0aGV5CmhhdmUgYW4gaW50ZXJuYWwgRm9ybWFsIENv +cnJlY3RuZXNzIFByb29mIHRoYXQgYSBwcm9ncmFtIHRoYXQgY29tcGlsZXMKaXMgMTAwJSAqbWF0 +aGVtYXRpY2FsbHkqIGd1YXJhbnRlZWQgdG8gYmUgZ2F0ZS1sZXZlbCBzeW50aGVzaXNlYWJsZS4K +CnZlcmlsb2cgYXMgeW91IGtub3cgaXMgY29tcGxldGVseSBpbmNhcGFibGUgb2YgbWFraW5nIHN1 +Y2ggZ3VhcmFudGVlcy4KCnRoaXMgdGVuZHMgdG8gZml0IHdpdGggd2hhdCB5b3UndmUgaGVhcmQg +YWJvdXQgaXQgYmVpbmcgImFibGUgdG8KZ2VuZXJhdGUgZm9ybWFsbHkgdmVyaWZpZWQgYWRkZXJz +Ii4KCiphY3R1YWwqIGZvcm1hbCB2ZXJpZmljYXRpb24gaG93ZXZlciBpIGJlbGlldmUgaXMgZG9u +ZSBzbGlnaHRseSBkaWZmZXJlbnRseSwKYW5kIGkndmUgbm90IGludmVzdGlnYXRlZCBpdCwgb3Ro +ZXIgdGhhbiBpIHNhdyBhIHRhbGsgYnkgTmloaWwgZm9yIGEKUlZGIHByZXNlbnRhdGlvbiwgYW5k +IHRoZSBjb2RlIHRoYXQgaGUgd3JvdGUgbG9va2VkIGV4dHJlbWVseSBvYnZpb3VzIGFuZAplYXN5 +IHRvIHVuZGVyc3RhbmQgYW5kIHJlYWQuICB0aGUgIm1hZ2ljIiBpIGV4cGVjdCB3YXMgaGFwcGVu +aW5nIHNvbWV3aGVyZQpiZWhpbmQgdGhlIHNjZW5lcy4KCi0tIApZb3UgYXJlIHJlY2VpdmluZyB0 +aGlzIG1haWwgYmVjYXVzZToKWW91IGFyZSBvbiB0aGUgQ0MgbGlzdCBmb3IgdGhlIGJ1Zy4KX19f +X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3Yt +ZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0 +dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1k +ZXYK + -- 2.30.2