Update Copyright notice

Signed-off-by: Claire Xenia Wolf <[email protected]>

Author: clairexen

COPYING

@@ -2,6 +2,7 @@ Equivalence Checking with Yosys (eqy)
 
 Copyright (C) 2020 Claire Xenia Wolf <[email protected]>
 Copyright (C) 2020 N. Engelhardt <[email protected]>
+Copyright (C) 2022 National Technology and Engineering Solutions of Sandia, LLC
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above

README.md

@@ -1 +1,22 @@
-Equivalence Checking with Yosys (eqy) is a front-end driver program for [Yosys](https://yosyshq.net/yosys/)-based formal hardware verification flows.
+# Equivalence Checking with Yosys (EQY)
+
+Equivalence Checking with Yosys (EQY) is a front-end driver program for
+[Yosys](https://yosyshq.net/yosys/)-based formal hardware verification flows.
+
+```
+Copyright (C) 2020 Claire Xenia Wolf <[email protected]>
+Copyright (C) 2020 N. Engelhardt <[email protected]>
+Copyright (C) 2022 National Technology and Engineering Solutions of Sandia, LLC
+
+Permission to use, copy, modify, and/or distribute this software for any
+purpose with or without fee is hereby granted, provided that the above
+copyright notice and this permission notice appear in all copies.
+
+THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+```