[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 47 / fc480bab59634d9d946806c35b0ce659729a69
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Tue, 17 Mar 2020 14:19:56 +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 1jED4V-0000C4-MF; Tue, 17 Mar 2020 14:19:55 +0000
8 Received: from localhost ([127.0.0.1] helo=bugs.libre-riscv.org)
9 by libre-riscv.org with esmtp (Exim 4.89)
10 (envelope-from <bugzilla-daemon@libre-riscv.org>) id 1jED4T-0000Bu-QM
11 for libre-riscv-dev@lists.libre-riscv.org; Tue, 17 Mar 2020 14:19:53 +0000
12 From: bugzilla-daemon@libre-riscv.org
13 To: libre-riscv-dev@lists.libre-riscv.org
14 Date: Tue, 17 Mar 2020 14:19:54 +0000
15 X-Bugzilla-Reason: CC
16 X-Bugzilla-Type: changed
17 X-Bugzilla-Watch-Reason: None
18 X-Bugzilla-Product: Libre-SOC's first SoC
19 X-Bugzilla-Component: Hardware Layout
20 X-Bugzilla-Version: unspecified
21 X-Bugzilla-Keywords:
22 X-Bugzilla-Severity: enhancement
23 X-Bugzilla-Who: tanner.of.kha@gmail.com
24 X-Bugzilla-Status: CONFIRMED
25 X-Bugzilla-Resolution:
26 X-Bugzilla-Priority: ---
27 X-Bugzilla-Assigned-To: tanner.of.kha@gmail.com
28 X-Bugzilla-Flags:
29 X-Bugzilla-Changed-Fields:
30 Message-ID: <bug-217-13-DRBzquBk5o@http.bugs.libre-riscv.org/>
31 In-Reply-To: <bug-217-13@http.bugs.libre-riscv.org/>
32 References: <bug-217-13@http.bugs.libre-riscv.org/>
33 X-Bugzilla-URL: http://bugs.libre-riscv.org/
34 Auto-Submitted: auto-generated
35 MIME-Version: 1.0
36 Subject: [libre-riscv-dev] [Bug 217] create a "ring" system which allows pad
37 locations to be specified conveniently
38 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
39 X-Mailman-Version: 2.1.23
40 Precedence: list
41 List-Id: Libre-RISCV General Development
42 <libre-riscv-dev.lists.libre-riscv.org>
43 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
44 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
45 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
46 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
47 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
48 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
49 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
50 Reply-To: Libre-RISCV General Development
51 <libre-riscv-dev@lists.libre-riscv.org>
52 Content-Type: text/plain; charset="utf-8"
53 Content-Transfer-Encoding: base64
54 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
55 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
56
57 aHR0cDovL2J1Z3MubGlicmUtcmlzY3Yub3JnL3Nob3dfYnVnLmNnaT9pZD0yMTcKCi0tLSBDb21t
58 ZW50ICMyMyBmcm9tIEpvY2sgVGFubmVyIDx0YW5uZXIub2Yua2hhQGdtYWlsLmNvbT4gLS0tCihJ
59 biByZXBseSB0byBMdWtlIEtlbm5ldGggQ2Fzc29uIExlaWdodG9uIGZyb20gY29tbWVudCAjMjIp
60 Cj4gYXJzZS4gIG9oIHdhaXQgLSBkb24ndCBydW4gIm1ha2UgbHZ4Ii4gIGkganVzdCB0cmllZCB0
61 aGF0LCBhbmQgeWVzIGkgZ290Cj4gYW4gZXJyb3IuCj4gCj4gCj4gZG8gdGhpczoKPiAKPiBtYWtl
62 IGNsZWFuCj4gbWFrZSB2c3QgICAgICAgICAgICAgICA8LS0tLSBtYWtlcyB0aGUgVkhETAo+IGNn
63 dCAtLXNjcmlwdD1kb0FsdTE2CgpUaGlzIHdheSBJIGdldCBhbm90aGVyIGVycm9yOgoKPiBbRVJS
64 T1JdIEFuIGV4Y2VwdGlvbiBvY2N1cmVkIHdoaWxlIGxvYWRpbmcgdGhlIFB5dGhvbiBzY3JpcHQg
65 bW9kdWxlOgo+ICAgICAgICAgImRvQWx1MTYiCj4gICAgICAgICBZb3Ugc2hvdWxkIGNoZWNrIGZv
66 ciBzaW1wbGUgcHl0aG9uIGVycm9ycyBpbiB0aGlzIG1vZHVsZS4KPiAgICAgICAgIFB5dGhvbiBz
67 dGFjayB0cmFjZToKPiAgICAgICAgICMwIGluICAgICAgICAgICAgIHBsYWNlQW5kUm91dGUoKSBh
68 dCBkb0FsdTE2LnB5OjQ2Cj4gICAgICAgICAjMSBpbiAgICAgICAgICAgICAgICAgICAgICAgYWRk
69 KCkgYXQgZG9BbHUxNi5weToxOTMKPiAgICAgICAgICMyIGluICAgICAgICAgICAgICAgIFNjcmlw
70 dE1haW4oKSBhdCBkb0FsdTE2LnB5OjQzNwo+ICAgICAgICAgIzMgaW4gICAgICAgICAgICAgICAg
71 IHJ1blNjcmlwdCgpIGF0IC4uLi9jb3Jpb2xpcy0yLngvTGludXgueDg2XzY0L1JlbGVhc2UuU2hh
72 cmVkL2luc3RhbGwvYmluL2NndDo4Mwo+ICAgICAgICAgRXJyb3Igd2FzOgo+ICAgICAgICAgICBb
73 QlVHXSBVbm1hbmFnZWQgQ29uZmlndXJhdGlvbiBbMTY4NDMwMDldID0gWzErMSswKzEsMSswXSA8
74 aWQ6MTQ5MyBOZXQgImEoMTIpIiBlLS0gTE9HSUNBTCBpLS0tIChJTik+IGluIDxpZDoyOTIxIEFu
75 YWJhdGljOjpHQ2VsbCA8Qm94IDI1MGwgMzUwbCAzMDBsIDQwMGw+IC0tLS0tLS0tLS1NLS0tLC0t
76 QS0gOT4KPiAgICAgICBUaGUgZ2xvYmFsIHJvdXRpbmcgc2VlbXMgdG8gYmUgZGVmZWN0aXZlLgo+
77 ICAgICAgICAgVHJ5aW5nIHRvIGNvbnRpbnVlIGFueXdheS4uLgoKQW5kIHRoZSBwaWN0dXJlIGlu
78 IGNndCBsb29rcyByZWFsbHkgZnVubnksIG1vcmUgbGlrZSBjaGlsZCdzIGRyYXdpbmcuIEFuZCBp
79 dCdzCmNhbGxlZCAnYWRkJywgbm90ICdhbHUxNi4KCk1heWJlIHRoYXQncyBhbGwgYmVjYXVzZSBv
80 dXIgdG9vbGNoYWluJ3MgdmVyc2lvbnMgYXJlIG91dCBvZiBzeW5jPwoKLS0gCllvdSBhcmUgcmVj
81 ZWl2aW5nIHRoaXMgbWFpbCBiZWNhdXNlOgpZb3UgYXJlIG9uIHRoZSBDQyBsaXN0IGZvciB0aGUg
82 YnVnLgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJy
83 ZS1yaXNjdi1kZXYgbWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNj
84 di5vcmcKaHR0cDovL2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJl
85 LXJpc2N2LWRldgo=
86