Provide full name and email in copyright notice.

[soc.git] / src / soc / fu / mul / formal / proof_main_stage.py

diff --git a/src/soc/fu/mul/formal/proof_main_stage.py b/src/soc/fu/mul/formal/proof_main_stage.py
index 51019e242d544d85f79cdce16b303961f5ce1fd4..0cf767f341668663a4f4c736af5aea5625c1c0d2 100644 (file)
--- a/src/soc/fu/mul/formal/proof_main_stage.py
+++ b/src/soc/fu/mul/formal/proof_main_stage.py
@@ -1,7 +1,7 @@
 # Proof of correctness for multiplier
 # Copyright (C) 2020 Michael Nolan <mtnolan2640@gmail.com>
 # Copyright (C) 2020 Luke Kenneth Casson Leighton <lkcl@lkcl.net>
-# Copyright (C) 2020 Samuel Falvo
+# Copyright (C) 2020 Samuel A. Falvo II <kc5tja@arrl.net>
 
 """Formal Correctness Proof for POWER9 multiplier