[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 84 / 2d41dc696fbe5cf284303411087c1f09d2e705
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Fri, 27 Mar 2020 10:02:46 +0000
4 Received: from localhost ([::1] helo=libre-riscv.org)
5 by libre-riscv.org with esmtp (Exim 4.89)
6 (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
7 id 1jHlp7-0003QI-N4; Fri, 27 Mar 2020 10:02:45 +0000
8 Received: from mout.gmx.net ([212.227.15.18])
9 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <cand@gmx.com>) id 1jHlp6-0003QC-3c
11 for libre-riscv-dev@lists.libre-riscv.org; Fri, 27 Mar 2020 10:02:44 +0000
12 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=gmx.net;
13 s=badeba3b8450; t=1585303363;
14 bh=2UhZ3uDhkRWMkwbtIccycItx6tUUaGrDonfPPRaET8Y=;
15 h=X-UI-Sender-Class:Date:From:To:Subject:In-Reply-To:References;
16 b=CnfBGat6wlabtzKQendKRovFQwYC6PAkYQRWS153XcN5+Z1ja4hAJ29ZpvPyQtj4H
17 QgEYgfczI9oWqpvYSM2r4EVuGWkWhUhO+ScELxx7RBY46XohBcsHCObZK9W3pyZHi0
18 /YbKJxK0ZJ+vz956qtHQQOIdtHSVOKJMdzo40D+c=
19 X-UI-Sender-Class: 01bb95c1-4bf8-414a-932a-4f6e2808ef9c
20 Received: from Valinor ([62.183.148.17]) by mail.gmx.com (mrgmx004
21 [212.227.17.184]) with ESMTPSA (Nemesis) id 1M26vL-1jFHmk1WIr-002XbH for
22 <libre-riscv-dev@lists.libre-riscv.org>; Fri, 27 Mar 2020 11:02:43 +0100
23 Date: Fri, 27 Mar 2020 12:03:26 +0200
24 From: Lauri Kasanen <cand@gmx.com>
25 To: libre-riscv-dev@lists.libre-riscv.org
26 Message-Id: <20200327120326.785de798331c48bb88b79ade@gmx.com>
27 In-Reply-To: <CAPweEDwf7s=r6bhq6N=VG7QQ1iD4jHYEG6mGvtxL32Uxnhzqwg@mail.gmail.com>
28 References: <CAPweEDx5QCCKxSr1gfuyuw_2D68Ld8fK85bEmmMTZi8S3w2E9g@mail.gmail.com>
29 <29b1a9ecedda151dc9c8da6516c3691dfede62ef.camel@fibraservi.eu>
30 <CAPweEDwfqMczPjg=5Fvt1J_S8nx1YK44XhyBY8H1abuTNF6=xg@mail.gmail.com>
31 <6fa40cb78b3f8c013ca4953ccb4daa5c23e3b501.camel@fibraservi.eu>
32 <CAPweEDxiyTEsneXN65Kq0HsEsdL3wdY=NYayq2tz5egXJNCVfg@mail.gmail.com>
33 <e430ea6587d292166fd58460adf4dfebfad20c6d.camel@fibraservi.eu>
34 <CAPweEDzEvtPYGKvGMvebmQzhJDhSgfvUOVZvB2WXxSbv_ebE8A@mail.gmail.com>
35 <b18283c7e7a93fa8afdef2f0a8679b26e4569528.camel@fibraservi.eu>
36 <CAPweEDwznLD5o6rHfWsSXR-8e1hbAfAB04f5O+YkL6pCwGsNfQ@mail.gmail.com>
37 <6fbfb2a3258be77f4fce69661b283dc31a683f7b.camel@fibraservi.eu>
38 <CAPweEDwf7s=r6bhq6N=VG7QQ1iD4jHYEG6mGvtxL32Uxnhzqwg@mail.gmail.com>
39 X-Mailer: Sylpheed 3.5.0 (GTK+ 2.18.6; x86_64-unknown-linux-gnu)
40 Mime-Version: 1.0
41 X-Provags-ID: V03:K1:jbjWlmwnBATu83jiVoNq7JYy3LY3u1iKjJoN+nZx3n2ASDGSn2m
42 I2Po/TK14RTeN3YaqopkcTsz0B/0vQOpVvAxenTUfWi0MhrN1PudqqkdvAZ5tl/cHyOT6VI
43 Vo0ZGllhdhvLSzTijhrhRMOJEql/H8zryA8EI193AESNgU6De56Tt4jfzF52I6y96VZhdhg
44 DNekeiTdlKwSxDjFZxqkw==
45 X-Spam-Flag: NO
46 X-UI-Out-Filterresults: notjunk:1;V03:K0:qbhAZUwcAEI=:vkRYCOvYwMFvIFSqHGzsGk
47 9Sd7cx33ZHS/G2XlF5uzfewPc/sVQ4+xa3RM+E/Hgej6WibGpnB9LMQV9r1nlPUnNQLfm1AIr
48 ZYHXPa0pnsJbWFM1jfO1OUTOSI2oKKlgsJ83EmDToXsiN9aoMZGuq5ubDX9yE4iW5mZQ3nZ5S
49 +A5ZcQKN51M1Dr/nN8RoHy+myN6FYvrc0QtphLeSpjRc8Gm44/ql2xxSDmzU4lXZh9yain515
50 W+zFmlpxvsnVlZ7tzX2+SaDgV3o3SfslqJW+m/b7po0rMAPrsFupocvSV0aQBk3GnTjy1HW5K
51 N1E6dA2V2SH8xB+Kpiq4NK9Gxr7HtTcoyV20bOWaBbVZO+8ZFOlQJPPkw/RmnGFADeYQX5+B3
52 5sjWKBl64Zfs+7TPzNwz7Rh9rssT6zwhY81KcIdxFv3I3fHNRYfDssvd6ayM9Gmf4crq5CcGM
53 X/sX990EfHZ2+3hePjRdDn/v6LYG9l4UtCdm8TavHI9XFxUG/Kg4BQ+Jhp11NTySaLhJn47TF
54 9GrpixIufHgpmkEaFH6I0EPKjsMfLB4wYokbD4JnezVqmH58WLJWYkpQ0BanhjcTaQbC6KfrF
55 /ENqDq+8+Il7jY5dJTHig2gyCC4jPBhsqWbcv5b5TIs3jw3bu23YMWuKzxM6bGcu1O7EbURi6
56 jJWI6hVjZT4HAmzDLQoDKA6gsL3THQrwHEJYy2VC3oX9QVj7kx0jm8aHN5qKWEQVcP94UOFwR
57 ISdsdpvjfs7zQ643WLctgJ1V4Ht6llcYouMkSXaB3GrqAZznELhxImuEzYx/Tj2OVTsN+3RTe
58 kCrR0x+QQT7/FLLlXuBYnKcvNCBmWdDoqMQR00V4J3eejI1rHP2I6Uhm1SQhd4welJv3IlbxE
59 X4aNEq+vn4oFdpGrue1kYVdFqYYSluHiNT2/yC9nBw9FGC6Ct2DmoXGItCpMg77HKj5duuy2b
60 RJ1OT7fXWQM0oJ7FUQHkjERHF4/AApb1YZpzIkFUwRD/90rDznPcWXxfTmCAFAe/Bfaev4Qyn
61 v8OTKdtoPREaFekZxbhCdf0Ms2b7jtvWQx8BGy46aE0djPKtCW+pu0VcW/D5OIyoC61Xa8L7s
62 gVYm1kCHMgoO9QwhlDtpjAvP0bIn9UDgfJ3+KyMoDAzNJQ1++MtI7/cuExT/A7+Kc1lY3294g
63 LwnP3L246LdP+5/cynHX0WylMjGVnT+7hftHxi/21sJlh7HtjddAa7ZYWgRgTO83fwZsw=
64 Subject: Re: [libre-riscv-dev] cache SRAM organisation
65 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
66 X-Mailman-Version: 2.1.23
67 Precedence: list
68 List-Id: Libre-RISCV General Development
69 <libre-riscv-dev.lists.libre-riscv.org>
70 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
71 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
72 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
73 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
74 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
75 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
76 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
77 Reply-To: Libre-RISCV General Development
78 <libre-riscv-dev@lists.libre-riscv.org>
79 Content-Type: text/plain; charset="utf-8"
80 Content-Transfer-Encoding: base64
81 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
82 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
83
84 T24gRnJpLCAyNyBNYXIgMjAyMCAwOTo0NDozMCArMDAwMApMdWtlIEtlbm5ldGggQ2Fzc29uIExl
85 aWdodG9uIDxsa2NsQGxrY2wubmV0PiB3cm90ZToKCj4gd2hlbiBieXBhc3MgbGF0Y2hlcyBhcmUg
86 b3BlbiBhbmQgd2UgcnVuIGF0IDgwMG1oejoKPgo+ICogYWN0dWFsIHNwZWVkOiA4MDAgbWh6Cj4g
87 KiBzdGFnZXM6IDEwIChkb3VibGUpCj4gKiBsYXRlbmN5IChjb21wbGV0aW9uIHRpbWUpOiAxLjI1
88 ZS05IHRpbWVzICoxMCogPSAxLjI1ZS04ICpIQUxGIFRIRSBMQVRFTkNZKgoKU29ycnksIGJ1dCBp
89 c24ndCB0aGF0IGRvdWJsZSB0aGUgbGF0ZW5jeT8KCi0gTGF1cmkKCl9fX19fX19fX19fX19fX19f
90 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxp
91 c3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGli
92 cmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
93