email and (C) aren't required according to https://www.gnu.org/licenses/gpl-howto.html
# SPDX-License-Identifier: LGPL-3-or-later
-# See Notices.txt for copyright information
+# Copyright 2021 Jacob Lifshay
+
+# Funded by NLnet Assure Programme 2021-02-052, https://nlnet.nl/assure part
+# of Horizon 2020 EU Programme 957073.
import weakref
from pathlib import Path
# SPDX-License-Identifier: LGPL-3-or-later
-# Copyright Jacob Lifshay ADD EMAIL ADDRESS ADD YEAR - FOLLOW STANDARD PRACTICE
+# Copyright 2021 Jacob Lifshay programmerjake@gmail.com
# Copyright (C) 2021 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
# Funded by NLnet Assure Programme 2021-02-052, https://nlnet.nl/assure part
# SPDX-License-Identifier: LGPL-3-or-later
-# TODO: Copyright notice (standard style, plenty of examples)
+# Copyright 2021 Jacob Lifshay
# Copyright (C) 2021 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
-# TODO: credits to NLnet for funding
+
+# Funded by NLnet Assure Programme 2021-02-052, https://nlnet.nl/assure part
+# of Horizon 2020 EU Programme 957073.
"""Bitwise logic operators implemented using a look-up table, like LUTs in
FPGAs. Inspired by x86's `vpternlog[dq]` instructions.
# SPDX-License-Identifier: LGPL-3-or-later
-# See Notices.txt for copyright information
+# Copyright 2021 Jacob Lifshay
+
+# Funded by NLnet Assure Programme 2021-02-052, https://nlnet.nl/assure part
+# of Horizon 2020 EU Programme 957073.
from contextlib import contextmanager
from hashlib import sha256
# SPDX-License-Identifier: LGPL-3-or-later
-# XXX - this is insufficient See Notices.txt for copyright information - XXX
-# XXX TODO: add individual copyright
+# Copyright 2021 Jacob Lifshay
# Funded by NLnet Assure Programme 2021-02-052, https://nlnet.nl/assure part
# of Horizon 2020 EU Programme 957073.
# SPDX-License-Identifier: LGPL-3-or-later
-# See Notices.txt for copyright information
+# Copyright 2021 Jacob Lifshay
+
+# Funded by NLnet Assure Programme 2021-02-052, https://nlnet.nl/assure part
+# of Horizon 2020 EU Programme 957073.
import unittest
from nmigen.hdl.ast import AnyConst, Assert, Signal