[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / 93 / 800a5b123b119ec0c970219dadf13db09f4fea
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Sat, 16 May 2020 16:59:57 +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 1jZzEC-0002Xp-Qc; Sat, 16 May 2020 16:59:56 +0100
8 Received: from mail-bn8nam11on2100.outbound.protection.outlook.com
9 ([40.107.236.100] helo=NAM11-BN8-obe.outbound.protection.outlook.com)
10 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
11 (Exim 4.89) (envelope-from <yimmanuel3@gatech.edu>)
12 id 1jZzEB-0002Xj-OG
13 for libre-riscv-dev@lists.libre-riscv.org; Sat, 16 May 2020 16:59:55 +0100
14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
15 b=a7WSvk4VdXhk86UkPz/ZMb+n//LESAs3Y2Dg9MaT7+MINGxvCcl1syBqlk3JkA2yKOYG35ErDWMXNqMD64FUgKSMGBvVBb05YWVXlb7/oK+O5lGKX8ihPoLA3JMfBzj2uoPDURez6urfF9SqBhRPhPtS6zo2aY/b5eUlxFSiGUhKFrYinxV6k93vFLbTFPwyMr/ecUlLtalW0L9HFclILStYioka/U//No6xNkgj4ZhAC/Vrqafai0SwvRM6wvgD7/q96ugEYuDncUst/e6sHx+ITSRb553nNml3W0d8eJlMhyXBalSEjaFzWPvYRAloioazwIAT2mRpekhB+VEw6Q==
16 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com;
17 s=arcselector9901;
18 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
19 bh=8k6Q+f6wrxaVWzu8TlRxWrjBY8BLiG4BBwwNaTLOWG4=;
20 b=nwCEjrrgRRO4/0leZW+0zeEAZ9ukJJY3AfReSOxc5IcLp05Mqki419BK3kyrBFkoK33Gh/i5UJpBk6BQeljbReH2TIgFSmDVoFavX3iOBaiPb/TMCAOKhte1V9yb777nb92+RPMG0x4A1MXVq/OMSRzmfo0e5aTIQCCrKAGbD4uP6zBS+ILNqvI9tQl/piMBqs1Uk7rpupjwiaMSi1shyklegbC+EhTHNM9+3kIeJXXF0Wx4PMZ86zgw7oQUYmDyDl4rqISuMCfWvNBkNcrwP3+pAolS+vOBbTE5x0k0+dLUNErzpGQeu7iWX2PWIOa10i7sYn07WXpQHN7hnJ2Nzw==
21 ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass
22 smtp.mailfrom=gatech.edu; dmarc=pass action=none header.from=gatech.edu;
23 dkim=pass header.d=gatech.edu; arc=none
24 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gatech.edu;
25 s=selector1;
26 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
27 bh=8k6Q+f6wrxaVWzu8TlRxWrjBY8BLiG4BBwwNaTLOWG4=;
28 b=tY8z5h5rucrVg7dTfXHztE+7OzE1Z2QgE6wtlQEwH5r0oqArmXhXm98NFOElFucbNm9OKWGWm8Xq5psSZhm9ajK57YBD9wjjHvbF7lqMPdkPbrjVsfLM7UQ33j0tH8zqcj8SYQ5E2ixAKkx0YcsaeBLo8dewMUtrpPkBxH9aTGA=
29 Authentication-Results: lists.libre-riscv.org; dkim=none (message not signed)
30 header.d=none; lists.libre-riscv.org;
31 dmarc=none action=none header.from=gatech.edu;
32 Received: from BN8PR07MB6961.namprd07.prod.outlook.com (2603:10b6:408:d8::14)
33 by BN8PR07MB6947.namprd07.prod.outlook.com (2603:10b6:408:d8::17)
34 with Microsoft SMTP Server (version=TLS1_2,
35 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3000.25; Sat, 16 May
36 2020 15:59:52 +0000
37 Received: from BN8PR07MB6961.namprd07.prod.outlook.com
38 ([fe80::21e4:21f3:ed04:f847]) by BN8PR07MB6961.namprd07.prod.outlook.com
39 ([fe80::21e4:21f3:ed04:f847%6]) with mapi id 15.20.3000.022; Sat, 16 May 2020
40 15:59:52 +0000
41 From: Yehowshua <yimmanuel3@gatech.edu>
42 Date: Sat, 16 May 2020 11:59:49 -0400
43 References: <13EDF987-9A19-4C96-89C2-6DB784CF2C96@gatech.edu>
44 <CAPweEDyDcmAJbJx+PKkL8MotPMNyHyFOEtuNOKP+V2PmmY5HvA@mail.gmail.com>
45 <CAPweEDyw+LSW2S4sKWk-V24NSHYe2qqWO+KFqikQ34Q1Guhaig@mail.gmail.com>
46 <CAPweEDweXSC5c_ROQ8a3Y4hQMaJYmD_jAriadcZk9PRrkjOXvA@mail.gmail.com>
47 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
48 In-Reply-To: <CAPweEDweXSC5c_ROQ8a3Y4hQMaJYmD_jAriadcZk9PRrkjOXvA@mail.gmail.com>
49 Message-Id: <25AC8A2E-D48F-439F-AF9D-0EB3DC08D7CC@gatech.edu>
50 X-Mailer: Apple Mail (2.3608.80.23.2.2)
51 X-ClientProxiedBy: BN8PR04CA0060.namprd04.prod.outlook.com
52 (2603:10b6:408:d4::34) To BN8PR07MB6961.namprd07.prod.outlook.com
53 (2603:10b6:408:d8::14)
54 MIME-Version: 1.0
55 X-MS-Exchange-MessageSentRepresentingType: 1
56 Received: from yehowshuas-mbp.hsd1.ga.comcast.net (73.43.100.116) by
57 BN8PR04CA0060.namprd04.prod.outlook.com (2603:10b6:408:d4::34) with Microsoft
58 SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
59 15.20.3000.24 via Frontend Transport; Sat, 16 May 2020 15:59:51 +0000
60 X-Mailer: Apple Mail (2.3608.80.23.2.2)
61 X-Originating-IP: [73.43.100.116]
62 X-MS-PublicTrafficType: Email
63 X-MS-Office365-Filtering-Correlation-Id: 6140b229-122a-4d9e-ce37-08d7f9b22b33
64 X-MS-TrafficTypeDiagnostic: BN8PR07MB6947:
65 X-Microsoft-Antispam-PRVS: <BN8PR07MB69476853E972F28B01A3B989ECBA0@BN8PR07MB6947.namprd07.prod.outlook.com>
66 X-GT-Tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
67 X-MS-Oob-TLC-OOBClassifiers: OLM:4125;
68 X-Forefront-PRVS: 040513D301
69 X-MS-Exchange-SenderADCheck: 1
70 X-Microsoft-Antispam: BCL:0;
71 X-Microsoft-Antispam-Message-Info: GPsU2KLo0HlfaIUYiMey+Q5y15FvbfLrv2ckuCgxu/J+uf0SB1la/pPUCtMmcqMMtGVVTk0Ky65/zMoZohWeyTZCyq6frzMZ7oDW5n+cBfUWH1xw6wPH5C2U9csZAZ1TbIAcc15hriLYzTnREHdgAPgn0puwrxDvIlpw+w1ivJ/Zsvjg7UK1EMhYNJoohLIjX8CZh75Etf+YOGSSHJNaFA44bGh/YFrqEmCbRDI5ILAUwjAqev3j3SzOEe/a/fS+r7x2NIpbbKRYrC6/pPsA6W+psS+B8D8q7Yb6vqc+wLhVjr3MjnkhnKI4MAp7HK35Uj3Ukd9JVrLwriTfJlaLzblMpBcXq5tJeZ4NqwXYLh1qSTumikzKw3BYZC2pQXwvPy6qwQdjJQjoI4WnxA4ZngodyOguWde+cTU09Hz6XGShZecIXLK9k/hYkVADC8lR9yJ2Tlz7rhy/uJSR3ISjIao8888bN0MBexrJ2HX+ySF00Nk+q6oMYaw9xL27hXVw
72 X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
73 IPV:NLI; SFV:NSPM; H:BN8PR07MB6961.namprd07.prod.outlook.com; PTR:; CAT:NONE;
74 SFTY:;
75 SFS:(4636009)(396003)(366004)(39860400002)(376002)(136003)(346002)(36756003)(5660300002)(75432002)(66946007)(478600001)(33656002)(66476007)(66556008)(6512007)(558084003)(2906002)(16526019)(8676002)(52116002)(6506007)(6486002)(8936002)(316002)(956004)(2616005)(786003)(186003)(6916009)(26005)(86362001)(82953001);
76 DIR:OUT; SFP:1102;
77 X-MS-Exchange-AntiSpam-MessageData: r7hmcaOgIhyyLaR6XRKiPtGfkp8JQWfAJRPJ0K4FnAnTn2YBB6pkbuKR/fQieQR2dCYXutvo4eugWE7/9CmWvTW7t/lcvCgz2h9oRkDhuRJ16Pjfkyev8pvxVCz8Fre4bslyD2zf/TyzPYVPObXcbBn/ZYGkK3jtlTvTQ51fesFLsAIoZN8m6mOAleeN7UXuVRx4aSW92eK009fIpkUHtzbYjeXQjzvMdqne4BKwAIxJoQX/T6rfWgk/Cqei4pAq6Ab+HWvwhl+HtFeK7lMCtDC1uzI03bcO8CIhaCvnggDPeqqoDOWB0t2EoQh8qkuzZ4V9AkzGd0vP834TQfrLktNTwv6Wh3+raqT1JJunYSZIzeQll4G188ow1DnOhM5+A/jSMdxI0a0v52W4I0OQINfnUk8axJM0Ej/Ta4twYS1i0FRZmIyF2U6Fzihw8x9kwXFfUKxxjcGfqcrIPoqcsqFof44v14Yo2h3a9FdMFzc=
78 X-OriginatorOrg: gatech.edu
79 X-MS-Exchange-CrossTenant-Network-Message-Id: 6140b229-122a-4d9e-ce37-08d7f9b22b33
80 X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 May 2020 15:59:52.2934 (UTC)
81 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
82 X-MS-Exchange-CrossTenant-Id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
83 X-MS-Exchange-CrossTenant-MailboxType: HOSTED
84 X-MS-Exchange-CrossTenant-UserPrincipalName: AIOXinaVo/tHzho4JvlTWz69cGoB7GBNdgBHz6nT1Fb0Ib2yX/iffx7iU+WIcAC7emlvVgW7A6kDCnTKL41Qqw==
85 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8PR07MB6947
86 Subject: Re: [libre-riscv-dev] Scoreboard vs Tomasulo
87 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
88 X-Mailman-Version: 2.1.23
89 Precedence: list
90 List-Id: Libre-RISCV General Development
91 <libre-riscv-dev.lists.libre-riscv.org>
92 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
93 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
94 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
95 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
96 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
97 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
98 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
99 Reply-To: Libre-RISCV General Development
100 <libre-riscv-dev@lists.libre-riscv.org>
101 Content-Type: text/plain; charset="utf-8"
102 Content-Transfer-Encoding: base64
103 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
104 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
105
106 VGhpcyBpcyBhIHZlcnkgaW50cmljYXRlIGFuZCBjb21wbGljYXRlZCBzdWJqZWN0IG1hdHRlciBm
107 b3Igc3VyZS4KCkF0IHNvbWUgcG9pbnQsIGl0IGJlIGdyZWF0IHRvIHJlYWxseSBicmVhayB0aGlu
108 Z3MgZG93biBhbmQgbWFrZSB0aGVtIG1vcmUgYWNjZXNzaWJsZS4KClllaG93c2h1YQpfX19fX19f
109 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaWJyZS1yaXNjdi1kZXYg
110 bWFpbGluZyBsaXN0CmxpYnJlLXJpc2N2LWRldkBsaXN0cy5saWJyZS1yaXNjdi5vcmcKaHR0cDov
111 L2xpc3RzLmxpYnJlLXJpc2N2Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpYnJlLXJpc2N2LWRldgo=
112