[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / a4 / 7a2312d4ea6b8d58d21a099dc2acf0cf2ea68a
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Sat, 09 May 2020 15:39:17 +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 1jXQdI-00027X-7w; Sat, 09 May 2020 15:39:16 +0100
8 Received: from mail-mw2nam10on2093.outbound.protection.outlook.com
9 ([40.107.94.93] helo=NAM10-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 1jXQdH-00027Q-7A
13 for libre-riscv-dev@lists.libre-riscv.org; Sat, 09 May 2020 15:39:15 +0100
14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
15 b=jbwGmPAoimyPq7FYmD7aYMy4sOWb+u0+WzvzCyU01zujOI6HQ3h7Q7zOr+xDAfTJqWv8rwQvVtb/Tx84fJvE2Djv7IwoUVfbEwWn+Sen3m3JIwLxT0dnlh6eMuWx+60WEUYulhfWFExF44g2VTNM1d0XlHWMc+qa8vkT36ZOelARn5sIcXpqwAlKQs6jzcKYMXkg/kFyzclUfH964nhTX3zSQyAJrVlvgLVCwjBU4r+h448yeMpymr+TbMUsNBKyPV0GGn6G/XzrVLFboOyfsWRmuoGrHuwmYzcsYnv6iCWbFjPZ8sTDKuEc9fetDBiD118Pd+dI+Q1X8TeYVlMaIQ==
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=nqsCLRI/pMGqKUpEburNCiXwhcUHIIYrRjqWh2wTvMk=;
20 b=G1/uMBtwNu/q2AJpYIgoJ2QuKU0+lWSvF++nEWOzY1jjjyz1ZOUeAGBdMwP4if+ZbELLS1J+q+q0cI1+ydqKL21HBVD1E5TeFtLLRcbbFvPIxKiqzOoHOqipKijexTfi90oPi9PqODjPaTOjf53kQNQXAN9YOwEkR7o0mCK1JcfA7onb+Es8n1Yv4uwB14pKFPx9M3L1wZXzkORPIQYu3fYoFa3sjVXKd3XQy2rGy4srFPqedJB8IEV19YsNv6HzKWZIIEbpyb6t7KC8MEeyZkoggXt0+y3lWStrln8DqB3IR3sjfsvJeDfMVVhb+AK5tQCeG1s0WvRDey8FG0EywA==
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=nqsCLRI/pMGqKUpEburNCiXwhcUHIIYrRjqWh2wTvMk=;
28 b=1mQlKlEfVR0yGoPVaMSgVtzQJpUJBPz4ZWKWS03dMLI/dx+JhDL6j3Jnq9F+uYZrUwy3MvO8Xi6NGAb7/Jbh2+AploOc4Tv10sZdNHScS8aGDk6HXnErvQ9Ebn2xZA1cLNnOjWJtQZYpewpalq/TlcPAw/4GDGuK+y7VM9zmPeU=
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 BL0PR07MB3908.namprd07.prod.outlook.com (2603:10b6:207:3f::14)
33 by BL0PR07MB5651.namprd07.prod.outlook.com (2603:10b6:208:8b::10)
34 with Microsoft SMTP Server (version=TLS1_2,
35 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2958.21; Sat, 9 May
36 2020 14:39:12 +0000
37 Received: from BL0PR07MB3908.namprd07.prod.outlook.com
38 ([fe80::bc9c:c809:95a2:527c]) by BL0PR07MB3908.namprd07.prod.outlook.com
39 ([fe80::bc9c:c809:95a2:527c%7]) with mapi id 15.20.2979.033; Sat, 9 May 2020
40 14:39:12 +0000
41 From: Yehowshua <yimmanuel3@gatech.edu>
42 Date: Sat, 9 May 2020 10:39:10 -0400
43 References: <3BD26F5C-BB6D-4011-89E6-EC06215DEDEA@gatech.edu>
44 <792ac37b0c72350337f07c758d51a24eaa9ac532.camel@fibraservi.eu>
45 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
46 In-Reply-To: <792ac37b0c72350337f07c758d51a24eaa9ac532.camel@fibraservi.eu>
47 Message-Id: <10F45E2A-EFDB-4A93-98A9-B0646045228B@gatech.edu>
48 X-Mailer: Apple Mail (2.3608.80.23.2.2)
49 X-ClientProxiedBy: BN4PR13CA0010.namprd13.prod.outlook.com
50 (2603:10b6:403:3::20) To BL0PR07MB3908.namprd07.prod.outlook.com
51 (2603:10b6:207:3f::14)
52 MIME-Version: 1.0
53 X-MS-Exchange-MessageSentRepresentingType: 1
54 Received: from yehowshuas-mbp.hsd1.ga.comcast.net (73.43.100.116) by
55 BN4PR13CA0010.namprd13.prod.outlook.com (2603:10b6:403:3::20) with Microsoft
56 SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
57 15.20.3000.11 via Frontend Transport; Sat, 9 May 2020 14:39:11 +0000
58 X-Mailer: Apple Mail (2.3608.80.23.2.2)
59 X-Originating-IP: [73.43.100.116]
60 X-MS-PublicTrafficType: Email
61 X-MS-Office365-Filtering-Correlation-Id: b2c73a4a-c36c-457c-e63a-08d7f426bd77
62 X-MS-TrafficTypeDiagnostic: BL0PR07MB5651:
63 X-Microsoft-Antispam-PRVS: <BL0PR07MB5651EBF856BD66DC01960D52ECA30@BL0PR07MB5651.namprd07.prod.outlook.com>
64 X-GT-Tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
65 X-MS-Oob-TLC-OOBClassifiers: OLM:4125;
66 X-Forefront-PRVS: 03982FDC1D
67 X-MS-Exchange-SenderADCheck: 1
68 X-Microsoft-Antispam: BCL:0;
69 X-Microsoft-Antispam-Message-Info: ThpJuVlrXk9UiHrYo8NaX7OajBJAvPf7G1Q3Zt4A4QmJLsoQ2WFTiQgOr2gNS61sYlPPMSAXiQMQ79mUNT7GZLPaZyrfhQftiKB/Fig7SxEKPZE18gmz3XYczj7GyFQx2djpt072PxibqlAL6btxtPOKcasjWlE/LvS7Rta4uggKhFuQyeAOxnYpxxPxNMEZH4ml+srgSkjISNpotdWJtAz8Q0NFdLL7OwCCWefrUkwoXcIpsIkHJw2vcUyHBnyA7dDd1QxdwpjtDLzFz1M9fbbLchv1VNamvn6vFv4dF4urzC3AiNBOfSwaUMFHLm1yqNeZJ0qr69tNyWAVlV5cmZa3bbObbo21qSqVtv4kntSicLpuFxn1mmLLT5bNFoXmeBzq/LMI69Y0j/6XGAuT55hJ8S1OnDcwdrYykd/YSWq9kFqCtgUF3ScxT119+Ixh5YEcPW6W4nAU27W/R1fTzeoY4n+/zIYLr+oYuyiqVWOVZTmrV7R11UPfb/U4G0A6eRZBh0XKZTP/bN7fG9MNgGubRSMwdWyKvCdT7h+QiuJTfADA6yO8z5Qr5JA0steg
70 X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
71 IPV:NLI; SFV:NSPM; H:BL0PR07MB3908.namprd07.prod.outlook.com; PTR:; CAT:NONE;
72 SFTY:;
73 SFS:(4636009)(136003)(366004)(376002)(346002)(396003)(39860400002)(33430700001)(6512007)(33440700001)(75432002)(86362001)(316002)(36756003)(8936002)(66476007)(5660300002)(2906002)(33656002)(66556008)(66946007)(786003)(8676002)(6486002)(52116002)(6506007)(478600001)(186003)(53546011)(16526019)(26005)(6916009)(2616005)(956004)(82953001);
74 DIR:OUT; SFP:1102;
75 X-MS-Exchange-AntiSpam-MessageData: PYL8JYDBpDiD1p91oIEvHMU/TAxMRfBF8st0W+NnX03jay4QXBk2iD1P8FxOT/l8LlaoKuYZYkE9MJpsvFHf+B321YagXBGm/9mS0SqFMwyZAodskleOtHFOxcAdhIwCH0e0ETBxsg4F3wA9cCheenr6PQz4BCoGENd2T/R2bP6GNDXZQI4cuh7OGWFrI+4xnq/Ll7acLq8DGADGpTgKdAvdXQCoR3/H2UsjRUGB5R/5IXeBYMkI6bAWljeH/0xz1lNGz/pJFpKhmwej4i6lydAN+uWBUWmpwvkdAWgvN6nslQ8bXCvzuyyESwBMtsQSzdJj8Htm1dihMEeegcK2LBtXDEUyklOvJyhGdy6RZiwgPvQgiuBQ8tbSKJMrEqWzAlTQONxJtIQ/L9Gxg8qXMUp0TBpVqr2q014zqvBEuksfwIvdcscAXzGm1A7pAsWvr2cu3TVdXN4szzt7glq62s3ti9UgWZcRgagHIid4B88=
76 X-OriginatorOrg: gatech.edu
77 X-MS-Exchange-CrossTenant-Network-Message-Id: b2c73a4a-c36c-457c-e63a-08d7f426bd77
78 X-MS-Exchange-CrossTenant-OriginalArrivalTime: 09 May 2020 14:39:12.2040 (UTC)
79 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
80 X-MS-Exchange-CrossTenant-Id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
81 X-MS-Exchange-CrossTenant-MailboxType: HOSTED
82 X-MS-Exchange-CrossTenant-UserPrincipalName: zBR9bGctEJTR1sZ1X7tkO/SioOQVkvBDrhDEiWXJtgRgrKVjBkNq28TuE4IjHVBblB8rYtc9Pulr1qVqKAqhew==
83 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL0PR07MB5651
84 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
85 Subject: Re: [libre-riscv-dev] Pinout, interfaces, Rudi, and Raptor
86 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
87 X-Mailman-Version: 2.1.23
88 Precedence: list
89 List-Id: Libre-RISCV General Development
90 <libre-riscv-dev.lists.libre-riscv.org>
91 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
92 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
93 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
94 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
95 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
96 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
97 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
98 Reply-To: Libre-RISCV General Development
99 <libre-riscv-dev@lists.libre-riscv.org>
100 Content-Type: text/plain; charset="utf-8"
101 Content-Transfer-Encoding: base64
102 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
103 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
104
105 Cgo+IE9uIE1heSA5LCAyMDIwLCBhdCA1OjEyIEFNLCBTdGFmIFZlcmhhZWdlbiA8c3RhZkBmaWJy
106 YXNlcnZpLmV1PiB3cm90ZToKPiAKPiBUaGUgT2N0b2JlciBwcm90b3R5cGUgdGFwZS1vdXQgd2ls
107 bCBub3QgYmUgY29zdC1lZmZlY3RpdmUgZm9yIHRoYXQuIEl0IGlzIGEgbXVsdGktcHJvamVjdCB3
108 YWZlci4KClllcyB3ZSBrbm93LiBPbmUgb2Ygb3VyIHBvdGVudGlhbCBjdXN0b21lcnMgZGlkIGV2
109 ZW50dWFsbHkgd2FudCB0byBkbyBhIGxvdyBjb3N0IFNCQyAtIHNvIGNob29zaW5nIGNoZWFwZXIg
110 cGVyaXBoZXJhbHMgaXMgYWx3YXlzIGEgZ29vZCB3YXkgdG8gZ28uCgpZZWhvd3NodWEKX19fX19f
111 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2
112 IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6
113 Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
114