[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / f1 / deb7ace55d10ebde8222b4a9f1decb3472c9d6
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Thu, 26 Mar 2020 20:08:13 +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 1jHYnU-0004Vy-4N; Thu, 26 Mar 2020 20:08:12 +0000
8 Received: from vps2.stafverhaegen.be ([85.10.201.15])
9 by libre-riscv.org with esmtp (Exim 4.89)
10 (envelope-from <staf@fibraservi.eu>) id 1jHYnS-0004Vs-UG
11 for libre-riscv-dev@lists.libre-riscv.org; Thu, 26 Mar 2020 20:08:10 +0000
12 Received: from hpdc7800 (hpdc7800 [10.0.0.1])
13 by vps2.stafverhaegen.be (Postfix) with ESMTP id 392FD11C0287
14 for <libre-riscv-dev@lists.libre-riscv.org>;
15 Thu, 26 Mar 2020 21:08:10 +0100 (CET)
16 Message-ID: <7b5a312befec67dbf14d31f5bb4c418c8784e787.camel@fibraservi.eu>
17 From: Staf Verhaegen <staf@fibraservi.eu>
18 To: libre-riscv-dev@lists.libre-riscv.org
19 Date: Thu, 26 Mar 2020 21:08:04 +0100
20 In-Reply-To: <CAPweEDyM_wqTbum5+=iiLGqq3KY15OOg3aOewpsRWFp9iOvq0w@mail.gmail.com>
21 References: <CAPweEDx5QCCKxSr1gfuyuw_2D68Ld8fK85bEmmMTZi8S3w2E9g@mail.gmail.com>
22 <29b1a9ecedda151dc9c8da6516c3691dfede62ef.camel@fibraservi.eu>
23 <CAPweEDwfqMczPjg=5Fvt1J_S8nx1YK44XhyBY8H1abuTNF6=xg@mail.gmail.com>
24 <6fa40cb78b3f8c013ca4953ccb4daa5c23e3b501.camel@fibraservi.eu>
25 <CAPweEDxiyTEsneXN65Kq0HsEsdL3wdY=NYayq2tz5egXJNCVfg@mail.gmail.com>
26 <db557324bcb76a999d8f66c75b9319974a1a1e08.camel@fibraservi.eu>
27 <CAPweEDyM_wqTbum5+=iiLGqq3KY15OOg3aOewpsRWFp9iOvq0w@mail.gmail.com>
28 Organization: FibraServi bvba
29 X-Mailer: Evolution 3.28.5 (3.28.5-5.el7)
30 Mime-Version: 1.0
31 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
32 Subject: Re: [libre-riscv-dev] cache SRAM organisation
33 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
34 X-Mailman-Version: 2.1.23
35 Precedence: list
36 List-Id: Libre-RISCV General Development
37 <libre-riscv-dev.lists.libre-riscv.org>
38 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
39 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
40 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
41 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
42 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
43 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
44 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
45 Reply-To: Libre-RISCV General Development
46 <libre-riscv-dev@lists.libre-riscv.org>
47 Content-Type: multipart/mixed; boundary="===============4555861804105343232=="
48 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
49 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
50
51
52 --===============4555861804105343232==
53 Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature";
54 boundary="=-nceve67+MkGTTWulbZUI"
55
56
57 --=-nceve67+MkGTTWulbZUI
58 Content-Type: text/plain; charset="UTF-8"
59 Content-Transfer-Encoding: quoted-printable
60
61 Luke Kenneth Casson Leighton schreef op do 26-03-2020 om 15:15 [+0000]:
62 > On Thursday, March 26, 2020, Staf Verhaegen <staf@fibraservi.eu> wrote:
63 > > I can understand you do this to implement functional units withconfigur=
64 able pipeline length but I would strongly discourage to pipelineregister fi=
65 les after each other .
66 >=20
67 >=20
68 > "pipeline register files after each other"? apologies i am not clear what=
69 you mean, here. do you mean "don't do write-thru on the Regfile"?
70
71 No I meant for example connecting the output of one port of an asynchronous=
72 RAM to for example the address input of another port of an asynchronous RA=
73 M.
74
75 greets,
76 Staf.
77
78
79 --=-nceve67+MkGTTWulbZUI--
80
81
82
83 --===============4555861804105343232==
84 Content-Type: text/plain; charset="utf-8"
85 MIME-Version: 1.0
86 Content-Transfer-Encoding: base64
87 Content-Disposition: inline
88
89 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlz
90 Y3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3Jn
91 Cmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNj
92 di1kZXYK
93
94 --===============4555861804105343232==--
95
96
97