--- /dev/null
+Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
+Envelope-to: publicinbox@libre-riscv.org
+Delivery-date: Sun, 07 Jun 2020 00:46:19 +0100
+Received: from localhost ([::1] helo=libre-riscv.org)
+ by libre-soc.org with esmtp (Exim 4.89)
+ (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
+ id 1jhiW2-0007fc-6H; Sun, 07 Jun 2020 00:46:18 +0100
+Received: from lkcl.net ([217.147.94.29])
+ by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jhiW0-0007fU-E2
+ for libre-riscv-dev@lists.libre-riscv.org; Sun, 07 Jun 2020 00:46:16 +0100
+DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
+ s=201607131;
+ h=Content-Transfer-Encoding:Content-Type:To:Subject:Message-ID:Date:From:In-Reply-To:References:MIME-Version;
+ bh=k/GyjLyVBymyouBLyej6vzqdItZe/3zW3H/cM8aJHcA=;
+ b=nNKHyb2+AWMSt2H0WCyCH7sgoOYIMZY8RhogNWHEvSvX4/LpXRpD9JaFeF2FGTiEqnxeVYVM9qvxuPx2TVoNMMsBj2x8sdYgU/PXSSfmWhwb2fmhSMuqgaFP2t842xF/hslxCGY+UYWvtrL3XZ6vJF8gRiYbLtMDrIREhLgX8Xw=;
+Received: from mail-lf1-f49.google.com ([209.85.167.49])
+ by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
+ (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jhiW0-0005zB-2a
+ for libre-riscv-dev@lists.libre-riscv.org; Sat, 06 Jun 2020 23:46:16 +0000
+Received: by mail-lf1-f49.google.com with SMTP id u16so8019828lfl.8
+ for <libre-riscv-dev@lists.libre-riscv.org>;
+ Sat, 06 Jun 2020 16:46:00 -0700 (PDT)
+X-Gm-Message-State: AOAM533BFcyenqc/U/BfQVPEH2OiudD8+NMMUvd3GJFvkkB6ZAXEIpd7
+ WZqGALjtY/2m2InordyHXxISWW9jdy95eQHd8GU=
+X-Google-Smtp-Source: ABdhPJyaZmX/9nAcJ4J5lUbmq04XUwnj95pVreLj2Gu8x6nngM+T+EWy0wZMvQu5yZS6I+f7yZ4JlIsMEs8XRkFoL8s=
+X-Received: by 2002:a05:6512:62:: with SMTP id
+ i2mr8775407lfo.152.1591487155038;
+ Sat, 06 Jun 2020 16:45:55 -0700 (PDT)
+MIME-Version: 1.0
+References: <CAE_rhwZK4FeFHDh4SNiUozji1vR1L4Xm=+BVBRuxHMw49CsMhQ@mail.gmail.com>
+ <8931BBAF-3BC2-43CD-BB7B-DD0AEAB17F2B@gatech.edu>
+ <CAPweEDxD72iib+ieBdNr6HVgHnkQDbq=5jogFj+VMR-Q6fSSCg@mail.gmail.com>
+ <34CE8AF9-38A7-49C1-8F19-F8DC89EFE350@gatech.edu>
+ <7D3C94B7-A88A-4984-B71C-9ADFB0903C18@gatech.edu>
+In-Reply-To: <7D3C94B7-A88A-4984-B71C-9ADFB0903C18@gatech.edu>
+From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
+Date: Sun, 7 Jun 2020 00:45:43 +0100
+X-Gmail-Original-Message-ID: <CAPweEDyaubrbVO=LVmwfa6cL=LhD2n8_JybySzzFiU=j5mEFZQ@mail.gmail.com>
+Message-ID: <CAPweEDyaubrbVO=LVmwfa6cL=LhD2n8_JybySzzFiU=j5mEFZQ@mail.gmail.com>
+To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
+Subject: Re: [libre-riscv-dev] FHDLTestCase
+X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
+X-Mailman-Version: 2.1.23
+Precedence: list
+List-Id: Libre-RISCV General Development
+ <libre-riscv-dev.lists.libre-riscv.org>
+List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
+List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
+List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
+List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
+List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
+ <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
+Reply-To: Libre-RISCV General Development
+ <libre-riscv-dev@lists.libre-riscv.org>
+Content-Type: text/plain; charset="utf-8"
+Content-Transfer-Encoding: base64
+Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
+Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
+
+T24gU3VuLCBKdW4gNywgMjAyMCBhdCAxMjoyOCBBTSBZZWhvd3NodWEgPHlpbW1hbnVlbDNAZ2F0
+ZWNoLmVkdT4gd3JvdGU6Cj4KPiBCdXQgZnJvbSB3aGF0IHNoZSB0b2xkIG1lLCBhbnl0aGluZyB3
+aXRoIGBfYCBwcmVmaXgKPiBoYXMgbm90IGd1YXJhbnRlZXMgb2YgbWFpbnRhaW5pbmcgYSBzdGFi
+bGUgaW50ZXJmYWNlLgoKY29ycmVjdC4gIGFuZCB0aGVyZWZvcmUgdGhlIGltcGxpY2F0aW9ucyBh
+cmU6IHdlIG11c3QgdGFrZSBhIGNvcHkgb2YKdGhhdCBjb2RlIGluIG9yZGVyIGZvciBpdCB0byBi
+ZSAibWFpbnRhaW5lZCBhcyBhIHN0YWJsZSBpbnRlcmZhY2UiLgoKPiBTbyBpZiB3ZeKAmXZlIGJl
+ZW4gaW1wb3J0aW5nIGZyb20gYF9gLCB0aGF04oCZcyBvbiB1cy4KCnVoLWh1aC4gIGFuZCB3ZSBq
+dXN0IGhhZCB0byBxdW90ZXMgdGFrZSBhIGNvcHkgb2YgRkhETFRlc3RDYXNlIHF1b3Rlcy4KCmFu
+ZCwgYmVjYXVzZSBGSERMVGVzdENhc2UgLSB3aGljaCBzaGUgd3JvdGUgLSB1c2VzIG5taWdlbi5f
+dG9vbGNoYWluLAp3ZSBtdXN0IG5vdyBxdW90ZXMgdGFrZSBhIGNvcHkgb2YgX3Rvb2xjaGFpbi5w
+eSBxdW90ZXMuCgouLi4geW91IHNlZSB3aGVyZSB0aGF0IGxlYWRzPwoKYWJzb2x1dGVseSBldmVy
+eSBzaW5nbGUgcHl0aG9uIG5taWdlbiBkZXZlbG9wZXIgbXVzdCBxdW90ZXMgdGFrZQpjb3BpZXMg
+b2YgY29kZSBxdW90ZXMgaW4gb3JkZXIgdG8gZ3VhcmFudGVlIHRoYXQgdGhleSBoYXZlIGEgc3Rh
+YmxlCkFQSSB0byB3b3JrIHdpdGguCgpub3csIGl0ICptaWdodCogYmUgdGhlIGNhc2UgdGhhdCBz
+b21lYm9keSBub3RpY2VzIHRoYXQgd2UgaGF2ZSBxdW90ZXMKdGFrZW4gYSBjb3B5IG9mIEZIRExU
+ZXN0Q2FzZSBxdW90ZXMgYW5kIGFsc28gcXVvdGVzIHRha2VuIGEgY29weSBvZgpfdG9vbGNoYWlu
+LnB5IHF1b3Rlcy4KCnRoZXkgKm1pZ2h0KiB1c2Ugbm11dGlsIGJlY2F1c2Ugb2YgdGhhdCwgYW5k
+IHRodXMgYXZvaWQgY29kZS1kdXBsaWNhdGlvbi4KCmhvd2V2ZXIgdGhlIG11Y2ggbW9yZSBsaWtl
+bHkgc2NlbmFyaW8gaXMgdGhhdCB0aGV5IHdpbGwgbGlrZXdpc2UgdGFrZQpjb3BpZXMgb2YgdGhh
+dCBjb2RlLCBtYWludGFpbiBjb21wbGV0ZWx5IHNlcGFyYXRlIGNvcGllcyAoZWZmZWN0aXZlbHkK
+aGFyZCBmb3JrcykuCgp0aGUgYm90dG9tIGxpbmUgaXMgdGhhdCB0aGlzLCBzbG93bHksIHdpbGwg
+ZGVtb25zdHJhdGUgdG8gd2hpdGVxdWFyawp3aGF0IHRoZSAqYWN0dWFsKiByb2xlIGFuZCByZXNw
+b25zaWJpbGl0eSBvZiBiZWluZyBhbiBvcGVuCmNvbGxhYm9yYXRpdmUgc29mdHdhcmUgZGV2ZWxv
+cG1lbnQgbWFpbnRhaW5lciBpcy4gIGl0J3MgKm5vdCogdG8gc2F5CiJ0aGlzIGlzIG5vdCBteSBy
+ZXNwb25zaWJpbGl0eSwgKmkqIGRlY2xhcmUgLSBlbmQgb2YgZGlzY3Vzc2lvbiAtIHRoYXQKdGhp
+cyBpcyBvdXRzaWRlIG9mIHNjb3BlIG9mICpteSogcHJvamVjdDogaWYgeW91IHRyeSB0byB1c2Ug
+d2hhdCAqSQpERUNMQVJFKiBpcyBwcml2YXRlLCB0aGF0IGlzIFlPVVIgcHJvYmxlbSIsIGl0J3Mg
+dG8gYmUgdGhlIGdhdGV3YXkgb2YKYSAqdHdvLXdheSogY29udmVyc2F0aW9uLgoKaSBmdWxseSBn
+ZXQgdGhhdCBzaGUgaXMgY29uY2VybmVkIGFib3V0IGNoYW5naW5nIHRoZSBBUEksIGFuZCB3YW50
+cwp0aGUgZnJlZWRvbSBhbmQgZmxleGliaWxpdHkgdG8gY2hhbmdlIHRoZSBpbnRlcm5hbHMuICBw
+eXRob24KdW5mb3J0dW5hdGVseSBkb2Vzbid0IHdvcmsgdGhhdCB3YXkuCgpsLgoKX19fX19fX19f
+X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1h
+aWxpbmcgbGlzdApsaWJyZS1yaXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9s
+aXN0cy5saWJyZS1yaXNjdi5vcmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK
+