4143 commits

Author	SHA1	Message	Date
Clifford Wolf	d9d38eeedb	Bugfix in fsm_map for FSMs without reset state	2016-10-25 23:21:37 +02:00
Clifford Wolf	aa72262330	Added avail params to ilang format, check module params in 'hierarchy -check'	2016-10-22 11:05:49 +02:00
Clifford Wolf	3655d7fea7	Added "setparam -type"	2016-10-19 13:54:04 +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	74702b04c2	Build fixes for VS 2015	2016-10-16 20:37:02 +02:00
Clifford Wolf	fa535c0b00	Some minor build fixes for Visual C	2016-10-14 18:36:02 +02:00
Clifford Wolf	e4c5ee9b89	Avoid using strcasecmp()	2016-10-14 18:20:36 +02:00
Clifford Wolf	2733994aeb	Added clk2fflogic	2016-10-14 14:55:07 +02:00
Clifford Wolf	2ef454c3f5	Added opt_rmdff support for $ff cells	2016-10-14 13:02:36 +02:00
Clifford Wolf	53655d173b	Added $global_clock verilog syntax support for creating $ff cells	2016-10-14 12:33:56 +02:00
Clifford Wolf	ffbb4e992e	Added MEMID handling to "flatten" pass	2016-10-14 10:36:37 +02:00
Clifford Wolf	ee91350add	Added "zinit" pass	2016-10-12 12:05:19 +02:00
Clifford Wolf	8ebba8a35f	Added $ff and $_FF_ cell types	2016-10-12 01:18:39 +02:00
Clifford Wolf	ed519f578e	Added "opt_rmdff -keepdc"	2016-09-30 17:02:38 +02:00
Clifford Wolf	e788ad4885	Cosmetic fix in test_autotb.cc	2016-09-19 20:43:43 +02:00
Clifford Wolf	5e155aa121	Avoid creating very long strings in test_autotb	2016-09-19 10:20:20 +02:00
Clifford Wolf	d8ad889594	Bugfix in techmap parameter handling	2016-09-14 20:46:54 +02:00
Kaj Tuomi	df4ab169a7	Typo fix.	2016-09-08 10:57:16 +03: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	f3f5a02045	Added "tee +INT -INT"	2016-09-06 17:43:24 +02:00
Clifford Wolf	fc5281b3f7	Run log_flush() before solving in sat command	2016-09-06 17:35:25 +02:00
Clifford Wolf	4ea7054b56	Improved init spec handling in opt_rmdff, modernized the code a bit	2016-08-30 01:34:04 +02:00
Clifford Wolf	eae390ae17	Removed $predict again	2016-08-28 21:35:33 +02:00
Clifford Wolf	66582964bc	Improved "show" help message	2016-08-28 12:34:36 +02:00
Clifford Wolf	23afeadb5e	Fixed handling of transparent bram rd ports on ROMs	2016-08-27 17:06:22 +02:00
Clifford Wolf	cad40fc874	Fixed bug in memory_share for memory ports with different ABITS	2016-08-22 14:26:33 +02:00
Clifford Wolf	d77a914683	Added "wreduce -memx"	2016-08-20 12:52:50 +02:00
Clifford Wolf	15ef608453	Added memory_memx pass, "memory -memx", and "prep -memx"	2016-08-19 19:48:26 +02:00
Clifford Wolf	f6629b9c29	Optimize memory address port width in wreduce and memory_collect, not verilog front-end	2016-08-19 18:38:25 +02:00
Clifford Wolf	b3a01451a5	Bugfix in test_autotb	2016-08-18 13:43:12 +02:00
Clifford Wolf	00f29d5e5c	Fixed use-after-free dict<> usage pattern in hierarchy.cc	2016-08-16 09:07:13 +02:00
Clifford Wolf	321e15b0bf	Minor fixes in show command	2016-08-16 00:36:24 +02:00
Clifford Wolf	73b7232ec8	Fixed some compiler warnings in attrmap command	2016-08-10 13:44:08 +02:00
Clifford Wolf	b0aab4e304	Added "attrmap" command	2016-08-09 19:56:55 +02:00
Clifford Wolf	3c6d31fd06	Added "attrmvcp" pass	2016-08-09 11:18:48 +02:00
Clifford Wolf	9d15529214	Undo "preserve wire attributes in iopadmap" change (it was OK before)	2016-08-08 11:47:35 +02:00
Clifford Wolf	88a67afa7d	Added "test_autotb -seed" (and "autotest.sh -S")	2016-08-06 13:32:29 +02:00
Clifford Wolf	90c17aad56	preserve wire attributes in iopadmap	2016-08-06 13:24:59 +02:00
Clifford Wolf	5d6765a9d2	Added "insbuf" command	2016-08-02 10:37:19 +02:00
Clifford Wolf	8537c4d206	Renamed AbstractCellEdgesDatabase::add_cell() to add_edges_from_cell()	2016-07-25 16:39:25 +02:00
Clifford Wolf	b1c432af56	Improvements in CellEdgesDatabase	2016-07-24 17:21:53 +02:00
Clifford Wolf	f162b858f2	Added CellEdgesDatabase API	2016-07-24 13:59:57 +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	d7763634b6	After reading the SV spec, using non-standard predict() instead of expect()	2016-07-21 13:34:33 +02:00
Clifford Wolf	721f1f5ecf	Added basic support for $expect cells	2016-07-13 16:56:17 +02:00
Clifford Wolf	e92998a79c	Minor bugfix in FSM reset state detection	2016-07-12 09:46:15 +02:00