Update license

YosysHQ · Feb 13, 2023 · 550a5b7 · 550a5b7
1 parent 713b7d3
commit 550a5b7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/passes/sat/synthprop.cc b/passes/sat/synthprop.cc
@@ -1,7 +1,9 @@
 /*
  *  yosys -- Yosys Open SYnthesis Suite
  *
- *  Copyright (C) 2022  Miodrag Milanovic <micko@yosyshq.com>
+ *  Copyright (C) 2023  Miodrag Milanovic <micko@yosyshq.com>
+ *  Copyright (C) 2023
+ *        National Technology & Engineering Solutions of Sandia, LLC (NTESS)
  *
  *  Permission to use, copy, modify, and/or distribute this software for any
  *  purpose with or without fee is hereby granted, provided that the above