493 commits

Author	SHA1	Message	Date
Clifford Wolf	6132e6e72a	Fix a bug in clk2fflogic memory handling	2017-12-14 03:05:55 +01:00
Clifford Wolf	590e6961cb	Add clk2fflogic memory support	2017-12-14 02:07:31 +01:00
Clifford Wolf	88182e46d7	Check for memories in clk2fflogic	2017-12-13 19:14:34 +01:00
Clifford Wolf	ca53fba44a	Rename "singleton" pass to "uniquify"	2017-08-20 12:31:50 +02:00
Clifford Wolf	bbdf7d9c66	Add "sim -zinit -rstlen"	2017-08-18 12:54:17 +02:00
Clifford Wolf	d30cc60ba9	Add "sim" support for memories	2017-08-18 11:44:50 +02:00
Clifford Wolf	0be738eaac	Add support for assert/assume/cover to "sim" command	2017-08-18 10:24:14 +02:00
Clifford Wolf	92e4b5aa77	Add writeback mode to "sim" command	2017-08-17 15:54:51 +02:00
Clifford Wolf	7b4f3f86c3	Improve "sim" command	2017-08-17 12:27:08 +02:00
Clifford Wolf	75046aa531	Add "sim" command skeleton	2017-08-16 13:05:21 +02:00
Clifford Wolf	05df3dbee4	Add "setundef -anyseq"	2017-05-28 11:59:05 +02:00
Clifford Wolf	15fb56697a	Bugfix in "miter -assert" handling of assumptions	2016-10-17 14:56:58 +02:00
Clifford Wolf	6425d34e73	Added clk2fflogic support for $dffsr and $dlatch	2016-10-17 13:28:55 +02:00
Clifford Wolf	3a09d6bb65	Improvements and bugfixes in clk2fflogic	2016-10-16 23:03:29 +02:00
Clifford Wolf	fa535c0b00	Some minor build fixes for Visual C	2016-10-14 18:36:02 +02:00
Clifford Wolf	2733994aeb	Added clk2fflogic	2016-10-14 14:55:07 +02:00
Clifford Wolf	8ebba8a35f	Added $ff and $_FF_ cell types	2016-10-12 01:18:39 +02:00
Clifford Wolf	cb7dbf4070	Improvements in assertpmux	2016-09-07 12:42:16 +02:00
Clifford Wolf	ab18e9df7c	Added assertpmux	2016-09-07 00:28:01 +02:00
Clifford Wolf	fc5281b3f7	Run log_flush() before solving in sat command	2016-09-06 17:35:25 +02:00
Clifford Wolf	54966679df	Moved SatHelper::setup_init() code to SatHelper::setup()	2016-07-24 12:18:39 +02:00
Clifford Wolf	34e833103b	Added $initstate support to "sat" command	2016-07-23 17:01:03 +02:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	eaac5bfbc7	Improved formatting of "sat" output tables	2016-04-05 08:26:10 +02:00
Clifford Wolf	1d0f0d668a	Renamed opt_const to opt_expr	2016-03-31 08:46:56 +02:00
Clifford Wolf	207736b4ee	Import more std:: stuff into Yosys namespace	2015-10-25 19:30:49 +01:00
Clifford Wolf	7f110e7018	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	2015-10-24 22:56:40 +02:00
Clifford Wolf	f40d1b78b6	Added sat -show-regs, -show-public, -show-all	2015-08-18 17:14:30 +02:00
Clifford Wolf	0350074819	Re-created command-reference-manual.tex, copied some doc fixes to online help	2015-08-14 11:27:19 +02:00
Clifford Wolf	84bf862f7c	Spell check (by Larry Doolittle)	2015-08-14 10:56:05 +02:00
Clifford Wolf	badc5f7eb9	Added "miter -assert"	2015-07-25 12:09:57 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	ee9188a5b4	Added logic-loop error handling to freduce	2015-06-30 17:11:46 +02:00
Clifford Wolf	faa95dd845	don't consider blackbox modules in "sat" command	2015-04-18 09:29:03 +02:00
Clifford Wolf	1f1deda888	Added non-std verilog assume() statement	2015-02-26 18:47:39 +01:00
Clifford Wolf	39d25b212c	Fixed "sat -initsteps" off-by-one bug	2015-02-22 12:42:05 +01:00
Clifford Wolf	fae0e75ace	Added "sat -stepsize" and "sat -tempinduct-step"	2015-02-21 22:52:49 +01:00
Clifford Wolf	b19c926af8	sat docu change	2015-02-21 22:03:54 +01:00
Clifford Wolf	9237fb924e	When "sat -tempinduct-baseonly -maxsteps N" reaches maxsteps it is a good thing.	2015-02-21 20:05:16 +01:00
Clifford Wolf	1688b9b464	Added "sat -tempinduct-baseonly -tempinduct-inductonly"	2015-02-21 17:53:22 +01:00
Clifford Wolf	dcbd00c101	Fixed basecase init for "sat -tempinduct"	2015-02-21 17:43:49 +01:00
Clifford Wolf	4e6ca7760f	Replaced ezDefaultSAT with ezSatPtr	2015-02-21 12:15:41 +01:00
Clifford Wolf	08c0fe164f	format fixes in "sat -dump_json"	2015-02-19 13:19:04 +01:00
Clifford Wolf	1ecee6c49c	Added "sat -dump_json" (WaveJSON format)	2015-02-19 10:53:40 +01:00
Clifford Wolf	9ebf803cbe	Improved an error message	2015-01-28 00:46:00 +01:00
Clifford Wolf	23e54bda81	Added "sat -show-ports"	2015-01-27 23:04:28 +00:00
Clifford Wolf	0a225f8b27	Moved equiv stuff to passes/equiv/	2015-01-22 12:03:15 +01:00
Clifford Wolf	abf8398216	Progress in equiv_simple	2015-01-21 23:59:58 +00:00
Clifford Wolf	5febbe3620	Added equiv_simple	2015-01-19 15:08:44 +01:00
Clifford Wolf	615c2e136e	Added equiv_status	2015-01-19 14:20:04 +01:00