[libre-riscv-dev] [Bug 335] Formal Correctness Proof for Branch pipeline
[libre-riscv-dev.git] / e1 / cb2769cf52592c733cb76bf5656f2c3303d3e5
1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
2 Envelope-to: publicinbox@libre-riscv.org
3 Delivery-date: Wed, 18 Mar 2020 18:23:59 +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 1jEdMF-0003Eq-2T; Wed, 18 Mar 2020 18:23:59 +0000
8 Received: from mail-dm6nam10on2125.outbound.protection.outlook.com
9 ([40.107.93.125] helo=NAM10-DM6-obe.outbound.protection.outlook.com)
10 by libre-riscv.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
11 (Exim 4.89) (envelope-from <yimmanuel3@gatech.edu>)
12 id 1jEdMC-0003Ek-Mp
13 for libre-riscv-dev@lists.libre-riscv.org; Wed, 18 Mar 2020 18:23:57 +0000
14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
15 b=QhywcLAAjoWfud/SuP+2Fr7txVJCPemul6AJc5lC7jio+Q/9F7kJBCQ8MgDAStjAM6FnM9rUQGf2YIg3L7NrAavtjWwYPewDzxCsySLdMQQrPZoLb6mDbTcYlE/5iEZFY67kTV+0eHaMf98SjKPgQG5otRAcWOxb/dYHJooVpeKOaDJ4z353ALHnNldTNhXZYmUsnAQrLg4orlqoZV1h26FlNEHXwlbSBN0F/mXBDKlAU+GgGQN1MCkgmYvDLkDkbgOAFMJ2yf3IpivR6iiGjRSsXnXTohxFd+Yq5Z3cueiB9lyBepAZ8xNDLGzf5dl4+7q5B66h/SgpPTBwRcx90A==
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=gUujnKwKjXDrKljCakBV6SRmX4gylAtKR4QENkZFnOA=;
20 b=ZeJ0KoItnY4afq2NFl+l+0vIMPAn7HMJ+NBxcZBVc0jFgfHaJsSb34ibQz/X+xVXLHjJVWMwE1jXiWAVeuYKzYCGFQfD68Gsb6kZxh37ileiWdgKw1t08jkDzGY+CAVXHmNiKlb3VI4Hdb6tTPoFMQ8VbMI7G2SoJhrzluX59VLsxZ6XULAovVBmGp61KQQ3ZmfnUIL9EnfJzKtsJ7xQzryqLLaL35cusDkC2iDhb1JaJWY17Q9iLnWDadm1qtmX/tLOhJ1zVTTcyksZ3z9ruiEWXXZD0z6dMegAas1ZWDdovUxysgVX2igiKNP2yTDBe1LMNRSb/Gu1UmIhWiwIhQ==
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=gUujnKwKjXDrKljCakBV6SRmX4gylAtKR4QENkZFnOA=;
28 b=3ZlJhwXbq6ELW8rOcYHhYOzj9v2QXARuUYvAalL8e+BxzdpntKxthKQAQlGNDQtmZawvyPUcZYSXF2c5YfWsoWd0iipeqxujPdCstbgnYkpG67c6rpfWM/YqIaleWrds58gGR8YHooO3xHq9uBcap2E0OSjbYsGraHQTTBV7YLw=
29 Received: from BL0PR07MB3908.namprd07.prod.outlook.com (2603:10b6:207:3f::14)
30 by BL0PR07MB5457.namprd07.prod.outlook.com (2603:10b6:208:36::24)
31 with Microsoft SMTP Server (version=TLS1_2,
32 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2814.14; Wed, 18 Mar
33 2020 18:23:46 +0000
34 Received: from BL0PR07MB3908.namprd07.prod.outlook.com
35 ([fe80::d040:4516:8c:de63]) by BL0PR07MB3908.namprd07.prod.outlook.com
36 ([fe80::d040:4516:8c:de63%5]) with mapi id 15.20.2814.021; Wed, 18 Mar 2020
37 18:23:46 +0000
38 From: "Immanuel, Yehowshua U" <yimmanuel3@gatech.edu>
39 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
40 Thread-Topic: [libre-riscv-dev] [Bug 186] Create decoder for SOC: Power ISA
41 and RISC-V
42 Thread-Index: AQHV/Uir3eJHd7jTmkSxg0cjEx7PG6hOqboAgAAAbQA=
43 Date: Wed, 18 Mar 2020 18:23:46 +0000
44 Message-ID: <5B1D9989-4E2D-4113-A4AD-0BD030AFFACA@gatech.edu>
45 References: <bug-186-13@http.bugs.libre-riscv.org/>
46 <bug-186-13-QcaOut2JK4@http.bugs.libre-riscv.org/>
47 <CAPweEDwyHqsj2047jdZRyZ+miWcMSnhcd3dCOsS9QgRKE9w1Bg@mail.gmail.com>
48 In-Reply-To: <CAPweEDwyHqsj2047jdZRyZ+miWcMSnhcd3dCOsS9QgRKE9w1Bg@mail.gmail.com>
49 Accept-Language: en-US
50 Content-Language: en-US
51 X-MS-Has-Attach:
52 X-MS-TNEF-Correlator:
53 x-mailer: Apple Mail (2.3608.60.0.2.5)
54 authentication-results: spf=none (sender IP is )
55 smtp.mailfrom=yimmanuel3@gatech.edu;
56 x-originating-ip: [2601:c9:8000:1266:9c47:25ad:1d03:170a]
57 x-ms-publictraffictype: Email
58 x-ms-office365-filtering-correlation-id: a8bf60f2-c2a0-4a01-eeba-08d7cb697f8b
59 x-ms-traffictypediagnostic: BL0PR07MB5457:
60 x-microsoft-antispam-prvs: <BL0PR07MB54571482E9127E1F0FEC7FC0ECF70@BL0PR07MB5457.namprd07.prod.outlook.com>
61 x-gt-tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
62 x-ms-oob-tlc-oobclassifiers: OLM:1013;
63 x-forefront-prvs: 03468CBA43
64 x-forefront-antispam-report: SFV:NSPM;
65 SFS:(10019020)(4636009)(39860400002)(396003)(366004)(376002)(136003)(346002)(199004)(81166006)(81156014)(8676002)(186003)(478600001)(36756003)(86362001)(71200400001)(8936002)(75432002)(5660300002)(2906002)(558084003)(2616005)(76116006)(91956017)(316002)(786003)(6512007)(66476007)(6916009)(6506007)(66556008)(64756008)(33656002)(6486002)(66446008)(66946007)(82953001);
66 DIR:OUT; SFP:1102; SCL:1; SRVR:BL0PR07MB5457;
67 H:BL0PR07MB3908.namprd07.prod.outlook.com; FPR:; SPF:None; LANG:en;
68 PTR:InfoNoRecords; A:1;
69 received-spf: None (protection.outlook.com: gatech.edu does not designate
70 permitted sender hosts)
71 x-ms-exchange-senderadcheck: 1
72 x-microsoft-antispam: BCL:0;
73 x-microsoft-antispam-message-info: fwLDUe7WU5uRl85IfmRNrHrm9lqCP5tK+tJ6UIcuBBfeC3f8FQstvfa1Rr7lpzJiWzM1PO2S0tGaqUNhMNIlz53kxjSfseIHvciOUNgO7UpRZx+gcVtmXEsf9ZVOOHUa6DUBOxwydA38oPW+s9j+QSTL5MTUwpIIkSxPx3wNri20rRB1l1Ce3c/IFxrfO+3Hm7SCAiG5tj4ChAzIGBjIFGZFxNPQ5S//BQyWUwYbDuFhksHjFni0ta9an5YatiFcOtdJnwmTGHkYkP8F2YRMxEHBZUtTlgIl4XaJ+hUOQEm/mvS1mavpPYGYfTdNChIQWQC8+kwQOHGZatzmy72WY+FsKm0nkCGp9mpaaIKyO2Lm1ixUqEbR4c1wLM9IiEZyBaTNr2BEs7broqCi0iMxQ9iu1BD6zqPC5HhdBJODTaGFiY3wtDPQHU90l/dyOg6g1X5EG+RkIZFcXV/k4WDx0R7EICfoDd7BBDTFdEGWqKvVvVhFwFgnKIe20iYQwlcU
74 x-ms-exchange-antispam-messagedata: lsmyWEo5pPNaMwpOWBEVuyy0Tf3ZutaWGv3WTiwMQxQx8it2WaQxGzqAOJ1JpOcp8yt+hjhpUQwqYFoNxGCWloM95io9p27XLy52RyTpAdciWFrBQYRx8wwga0FaQlTDOshvm3WSlc0hints+hynbjEHDJzD4xxO8DLpgiaaoy2YT5rNsjtPXGnaOtbPSIrlAq8bAniOc5pFdkMoGLwV3Q==
75 x-ms-exchange-transport-forked: True
76 Content-ID: <AA645B2364638247B9E8102523EB6B80@namprd07.prod.outlook.com>
77 MIME-Version: 1.0
78 X-OriginatorOrg: gatech.edu
79 X-MS-Exchange-CrossTenant-Network-Message-Id: a8bf60f2-c2a0-4a01-eeba-08d7cb697f8b
80 X-MS-Exchange-CrossTenant-originalarrivaltime: 18 Mar 2020 18:23:46.6796 (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: 0p1qnuOpuruPwDhhB2RpC0A+3bl77YdjFV9VJ9DiHdLjPvMRgwC3PpZslw4zVWj70mOs8rshKCNxgrBGcK1elw==
85 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL0PR07MB5457
86 Subject: Re: [libre-riscv-dev] [Bug 186] Create decoder for SOC: Power ISA
87 and RISC-V
88 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
89 X-Mailman-Version: 2.1.23
90 Precedence: list
91 List-Id: Libre-RISCV General Development
92 <libre-riscv-dev.lists.libre-riscv.org>
93 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
94 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
95 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
96 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
97 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
98 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
99 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
100 Reply-To: Libre-RISCV General Development
101 <libre-riscv-dev@lists.libre-riscv.org>
102 Content-Type: text/plain; charset="utf-8"
103 Content-Transfer-Encoding: base64
104 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
105 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
106
107 PiBob3dldnJyIGkgZG9udCBrbm93IHdoYXQgImRvd250byIgbWVhbnMgaW4gdmhkbC4KClZIREw6
108 IDggZG93bnRvIDAKVmVyaWxvZzogODowCgpWSERMIGlzIHJlYWxseSB3ZWlyZC4uLgoKX19fX19f
109 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2
110 IG1haWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6
111 Ly9saXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
112