From mboxrd@z Thu Jan  1 00:00:00 1970
Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
Envelope-to: publicinbox@libre-riscv.org
Delivery-date: Sun, 07 Jun 2020 00:35:18 +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 1jhiLN-0007Pm-Gx; Sun, 07 Jun 2020 00:35:17 +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 1jhiLM-0007Pe-1l
 for libre-riscv-dev@lists.libre-riscv.org; Sun, 07 Jun 2020 00:35: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=CDt6iPnBDdK1E12YDZ7wWA9+mr0PziscWE389+qVQGE=; 
 b=P4DEHm7r/s9B9nQaiKFK7KtXI/L1d2lhBjPrzEmVM8cjNzKjWQFUrwVb+BKIXamdZOc8kaIq7QTsyrdyf+WStCHZHJKG34AKDaOkKSUFO+moJTxl+mnNkrc/BLjNeMxWoQP9kc5P4pA9GQCpvDvVwGexTaM1ltnyVitn+B+uarg=;
Received: from mail-lf1-f44.google.com ([209.85.167.44])
 by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jhiLL-0005y1-PD
 for libre-riscv-dev@lists.libre-riscv.org; Sat, 06 Jun 2020 23:35:15 +0000
Received: by mail-lf1-f44.google.com with SMTP id c12so8001413lfc.10
 for <libre-riscv-dev@lists.libre-riscv.org>;
 Sat, 06 Jun 2020 16:35:00 -0700 (PDT)
X-Gm-Message-State: AOAM5337rRSKJsFN66LFtm+ZrZfHVsFUOaRfblgAnr18LOTuiA4K6khq
 3oOONqi258hxhq1s4l0spxpaoZLMk88q2fdrwys=
X-Google-Smtp-Source: ABdhPJyIqx26Gk2G+olYpsRDvicht/99YfefMFMEjbj2u0+cMeuOX+iVwsgUhcWt4q4L047MgXoQpBWSjQ+ms7nF4k8=
X-Received: by 2002:a19:c1c3:: with SMTP id r186mr8624677lff.49.1591486494945; 
 Sat, 06 Jun 2020 16:34:54 -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>
In-Reply-To: <34CE8AF9-38A7-49C1-8F19-F8DC89EFE350@gatech.edu>
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 7 Jun 2020 00:34:43 +0100
X-Gmail-Original-Message-ID: <CAPweEDwo92zyApEmnqRHrVxFAySFSjD1=k7Xp6e0myjH6M55jg@mail.gmail.com>
Message-ID: <CAPweEDwo92zyApEmnqRHrVxFAySFSjD1=k7Xp6e0myjH6M55jg@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>
Archived-At: <https://inbox.libre-soc.org/libre-riscv-dev/CAPweEDwo92zyApEmnqRHrVxFAySFSjD1=k7Xp6e0myjH6M55jg@mail.gmail.com/>
List-Archive: <https://inbox.libre-soc.org/libre-riscv-dev/>

LS0tCmNyb3dkLWZ1bmRlZCBlY28tY29uc2Npb3VzIGhhcmR3YXJlOiBodHRwczovL3d3dy5jcm93
ZHN1cHBseS5jb20vZW9tYTY4CgpPbiBTdW4sIEp1biA3LCAyMDIwIGF0IDEyOjIyIEFNIFllaG93
c2h1YSA8eWltbWFudWVsM0BnYXRlY2guZWR1PiB3cm90ZToKPgo+ID4KPiA+PiBXaGljaCByZW1p
bmRzIG1lLCB3ZSBuZWVkIHRvIHNlcGFyYXRlIEZIRExUZXN0Q2FzZSBjbGFzcwo+ID4+IGludG8g
dGhlIG5tdXRpbHMgcmVwbyBzaW5jZSBpdCdzIG5vIGxvbmdlciBvZmZpY2lhbGx5IG1haW50YWlu
ZWQuCj4gPgo+ID4gKGkndmUgZG9uZSB0aGF0IGFscmVhZHkuICB3ZSBhbHNvIG5lZWQgdG8gdGFr
ZSBhIGNvcHkgb2YgdGhlCj4gPiBubWlnZW4uX3Rvb2xzLnB5IGNvZGUuICBjb3VsZCB5b3UgYXNr
IHdoaXRlcXVhcmsgaWYgc2hlIGV4cGVjdHMgdGhhdAo+ID4gdG8gYWxzbyBoYXBwZW4sIHRoYXQg
d2UgY3JlYXRlIG11bHRpcGxlIGNvcGllcyBvZiBtb3JlIGFuZCBtb3JlIGNvZGUKPiA+IGZyb20g
bm1pZ2VuPykKPiA+Cj4KPiBKdXN0IG5vdyBzZWVpbmcgdGhpcy4gR2xhZCB5b3UgZGlkIHRoYXQh
Cgpmcm9tIG5taWdlbi5fdG9vbGNoYWluIGltcG9ydCByZXF1aXJlX3Rvb2wKCmh0dHBzOi8vZ2l0
LmxpYnJlLXNvYy5vcmcvP3A9bm11dGlsLmdpdDthPWJsb2I7Zj1zcmMvbm11dGlsL2Zvcm1hbHRl
c3QucHk7aGI9SEVBRAoKCj4gSeKAmWxsIGFzay4KCmJhc2ljYWxseSwgd2l0aG91dCBjb21pbmcg
b3V0IGFuZCBhY3R1YWxseSBzYXlpbmcgInRoaXMgaXMgY29tcGxldGVseQpyaWRpY3Vsb3VzLCBp
dCBsZWFkcyBkb3duIGEgcmFiYml0aG9sZSBvZiBjb3B5aW5nIG1vcmUgYW5kIG1vcmUgb2YKbm1p
Z2VuIGludG8gYSBzZXBhcmF0ZSByZXBvc2l0b3J5LCB3aGljaCBldmVyeW9uZSBlbHNlIHdpbGwg
bGlrZXdpc2UKaGF2ZSB0byBkbyIsIHdlIG5lZWQgdG8gc2xvd2x5IGFuZCBkaXBsb21hdGljYWxs
eSBlZHVjYXRlIGhlciBpbiB0aGUKcHl0aG9uIGNvbGxhYm9yYXRpdmUgcHJhY3RpY2VzIHRoYXQg
c2hlJ3MgbWlzc2luZy4KCm5taWdlbiBpcyBleHRyZW1lbHkgdW51c3VhbCBpbiB0aGF0IGl0IGlz
IGEgInJvb3QiIHByb2plY3QgKHplcm8KZXh0ZXJuYWwgZGVwZW5kZW5jaWVzKS4gIGl0J3Mgc2Vs
Zi1jb250YWluZWQsIGlzIHdoaXRlcXVhcmsncyBmaXJzdApleHBlcmllbmNlIHdpdGggcHl0aG9u
LCBhbmQgY29uc2VxdWVudGx5IHNoZSBoYXMgKnplcm8qIGV4cGVyaWVuY2Ugb2YKcHl0aG9uIGNv
bGxhYm9yYXRpdmUgZGV2ZWxvcG1lbnQgcHJhY3RpY2VzIHRoYXQgaGF2ZSB0YWtlbiAyMCB5ZWFy
cyB0bwplc3RhYmxpc2guCgpnaXZlbiB0aGF0IG5taWdlbiBtYXkgd2VsbCBiZSB0aGUgdmVyeSBm
aXJzdCB0aW1lIHRoYXQgc29tZSBIREwKZW5naW5lZXJzIGV2ZXIgKnVzZSogcHl0aG9uIGV4dGVu
c2l2ZWx5IChTdGFmLCBmb3IgZXhhbXBsZSBpIGJlbGlldmUKbWF5IGZhbGwgaW50byB0aGlzIGNh
dGVnb3J5KSwgdGhlcmUgaXMgYSBodWdlIHJlc3BvbnNpYmlsaXR5IHRoYXQKZmFsbHMgb24gd2hp
dGVxdWFyaydzIHNob3VsZGVycyB0byBsZWFybiBhbmQgdGhlbiBtYWtlIHN1cmUgdG8gdXNlCmJl
c3QgY29sbGFib3JhdGl2ZSBweXRob24gcHJhY3RpY2VzLiAgYW5kIGl0IGlzIGEgaHVnZSByZXNw
b25zaWJpbGl0eS4KCnVuZm9ydHVuYXRlbHksIG15IGVmZm9ydHMgdG8gY29tbXVuaWNhdGUgd2l0
aCBoZXIgYWJvdXQgdGhpcyBkaWQgbm90CmdvIHdlbGwuICB3aGVuIGkgc3Bva2Ugd2l0aCBoZXIg
YWJvdXQgdGhlIGV4dHJlbWVseSBkYW1hZ2luZyBwcmFjdGljZQpvZiB1c2luZyB3aWxkY2FyZCBp
bXBvcnRzLCByYXRoZXIgdGhhbiBnbyAiYWg6IGkgdW5kZXJzdGFuZCBob3cgdGhpcwppcyBleHRy
ZW1lbHkgZGV0cmltZW50YWwgdG8gY29sbGFib3JhdGl2ZSBkZXZlbG9wbWVudCwgaSB3aWxsIGdp
dmUgaXQKc29tZSB0aG91Z2h0IiwgaGVyIHJlc3BvbnNlIHdhcywgInRoZSBweXRob24gcHJvZ3Jh
bW1pbmcgbGFuZ3VhZ2UKc2hvdWxkIG5vdCBiZSBicm9rZW4uICBpdCBpcyBub3QgbXkgcmVzcG9u
c2liaWxpdHk6IGl0IGlzIHRoZQpyZXNwb25zaWJpbGl0eSBvZiB0aGUgcHl0aG9uIGRldmVsb3Bl
cnMuICB0aGV5IHNob3VsZCBuZXZlciBoYXZlIGFkZGVkCnRoZSBmZWF0dXJlIi4KCnRvIGhlciBj
cmVkaXQgc2hlICppcyogcmVzcG9uZGluZyBvbiBzb21lIHRoaW5ncy4gIHVzdWFsbHkgaXQgdGFr
ZXMKbW9yZSB0aGFuIG9uZSBwZXJzb24gdG8gY29tbXVuaWNhdGUgd2l0aCBoZXIgYWJvdXQgYSBn
aXZlbiBpc3N1ZS4Kb3ZlciB0aW1lLCBzaGUnbGwgZ2V0IGl0LCBpIGFtIHN1cmUsIGFzIHNoZSBp
cyBleHRyZW1lbHkgaW50ZWxsaWdlbnQuCgpsLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX18KbGlicmUtcmlzY3YtZGV2IG1haWxpbmcgbGlzdApsaWJyZS1y
aXNjdi1kZXZAbGlzdHMubGlicmUtcmlzY3Yub3JnCmh0dHA6Ly9saXN0cy5saWJyZS1yaXNjdi5v
cmcvbWFpbG1hbi9saXN0aW5mby9saWJyZS1yaXNjdi1kZXYK