1075 commits

Author	SHA1	Message	Date
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
Clifford Wolf	b5a9fba0db	Further improved fsm_detect output, attempt to detect self-resetting circuits	2016-07-09 14:02:49 +02:00
Clifford Wolf	d63ffabacb	Added printing of some warning messages to fsm_detect	2016-07-09 13:23:06 +02:00
Clifford Wolf	6ed6b3cb6d	Replaced "select -assert-limit" with -assert-max and -assert-min	2016-07-01 12:24:13 +02:00
eshellko	9a742f4069	Added 'assert-limit' option for 'select' command ... For resource limited designs such as FPGA it can be useful to specify limit of specific resources available on board. So user can check if he should change RTL as early as mapping done.	2016-07-01 10:24:22 +04:00
Clifford Wolf	541083cf32	Bugfix in "abc -script" handling	2016-06-19 22:19:19 +02:00
Clifford Wolf	ca91bccb6b	Added "deminout"	2016-06-19 13:08:16 +02:00
Clifford Wolf	3380281e15	Added "dc2" to default ABC scripts	2016-06-17 20:15:35 +02:00
Clifford Wolf	f498204ae4	Added "abc -I <num> -P <num>"	2016-06-17 19:39:35 +02:00
Clifford Wolf	95757efb25	Improved support for $sop cells	2016-06-17 16:31:16 +02:00
Clifford Wolf	52bb1b968d	Added $sop cell type and "abc -sop"	2016-06-17 13:50:09 +02:00
Clifford Wolf	c3365034e9	Updated ABC to hg rev b5df6e2b76f0	2016-06-17 11:16:31 +02:00
Clifford Wolf	99edf24966	Added "nlutmap -assert"	2016-06-09 11:47:41 +02:00
Clifford Wolf	2032e6d8e4	Added "proc_mux -ifx"	2016-06-06 17:15:50 +02:00
Clifford Wolf	dcf576641b	Added "setundef -init"	2016-06-03 11:38:31 +02:00
Clifford Wolf	d2695e2bfa	Fix all undef-muxes in dlatch input cone	2016-06-02 14:37:07 +02:00
Clifford Wolf	adfc80727c	Avoid creating undef-muxes when inferring latches in proc_dlatch	2016-06-01 13:25:06 +02:00
Clifford Wolf	11f7b8a2a1	Added opt_expr support for div/mod by power-of-two	2016-05-29 12:17:36 +02:00
Clifford Wolf	611f121cb9	Fixed "scc" for cells that have feedback singals _and_ are part of a larger loop	2016-05-27 16:33:13 +02:00