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