220 commits

Author	SHA1	Message	Date
Clifford Wolf	35edac0b31	Added ModWalker helper class	2014-07-19 15:33:00 +02:00
Clifford Wolf	1c288adcc0	Some "const" cleanups in SigMap	2014-07-19 15:32:39 +02:00
Clifford Wolf	a721f7d768	Added automatic conversion from RTLIL::SigSpec to std::vector<RTLIL::SigBit>	2014-07-18 11:36:34 +02:00
Clifford Wolf	2d69c309f9	Added function-like cell creation helpers	2014-07-18 10:27:06 +02:00
Clifford Wolf	a8cedb2257	Added log_id() helper function	2014-07-18 10:26:01 +02:00
Clifford Wolf	274c514879	Fixed RTLIL::SigSpec::append_bit() for appending constants	2014-07-17 12:10:57 +02:00
Clifford Wolf	73e0e13d2f	Changed the $mem/$memwr WR_EN input to a per-data-bit enable signal	2014-07-16 11:38:02 +02:00
Clifford Wolf	847e2ee4a1	Use "verilog -sv" to parse .sv files	2014-07-11 13:10:51 +02:00
Clifford Wolf	e275e8eef9	Add support for cell arrays	2014-06-07 11:48:50 +02:00
Clifford Wolf	f9c1cd5edb	Improved error message for options after front-end filename arguments	2014-06-04 09:10:50 +02:00
Clifford Wolf	a5a519a9d1	workaround for OpenBSD 'stdout' implementation	2014-05-03 12:55:56 +02:00
Clifford Wolf	75a5d6bd1e	workaround for OpenBSD 'stdin' implementation	2014-05-02 13:22:26 +02:00
Clifford Wolf	d4a1b0af5b	Added support for dlatchsr cells	2014-03-31 14:14:40 +02:00
Clifford Wolf	e164edc8d1	Fixed typo in RTLIL::Module::addAdff()	2014-03-17 14:41:41 +01:00
Clifford Wolf	ef1795a1e8	Fixed typo in RTLIL::Module::{addSshl,addSshr}	2014-03-15 22:52:10 +01:00
Clifford Wolf	b7c71d92f6	Added RTLIL::Module::add{Dff,Dffsr,Adff,Dlatch}Gate() API	2014-03-15 14:35:29 +01:00
Clifford Wolf	5da9558fa8	Added log_dump() support for generic pointers	2014-03-14 16:39:50 +01:00
Clifford Wolf	0ac915a757	Progress in Verific bindings	2014-03-14 11:46:13 +01:00
Clifford Wolf	77e5968323	Added RTLIL::Module::Add{Inv,And,Or,Xor,Mux}Gate API	2014-03-14 11:45:44 +01:00
Clifford Wolf	542afc562f	Hotfix for kernel/compatibility.h	2014-03-13 12:55:15 +01:00
Clifford Wolf	fad8558eb5	Merged OSX fixes from Siesh1oo with some modifications	2014-03-13 12:48:10 +01:00
Siesh1oo	8127d5e8c3	- kernel/register.h, kernel/driver.cc: refactor rewrite_yosys_exe()/get_share_file_name() to portable proc_self_dirname()/proc_share_dirname(). ... This refactoring improves robustness and allows OSX support with only 7 new lines of code, and easy extension for other systems. - passes/abc/abc.cc, passes/cmds/show.cc, passes/techmap/techmap.cc: use new, refactored semantics.	2014-03-12 23:17:14 +01:00
Clifford Wolf	94c1307c26	Added libs/minisat (copy of minisat git master)	2014-03-12 10:17:51 +01:00
Clifford Wolf	91704a7853	Merged a few fixes for non-posix systems from github.com/Siesh1oo/yosys ... (see https://github.com/cliffordwolf/yosys/pull/28)	2014-03-11 14:24:24 +01:00
Clifford Wolf	78c64a6401	Fixed a typo in RTLIL::Module::addReduce...	2014-03-10 12:07:26 +01:00
Clifford Wolf	fdef064b1d	Added RTLIL::Module::add... helper methods	2014-03-10 03:02:27 +01:00
Clifford Wolf	97710ffad5	Fixed use of frozen literals in SatGen	2014-03-06 13:08:44 +01:00
Clifford Wolf	a1bfde8c5e	Strictly zero-extend unsigned A-inputs of shift operations	2014-03-06 11:53:37 +01:00
Clifford Wolf	9e99984336	Fixed const folding of $bu0 cells	2014-02-27 04:09:32 +01:00
Clifford Wolf	aaaa604853	Added support for $bu0 to SatGen	2014-02-26 21:31:34 +01:00
Clifford Wolf	dab1612f81	Added support for Minisat::SimpSolver + ezSAT frezze() API	2014-02-23 01:35:59 +01:00
Clifford Wolf	b76528d8a5	Fixed small memory leak in Pass::call()	2014-02-23 01:28:29 +01:00
Clifford Wolf	483c99fe46	Added "design -push" and "design -pop"	2014-02-20 23:28:59 +01:00
Clifford Wolf	8f9c707a4c	Improved checking of internal cell conventions	2014-02-08 19:13:49 +01:00
Clifford Wolf	d85a6bf5d3	Added $slice and $concat to CellTypes list	2014-02-07 19:50:44 +01:00
Clifford Wolf	fc3b3c4ec3	Added $slice and $concat cell types	2014-02-07 17:44:57 +01:00
Clifford Wolf	a1ac710ab8	Stronger checking of internal cells	2014-02-07 17:39:35 +01:00
Clifford Wolf	a51a3fa2d2	Added echo command	2014-02-07 14:17:00 +01:00
Clifford Wolf	fa295a4528	Added generic RTLIL::SigSpec::parse_sel() with support for selection variables	2014-02-06 19:22:46 +01:00
Clifford Wolf	1c6dea3a0d	Added support for #-comments in same line as command	2014-02-06 14:26:39 +01:00
Clifford Wolf	19029f377b	Added support for backslash continuation in script files	2014-02-06 01:28:33 +01:00
Clifford Wolf	d267bcde4e	Fixed bug in sequential sat proofs and improved handling of asserts	2014-02-04 12:46:16 +01:00
Clifford Wolf	a6750b3753	Added TRANSPARENT parameter to $memrd (and RD_TRANSPARENT to $mem)	2014-02-03 13:01:45 +01:00
Clifford Wolf	f9c4d33909	Added RTLIL::SigSpec::to_single_sigbit()	2014-02-02 21:35:26 +01:00
Clifford Wolf	672229eda5	Added yosys -H for command list	2014-01-30 12:32:59 +01:00
Clifford Wolf	96084e9864	Added -h command line option	2014-01-29 11:10:39 +01:00
Clifford Wolf	c36bac0e10	Added $assert support to satgen	2014-01-19 15:37:56 +01:00
Clifford Wolf	1e67099b77	Added $assert cell	2014-01-19 14:03:40 +01:00
Clifford Wolf	548d5aafa4	Some improvements in log_dump_val_worker() templates	2014-01-17 23:14:17 +01:00
Clifford Wolf	651ce67d97	Added select -assert-none and -assert-any	2014-01-17 16:34:50 +01:00