[libre-riscv-dev] [Bug 342] formal proof of soc.fu.compunits.FunctionUnitBaseSingle...
[libre-riscv-dev.git] / a4 / 92e4ced5294a69198768b0e625bfd161bab111
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 15:05:00 +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 1jZxQx-0000Sw-Nb; Sat, 16 May 2020 15:04:59 +0100
8 Received: from mail-mw2nam12on2112.outbound.protection.outlook.com
9 ([40.107.244.112] helo=NAM12-MW2-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 1jZxQw-0000Sq-B6
13 for libre-riscv-dev@lists.libre-riscv.org; Sat, 16 May 2020 15:04:58 +0100
14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
15 b=XRgP2c/o7CHKOg/WxnFpsgs78cyR4a3SRg1eqaprXE8OoGASYaE2aWfWKi1H3YcoJqkaZfzCE6wpr+dMxlaTJJ8jvhq17YuJlhf3L02jl2Golug7apF1qN0D0rNr4y2wJCaa7eF/IyONB0LAijegeKVs6nAhvuZiWvfYJq4tXsDqG9mkSVRpP+yhXRaX2mz5BkVU1IFiMg4fO1ajdiE52QoYAuLpPQpogKZ9s+Q9VOu4suZHnpdp4EL4CMtPrAy9nSFTpUX9DqygNkFFqBJJ8gaFHQl0sfZ8I7iBRqsWuIw+Ur8xXOjToORJvJ5aeSv3hl949bnTRa0s8k/ZPWfqbw==
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=eitHZG0DsZODRJqCjlGuEVwQ5cmbYAwUGLGjw1Z+81A=;
20 b=j9C4fP0FFMOgrnufzoF0hZnZCTrB3hfDQa0p3goCuow9UzrfRxVYKTCIi/T+klxB9c+pYgRqwHjec3hLypyR34QwFV20yAAmXBuyw1fbbU8UghWAx1kcQe5mzJG7B/2po30cEoGBCvAiPIbzfZI2NHc+98Acg7HgfiLac8tzD/uAKiKGz2AYgfs+Zz1fgECN91QoPYi59+tWs4UuqKtooHn9JWes8lpAiBDv0x/9bRF/699pliEBRULrkLzMlIs8idYEIgMmDf3KfXxGm/WTew9LbFeDDIQLZsUJ9PzN3mV5IEQX8nWIZLJpQClgvs/s08xg4B7nO1SsiL2BYOn/5g==
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=eitHZG0DsZODRJqCjlGuEVwQ5cmbYAwUGLGjw1Z+81A=;
28 b=arDrw7XBrJ8tt9hcAS+OKPgiajEVyHtO5GEoOPhmwPO463iJLv2jQcI0E0zFzJWJCkZLhwPM6kZJQD2eaYRA+NiT9Ak/eVFAwzIwK3D8B0xYfZWxb4C6QynRXgiLE0d4CRZsQs8gNwITxZyyon5R8co8EnnQDL1umUURktOOmSQ=
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 BN8PR07MB6963.namprd07.prod.outlook.com (2603:10b6:408:db::11)
34 with Microsoft SMTP Server (version=TLS1_2,
35 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3000.24; Sat, 16 May
36 2020 14:04:54 +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 14:04:54 +0000
41 From: Yehowshua <yimmanuel3@gatech.edu>
42 Message-Id: <13EDF987-9A19-4C96-89C2-6DB784CF2C96@gatech.edu>
43 Date: Sat, 16 May 2020 10:04:52 -0400
44 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
45 X-Mailer: Apple Mail (2.3608.80.23.2.2)
46 X-ClientProxiedBy: BL0PR05CA0012.namprd05.prod.outlook.com
47 (2603:10b6:208:91::22) To BN8PR07MB6961.namprd07.prod.outlook.com
48 (2603:10b6:408:d8::14)
49 MIME-Version: 1.0
50 X-MS-Exchange-MessageSentRepresentingType: 1
51 Received: from yehowshuas-mbp.hsd1.ga.comcast.net (73.43.100.116) by
52 BL0PR05CA0012.namprd05.prod.outlook.com (2603:10b6:208:91::22) with Microsoft
53 SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
54 15.20.3021.11 via Frontend Transport; Sat, 16 May 2020 14:04:53 +0000
55 X-Mailer: Apple Mail (2.3608.80.23.2.2)
56 X-Originating-IP: [73.43.100.116]
57 X-MS-PublicTrafficType: Email
58 X-MS-Office365-Filtering-Correlation-Id: 7fb4cce0-082a-4554-12fd-08d7f9a21b9e
59 X-MS-TrafficTypeDiagnostic: BN8PR07MB6963:
60 X-Microsoft-Antispam-PRVS: <BN8PR07MB696370E853A7BA14F1C957B8ECBA0@BN8PR07MB6963.namprd07.prod.outlook.com>
61 X-GT-Tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
62 X-MS-Oob-TLC-OOBClassifiers: OLM:10000;
63 X-Forefront-PRVS: 040513D301
64 X-MS-Exchange-SenderADCheck: 1
65 X-Microsoft-Antispam: BCL:0;
66 X-Microsoft-Antispam-Message-Info: 5EZICve9PR9Ik8qLYtf2v8f5AsU8qqlV8V3dVToWspgYxcIJtzMfSebUNd6rUXwF+2zlrmtDYNk9Uu+/wjSZkDG058sdeJrIE8ekffgxmgBiKDjNSf7FsZHFaePR2pVoeKXCqzqPQHLK7LNMrcIxgZ6bf2FVvlInKwzzONAmPXoTaFs72tRWP6IK9aAZ3i3we4k49dWico1XW/KzTQ6uSoebNiBYJZ3fAb9OP3bQg36C/u1Ti7PpxYP1hPZaZWoDGL+QndRrebghk0gGg8nI4StnDKmIYLhG+L96GqCsbnIxiy32va8OnOLfX9E4PeKOOvmV146Hsv48WvYur7laXpcsqts8HSIHRmhsA9PTdpTOwrvjuAaK6SXvTeMFcI12SilRqUYMLimS5AV+JYWG61Elo5bcgJ9TE1NtPW1UoxepgFpeEmm2MWM0jLkLMFxYbbqkyINLu/57A4CcnWsJn49WmMlJecJCIDqWU/719GHfwGf471pZpjJqmYWdFJPzmZsChgg1DsNF0ZygfRI6Nw==
67 X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
68 IPV:NLI; SFV:NSPM; H:BN8PR07MB6961.namprd07.prod.outlook.com; PTR:; CAT:NONE;
69 SFTY:;
70 SFS:(4636009)(39860400002)(376002)(346002)(366004)(136003)(396003)(3480700007)(33656002)(6486002)(2906002)(75432002)(6512007)(33964004)(52116002)(21615005)(6506007)(5660300002)(166002)(86362001)(66946007)(66556008)(8936002)(6916009)(66476007)(966005)(8676002)(186003)(36756003)(7116003)(16526019)(2616005)(316002)(786003)(956004)(26005)(478600001);
71 DIR:OUT; SFP:1102;
72 X-MS-Exchange-AntiSpam-MessageData: MQxiq0XeeX7G6J3ZhBf7E0YpbpwbjabC8y4X048xzcGstjrm+2yc2CUfMO3YM49t7TJUpBBX6X+45PBVe8Khqa7iyoZyB5Gt2XZCapMR5NWj3uAoFBbyCwFRxdQ08xmgQVOFumVGWRtP/wrQCrzUaE9hTxnHhy2cmwCCVyRWicx0+5WrjKVC0p1yvFQXwUF5vgPCkROAdkPlbm7+e62gS/Uw9yJdP2l/1q2wJ0ex4jXpzIbecb4CTZTavwx6oLNeIbovucwAf/vqdBmeTrNd/4S0qNFrVd1fCf5a9B7U7GJayX1FG7LnlogjpBBDs9iDkIb5BlW0tkg+ZCu9weIee0oqPhAFMeFByZbc5Yz2TXYdQ0jY58tOtdb4Zdy8oDrw+4DRte25mWxLbfOclSpgnLNTahpIGEsOxX8Mx8/e0Kn6WLO4s7bWsheK8LujFsyoKd59byBY0ZYjGrx2BeXJNtNMsKHxefwzk8i8h0D8qQI=
73 X-OriginatorOrg: gatech.edu
74 X-MS-Exchange-CrossTenant-Network-Message-Id: 7fb4cce0-082a-4554-12fd-08d7f9a21b9e
75 X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 May 2020 14:04:54.2334 (UTC)
76 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
77 X-MS-Exchange-CrossTenant-Id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
78 X-MS-Exchange-CrossTenant-MailboxType: HOSTED
79 X-MS-Exchange-CrossTenant-UserPrincipalName: /XiwG9ioCHIfHPwYB31b3fgililuUzhwjxwIiYPutfC+P+gtKLQsSg0EPoeLemE6lU0OGOmZ6VcmBGreaFafdg==
80 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN8PR07MB6963
81 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
82 Subject: [libre-riscv-dev] Scoreboard vs Tomasulo
83 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
84 X-Mailman-Version: 2.1.23
85 Precedence: list
86 List-Id: Libre-RISCV General Development
87 <libre-riscv-dev.lists.libre-riscv.org>
88 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
89 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
90 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
91 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
92 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
93 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
94 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
95 Reply-To: Libre-RISCV General Development
96 <libre-riscv-dev@lists.libre-riscv.org>
97 Content-Type: text/plain; charset="utf-8"
98 Content-Transfer-Encoding: base64
99 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
100 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
101
102 VGhpcyB3ZWJzaXRlIGdpdmVzIGFuIGV4Y2VsbGVudCBjb21wYXJpc29uCgpodHRwczovL3d3dy5j
103 cy51bWQuZWR1L35tZWVzaC9jbXNjNDExL3dlYnNpdGUvcHJvamVjdHMvZHluYW1pYy9pbnRyby5o
104 dG1sIDxodHRwczovL3d3dy5jcy51bWQuZWR1L35tZWVzaC9jbXNjNDExL3dlYnNpdGUvcHJvamVj
105 dHMvZHluYW1pYy9pbnRyby5odG1sPgoKSW4gZ2VuZXJhbCwgaXQgc2l0cyB0aGF0IFRvbWFzdWxv
106 IGlzIGEgZGlzdHJpYnV0ZWQgc2NvcmVib2FyZC4KClRoZSBiaWdnZXN0IGRyYXdiYWNrIG9mIFRv
107 bWFzdWxvIGlzIHRoZSBjZW50cmFsIGRhdGEgYnVzIGFzIHRoZSBtZXNzYWdpbmcgc2NoZW1lLiBP
108 bmUgY291bGQgdXNlIGEgbWVzaCBOT0MgYmV0d2VlbiBmdW5jdGlvbmFsIHVuaXRzLgoKCkdpdmVu
109 IHRoYXQgd2UgaGF2ZSB3ZWxsIG92ZXIgMTUgZnVuY3Rpb25hbCB1bml0cywgSSB3b3VsZCBoYXZl
110 IHRob3VnaHQgYSBkaXN0cmlidXRlZCBzY29yZWJvYXJkIGluc3RlYWQgb2YgYSBjZW50cmFsaXpl
111 ZCBvbmUgbWFrZXMgbW9yZSBzZW5zZS4KCk9mIGNvdXJzZSwgSSBoYXZlIG5vIG51bWJlcnMgdG8g
112 YmFjayB0aGlzIHVwLiBCdXQgdGhlc2UgYXJlIGp1c3Qgc29tZSB0aG91Z2h0cy4KCgpJIGtub3cg
113 d2XigJlyZSB1c2luZyBhIHJpbmcvY2lyY3VsYXIgYnVmZmVyIGZvciBtZXNzYWdpbmcgYXQgdGhl
114 IG1vbWVudC4KR2l2ZW4gdGhhdCB3ZSBoYXZlIGhhcmQgZGVhZGxpbmVzIGFuZCBsaW1pdGVkIHJl
115 c291cmNlcywgd2UgY2FuIHN0aWNrIHdpdGggdGhpcy4gQnV0IHRoZXNlIGFyZSBxdWVzdGlvbnMg
116 SSBkbyB3b25kZXIgYWJvdXQgdGhlIGFuc3dlciB0by4gSSB3b25kZXIgaWYgdGhlcmUgYXJlIGFu
117 eSBwYXBlcnMgd2hlcmUgdGhpcyBoYXMgYmVlbiBleHBsb3JlZCBhdCBzdWZmaWNpZW50IGRlcHRo
118 IHRvIGRyYXcgY29uY2x1c2lvbnMuCgpZZWhvd3NodWEKX19fX19fX19fX19fX19fX19fX19fX19f
119 X19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJy
120 ZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNj
121 di5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
122