mirror of
				https://github.com/YosysHQ/yosys
				synced 2025-11-04 13:29:12 +00:00 
			
		
		
		
	
						commit
						1fb71656b4
					
				
					 3 changed files with 43 additions and 19 deletions
				
			
		| 
						 | 
				
			
			@ -1,7 +1,7 @@
 | 
			
		|||
```
 | 
			
		||||
yosys -- Yosys Open SYnthesis Suite
 | 
			
		||||
 | 
			
		||||
Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>
 | 
			
		||||
Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>
 | 
			
		||||
 | 
			
		||||
Permission to use, copy, modify, and/or distribute this software for any
 | 
			
		||||
purpose with or without fee is hereby granted, provided that the above
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
| 
						 | 
				
			
			@ -992,4 +992,44 @@ struct MinisatSatSolver : public SatSolver {
 | 
			
		|||
	}
 | 
			
		||||
} MinisatSatSolver;
 | 
			
		||||
 | 
			
		||||
struct LicensePass : public Pass {
 | 
			
		||||
	LicensePass() : Pass("license", "print license terms") { }
 | 
			
		||||
	void help() override
 | 
			
		||||
	{
 | 
			
		||||
		log("\n");
 | 
			
		||||
		log("    license\n");
 | 
			
		||||
		log("\n");
 | 
			
		||||
		log("This command produces the following notice.\n");
 | 
			
		||||
		notice();
 | 
			
		||||
	}
 | 
			
		||||
	void execute(std::vector<std::string> args, RTLIL::Design*) override
 | 
			
		||||
	{
 | 
			
		||||
		notice();
 | 
			
		||||
	}
 | 
			
		||||
	void notice()
 | 
			
		||||
	{
 | 
			
		||||
		log("\n");
 | 
			
		||||
		log(" /----------------------------------------------------------------------------\\\n");
 | 
			
		||||
		log(" |                                                                            |\n");
 | 
			
		||||
		log(" |  yosys -- Yosys Open SYnthesis Suite                                       |\n");
 | 
			
		||||
		log(" |                                                                            |\n");
 | 
			
		||||
		log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
 | 
			
		||||
		log(" |                                                                            |\n");
 | 
			
		||||
		log(" |  Permission to use, copy, modify, and/or distribute this software for any  |\n");
 | 
			
		||||
		log(" |  purpose with or without fee is hereby granted, provided that the above    |\n");
 | 
			
		||||
		log(" |  copyright notice and this permission notice appear in all copies.         |\n");
 | 
			
		||||
		log(" |                                                                            |\n");
 | 
			
		||||
		log(" |  THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES  |\n");
 | 
			
		||||
		log(" |  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF          |\n");
 | 
			
		||||
		log(" |  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR   |\n");
 | 
			
		||||
		log(" |  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES    |\n");
 | 
			
		||||
		log(" |  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN     |\n");
 | 
			
		||||
		log(" |  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF   |\n");
 | 
			
		||||
		log(" |  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.            |\n");
 | 
			
		||||
		log(" |                                                                            |\n");
 | 
			
		||||
		log(" \\----------------------------------------------------------------------------/\n");
 | 
			
		||||
		log("\n");
 | 
			
		||||
	}
 | 
			
		||||
} LicensePass;
 | 
			
		||||
 | 
			
		||||
YOSYS_NAMESPACE_END
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
| 
						 | 
				
			
			@ -138,27 +138,11 @@ void yosys_banner()
 | 
			
		|||
{
 | 
			
		||||
	log("\n");
 | 
			
		||||
	log(" /----------------------------------------------------------------------------\\\n");
 | 
			
		||||
	log(" |                                                                            |\n");
 | 
			
		||||
	log(" |  yosys -- Yosys Open SYnthesis Suite                                       |\n");
 | 
			
		||||
	log(" |                                                                            |\n");
 | 
			
		||||
	log(" |  Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
 | 
			
		||||
	log(" |                                                                            |\n");
 | 
			
		||||
	log(" |  Permission to use, copy, modify, and/or distribute this software for any  |\n");
 | 
			
		||||
	log(" |  purpose with or without fee is hereby granted, provided that the above    |\n");
 | 
			
		||||
	log(" |  copyright notice and this permission notice appear in all copies.         |\n");
 | 
			
		||||
	log(" |                                                                            |\n");
 | 
			
		||||
	log(" |  THE SOFTWARE IS PROVIDED \"AS IS\" AND THE AUTHOR DISCLAIMS ALL WARRANTIES  |\n");
 | 
			
		||||
	log(" |  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF          |\n");
 | 
			
		||||
	log(" |  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR   |\n");
 | 
			
		||||
	log(" |  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES    |\n");
 | 
			
		||||
	log(" |  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN     |\n");
 | 
			
		||||
	log(" |  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF   |\n");
 | 
			
		||||
	log(" |  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.            |\n");
 | 
			
		||||
	log(" |                                                                            |\n");
 | 
			
		||||
	log(" |  Copyright (C) 2012 - 2024  Claire Xenia Wolf <claire@yosyshq.com>         |\n");
 | 
			
		||||
	log(" |  Distributed under an ISC-like license, type \"license\" to see terms        |\n");
 | 
			
		||||
	log(" \\----------------------------------------------------------------------------/\n");
 | 
			
		||||
	log("\n");
 | 
			
		||||
	log(" %s\n", yosys_version_str);
 | 
			
		||||
	log("\n");
 | 
			
		||||
}
 | 
			
		||||
 | 
			
		||||
int ceil_log2(int x)
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue