[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 99 / 8f57fe6b565abc1def58fa0003430711f9efe8
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Thu, 23 Apr 2020 07:49:40 +0100
4 Received: from localhost ([::1] helo=libre-riscv.org)
5 by libre-soc.org with esmtp (Exim 4.89)
6 (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
7 id 1jRVg3-0002GQ-Hu; Thu, 23 Apr 2020 07:49:39 +0100
8 Received: from mail-wr1-f44.google.com ([209.85.221.44])
9 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
10 (Exim 4.89) (envelope-from <programmerjake@gmail.com>)
11 id 1jRVg0-0002GJ-Rw
12 for libre-riscv-dev@lists.libre-riscv.org; Thu, 23 Apr 2020 07:49:36 +0100
13 Received: by mail-wr1-f44.google.com with SMTP id f13so5401169wrm.13
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Wed, 22 Apr 2020 23:49:36 -0700 (PDT)
16 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025;
17 h=mime-version:from:date:message-id:subject:to;
18 bh=gox/6G6iCbjj5MWC08jTM2kF0K9hN0kaoFR2xoehLV0=;
19 b=pkScnyOxWW8gc667P4ZvYvpM3TUTXRkuV2se6alvtXxptrNFDteo2IrA3scVcQxCSi
20 859YlRAiuBk8DDynXCvC4xdLsuHvI4L5R2twrPDyopYV4qD/heudJ2ps9f0xU9bvV19F
21 uKjbp+savFn6yL/yGqhoJ2gXkSoR5AGJHmqQt9ZVHhKq4i5xjl8iGqETXJ7onDWzJire
22 fkx6/usIz7bqi+iF4Clhfb0IUKQI7Q9zvecluF2x7LXc4ujWYTwRgLWZz57lmFrmi+cs
23 /aGJrch2toywQ7YV6aVmflYPXMclgBYDZYBIWW79j9mldKklLy5SrHAD0+mSHRBwJjVl
24 UoSQ==
25 X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
26 d=1e100.net; s=20161025;
27 h=x-gm-message-state:mime-version:from:date:message-id:subject:to;
28 bh=gox/6G6iCbjj5MWC08jTM2kF0K9hN0kaoFR2xoehLV0=;
29 b=DfqI1diH4Igw8jmw1C4FR5XPUNHOAlS8pMgc6H8a73Rpwj+vAvvjmBsRXzeLmppJp/
30 ytBBM7VGQEkPHJ+NV0FQlgigyUBC6kZmwLC41ahdzUj6xwPHxmnxmb8n90BqU9kp7YQ4
31 iCW0QLr2SXPusiSEEvnAVEUNHm8vNBxVh2gNcFody/YkyzZReSqksUzpuTwKh/utxVLq
32 JpqYQ6tPqzMVl3bHKkpkRo9iPcxu8z8ZoMllL5eBKn1YQIlBnpa6hox6BFCYLpH2BLgr
33 mDnWmjynoC3TvC7KwAgxsNwcaaTncyR4uLhxAXc+Jm/H3SoSfU6L8kFsOUu3Tm6r1i6b
34 vSug==
35 X-Gm-Message-State: AGi0PuYd+XIHNLdliEvtysvzGIzuXTWKVkUh/zu6d1bGwnLMRBCA6hug
36 YW0FYXsqwnyUfSIg34hLKvC8gqQ9G5uMDUiEl9CqtUzg
37 X-Google-Smtp-Source: APiQypI02IqWdxGlS1kweWgbaeWoWY2bU7XCqB4iNyg6P+lrQGmtkSkcHZmP2l6vvcgGewf9OImVm0b/GXHi1+uHmic=
38 X-Received: by 2002:a5d:4404:: with SMTP id z4mr3069917wrq.316.1587624576177;
39 Wed, 22 Apr 2020 23:49:36 -0700 (PDT)
40 MIME-Version: 1.0
41 From: Jacob Lifshay <programmerjake@gmail.com>
42 Date: Wed, 22 Apr 2020 23:49:25 -0700
43 Message-ID: <CAC2bXD4xkEJFTaPo7gKG9ejMvJyNtoA2zbDEKVqHk8abFv-jVg@mail.gmail.com>
44 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
45 Subject: [libre-riscv-dev] memory interface diagram woes
46 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
47 X-Mailman-Version: 2.1.23
48 Precedence: list
49 List-Id: Libre-RISCV General Development
50 <libre-riscv-dev.lists.libre-riscv.org>
51 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
52 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
53 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
54 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
55 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
56 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
57 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
58 Reply-To: Libre-RISCV General Development
59 <libre-riscv-dev@lists.libre-riscv.org>
60 Content-Type: text/plain; charset="utf-8"
61 Content-Transfer-Encoding: base64
62 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
63 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
64
65 SSBoYWQgYW4gaWRlYSBmb3IgYSBtZW1vcnkgaW50ZXJmYWNlIGRlc2lnbiB0aGF0IEkndmUgYmVl
66 biBzbG93bHkKd29ya2luZyBvbiBmb3IgbW9yZSB0aGFuIGEgd2VlaywgdGhvdWdoIGhhdmUgbm90
67 IGJlZW4gYWJsZSB0byBkcmF3IGl0Cm91dCBhZGVxdWF0ZWx5IGJlY2F1c2UgSSBrZWVwIGdldHRp
68 bmcgZnJ1c3RyYXRlZCBieSB0aGUgbGFjayBvZiBuaWNlLApwb3dlci1vZi0yIGFsaWdubWVudCBm
69 ZWF0dXJlcyBhbmQgc3VwcG9ydCBmb3Igc3RydWN0dXJhbGx5IHJlY3Vyc2l2ZQpkaWFncmFtcyBp
70 biBEaWEgYW5kIHRoZSBsYWNrIG9mIGNvcHktcGFzdGUgd2hlbiB1c2luZyBwaHlzaWNhbCBwYXBl
71 ci4KSSdsbCB0cnkgdG8gd3JpdGUgaXQgb3V0IGFzIHRleHQgb24gdGhlIHdpa2kgdG9tb3Jyb3cu
72 CgpJdCBpcyBhIGJpdCBkaWZmZXJlbnQgdGhhbiB0aGUgZGVzaWduIEx1a2UgY2FtZSB1cCB3aXRo
73 IGFuZCBJIHRoaW5rIGl0CmFkZHJlc3NlcyBzZXZlcmFsIG9mIHRoYXQgZGVzaWduJ3Mgc2hvcnRj
74 b21pbmdzLgoKSmFjb2IKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
75 X19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3Rz
76 LmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlz
77 dGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
78