e2/3972010dd64d533fe982dfd9c39e72c652cbb3

   1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
   2 Envelope-to: publicinbox@libre-riscv.org
   3 Delivery-date: Mon, 08 Jun 2020 04:19:12 +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 1ji8Jb-00025C-1H; Mon, 08 Jun 2020 04:19:11 +0100
   8 Received: from mail-dm6nam10on2115.outbound.protection.outlook.com
   9  ([40.107.93.115] helo=NAM10-DM6-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 1ji8JY-000256-VR
  13  for libre-riscv-dev@lists.libre-riscv.org; Mon, 08 Jun 2020 04:19:09 +0100
  14 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
  15  b=Cwtkio6ynNCjUpPSSnoB8GHZnHwcNACVKSK9GOknUQsMgSWcRw/u1WF+77xBk2VHnsURpzDqdOhVTldiCv+Wdeyfc1Rga6R2yJEzOC7eQNeaQqKwXnUqZdTPVPx6xgTZsGxen3dNA+u6sVcWwkgA0hqe/hsiACVVljcr+cMrRGUCMXb3tUGAOOQpiMma6AcmJQwIAk4PllFL7buLHwJ5vU1e7NJpZd0sWL3vgIFkANxy/LQYys8aNnkre3bt/hdyKeDyK8XaP3rd+WO2s0KJz4t8PCNKupsNuevQ9dhlLUpvgplUkfxOWclb/BcSVZr3bUE2ZRrj/Wj1GBLx+8X5Vw==
  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=oMOQjiwih98pgDqnmLpt548QTlZk0p3aVPA+tmvhDYE=;
  20  b=Igz0akoprGzTxIVDlLFwZVsj+oSwhoC1HoiwLEzwu7mDbqZft46gvtuUBlRiOobw2HtTg2JDi1tgxb4ncFaSnUUTjMoOUTWReCA4ld2Rxd1RiCr34zBfiSG9L43vV8HtvwC3W0gr+gBSlQtDjfhYiK+S1Rg8/7Bf3QfSk6Lncsdjg262k4OncKiRaWIlBLX157bWp4KkbWphegybYpPKJ9bpQI3OlIH8x4/TqHZgejJ/AAWI7jwnfCigHiZm4r5/kYet4VtEx6b3fNzh7+/Vv6s76IowRzUkVca+tM2ab5tFM+6GAl2iPukosIQ/2xCKcY9qGI3PVvaoS4CjPBIPfQ==
  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=oMOQjiwih98pgDqnmLpt548QTlZk0p3aVPA+tmvhDYE=;
  28  b=GUYKa0JGjuec8gY+jOb0SEtGjMPbFRHxKs3cRTrr5j95GSLJlqtWDn31bQ1HV2fpz3WrGveGStvvDszPMuP7fgrSJcFbBtvrNImmLePPkDjL8qieVM3RqE2gEGooeTGNbMqXHEhEqCKu1QuDvRUrHAZ/5sYx+6L9IJ7Zph0e7zk=
  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 BN7PR07MB4753.namprd07.prod.outlook.com (2603:10b6:406:f0::23)
  33  by BN7PR07MB4626.namprd07.prod.outlook.com (2603:10b6:406:f7::28)
  34  with Microsoft SMTP Server (version=TLS1_2,
  35  cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3066.18; Mon, 8 Jun
  36  2020 03:19:00 +0000
  37 Received: from BN7PR07MB4753.namprd07.prod.outlook.com
  38  ([fe80::9cfa:d2f7:5d60:c397]) by BN7PR07MB4753.namprd07.prod.outlook.com
  39  ([fe80::9cfa:d2f7:5d60:c397%6]) with mapi id 15.20.3066.023; Mon, 8 Jun 2020
  40  03:19:00 +0000
  41 From: Yehowshua <yimmanuel3@gatech.edu>
  42 Date: Sun, 7 Jun 2020 23:18:58 -0400
  43 References: <E2E475D2-7421-4970-92BE-146FC5514AA5@gatech.edu>
  44 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
  45 In-Reply-To: <E2E475D2-7421-4970-92BE-146FC5514AA5@gatech.edu>
  46 Message-Id: <5F476CB5-BE81-4556-875E-54F066702D66@gatech.edu>
  47 X-Mailer: Apple Mail (2.3608.80.23.2.2)
  48 X-ClientProxiedBy: BN6PR03CA0086.namprd03.prod.outlook.com
  49  (2603:10b6:405:6f::24) To BN7PR07MB4753.namprd07.prod.outlook.com
  50  (2603:10b6:406:f0::23)
  51 MIME-Version: 1.0
  52 X-MS-Exchange-MessageSentRepresentingType: 1
  53 Received: from yehowshuas-mbp.hsd1.ga.comcast.net (73.43.100.116) by
  54  BN6PR03CA0086.namprd03.prod.outlook.com (2603:10b6:405:6f::24) with Microsoft
  55  SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id
  56  15.20.3066.18 via Frontend Transport; Mon, 8 Jun 2020 03:19:00 +0000
  57 X-Mailer: Apple Mail (2.3608.80.23.2.2)
  58 X-Originating-IP: [73.43.100.116]
  59 X-MS-PublicTrafficType: Email
  60 X-MS-Office365-Filtering-Correlation-Id: 834e2299-2829-4d13-31e5-08d80b5ab009
  61 X-MS-TrafficTypeDiagnostic: BN7PR07MB4626:
  62 X-Microsoft-Antispam-PRVS: <BN7PR07MB462635EA6AD26A9363808325EC850@BN7PR07MB4626.namprd07.prod.outlook.com>
  63 X-GT-Tenant: 042d12d7-75fe-4547-b5b6-0573f80f829d
  64 X-MS-Oob-TLC-OOBClassifiers: OLM:7219;
  65 X-Forefront-PRVS: 042857DBB5
  66 X-MS-Exchange-SenderADCheck: 1
  67 X-Microsoft-Antispam: BCL:0;
  68 X-Microsoft-Antispam-Message-Info: 8MgKsGc3K0YGTqL7udR2wCp+WwtW2+TGyOFjTO4kK+2THWDxZ1Id2iBK0J4PQwvS4JHvIbNb/3FXLlpxySmLi1XR8t5Ot+25uXS0Uv+b/8Fs1rcUyogb8V5sVhY1l5Gg5IAtZtMSYaMSoo4itJjAfyLv2qJVhUYKl/+b0TcHIrn9PPJoJn8HIgJEeX1ekhIw6F8CTOUeoUDuGVx7SyFwJtcFk27xxJPsweVzLTUOYspsoIqSy8e8RVH0qLpfQZYNIA8NBAYHaiksPPsfrv6pDaVUx3vBGuDDCRZDLcuSadBaRGCYfrGWpx5AskyWlUowRyrUEcNBPCH8m/0VQWVkjegn+d57Rr44SfdRASvrH02yW/RZV9x96FjvrEHX4OjOt3BPYrJj1/qxNBd3DeJToGrbjfHKHgo88Nt+gAfmGEfukYp82Kp6id4hkyeNelHP+mb1wjgO2hEUMBJU5npRqw==
  69 X-Forefront-Antispam-Report: CIP:255.255.255.255; CTRY:; LANG:en; SCL:1; SRV:;
  70  IPV:NLI; SFV:NSPM; H:BN7PR07MB4753.namprd07.prod.outlook.com; PTR:; CAT:NONE;
  71  SFTY:;
  72  SFS:(4636009)(39860400002)(346002)(136003)(376002)(396003)(366004)(8936002)(6506007)(53546011)(16526019)(86362001)(8676002)(5660300002)(36756003)(2906002)(26005)(478600001)(186003)(52116002)(786003)(66476007)(2616005)(4744005)(966005)(33656002)(6916009)(6512007)(66556008)(6486002)(316002)(66946007)(956004)(75432002)(82953001);
  73  DIR:OUT; SFP:1102;
  74 X-MS-Exchange-AntiSpam-MessageData: iGMS6HRtwiai/ze3dPhQSD7MSOfOht+kSw3moiDO0rMliYC5Ng++LtplTGEuc1tB+GzfDE6Rr0jSV3rMsm9j4vAA01lbbwJPdAuUrHAGIlZc0CMXPjXqTR6HjtUVWNy1oBEyhie3mNQ+WsT7tj9ffE09RqBAUwlbAcOmMar0E9q1gvcBObU2Zax5+84qyGMYoJqtiB7v7nPqofW/2TwrqP6hXZ6kyF3cQabfdTGe7HAAqSlSKP6ydkuS5Lb722hM8boBgV6kaFu6+432uoS5ZgpoIIYk4co6j3FFWLtXwZBA6UkepD/cZh6+u8yFFOzg4hhVhqT6govYC8JjWHQwsrmL4gCe7I8YCk+7bRilYGEEw5r72087JFQn6M34aSm7JGFJQ/Ft/rL/WzvNXk/R/tx2qADR8mB9LYBwoXLdiLVrrfQopVKpuSNfJUYgF0+yUmP8phF9l3mDKdHfQ3t8dFI566tGn06RivRONSzHKHY=
  75 X-OriginatorOrg: gatech.edu
  76 X-MS-Exchange-CrossTenant-Network-Message-Id: 834e2299-2829-4d13-31e5-08d80b5ab009
  77 X-MS-Exchange-CrossTenant-OriginalArrivalTime: 08 Jun 2020 03:19:00.2249 (UTC)
  78 X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
  79 X-MS-Exchange-CrossTenant-Id: 482198bb-ae7b-4b25-8b7a-6d7f32faa083
  80 X-MS-Exchange-CrossTenant-MailboxType: HOSTED
  81 X-MS-Exchange-CrossTenant-UserPrincipalName: oyAiVc4Z/r9bY3/msfClsyNVcY1uPKDxfHNCI5uWFGfp0+tdiwBQdsPPKtjbaHI7DkHtJYc/NfISAiZEZAUOhw==
  82 X-MS-Exchange-Transport-CrossTenantHeadersStamped: BN7PR07MB4626
  83 Subject: Re: [libre-riscv-dev] Using formal to expose bugs in scoreboard
  84 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
  85 X-Mailman-Version: 2.1.23
  86 Precedence: list
  87 List-Id: Libre-RISCV General Development
  88  <libre-riscv-dev.lists.libre-riscv.org>
  89 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
  90  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
  91 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
  92 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
  93 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
  94 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
  95  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
  96 Reply-To: Libre-RISCV General Development
  97  <libre-riscv-dev@lists.libre-riscv.org>
  98 Content-Type: text/plain; charset="utf-8"
  99 Content-Transfer-Encoding: base64
 100 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
 101 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
 102
 103 Cgo+IE9uIEp1biA3LCAyMDIwLCBhdCAxMToxMSBQTSwgWWVob3dzaHVhIDx5aW1tYW51ZWwzQGdh
 104 dGVjaC5lZHU+IHdyb3RlOgo+IAo+IFRoaXMgZXJyb3IgaGlnaGxpZ2h0cyB0aGUgbmVlZCBmb3Ig
 105 Zm9ybWFsIG9uIHRoZSBzY29yZWJvYXJkLgo+IGh0dHBzOi8vYnVncy5saWJyZS1zb2Mub3JnL3No
 106 b3dfYnVnLmNnaT9pZD0zMzYjYzU0CgpJIGJlbGlldmUgSSByZWFkIHRoZSBidWcgcmVwb3J0IHRv
 107 byBxdWlja2x5IGFuZCB0aGF0IGxpbmsgZnJvbSBTeW1iaW90aWNFREEgZG9lc27igJl0IGFwcGx5
 108 IGRpcmVjdGx5IHRvIHRoZSBsaW5rZWQgYnVnLgoKWWVob3dzaHVhCl9fX19fX19fX19fX19fX19f
 109 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRldiBtYWlsaW5nIGxp
 110 c3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRwOi8vbGlzdHMubGli
 111 cmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2Cg==
 112