3839 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Clifford Wolf	68233baa1f	Various fixes and improvements in write_smt2	2014-12-25 17:52:31 +01:00
Clifford Wolf	7dece74fae	Added "test_cell -w" feature	2014-12-25 17:04:13 +01:00
Clifford Wolf	170788a3de	Fixed simplemap for $ne cells with output width > 1	2014-12-25 16:41:20 +01:00
Clifford Wolf	95f17dbab0	Added support for most BV cell types to write_smt2	2014-12-25 15:37:02 +01:00
Clifford Wolf	1c3d51375f	Added "write_smt2 -bv" and other write_smt2 improvements	2014-12-25 13:30:20 +01:00
Clifford Wolf	b6a7e21d2e	Fixed off-by-one bug in "hierarchy -check" for positional module args	2014-12-24 16:26:18 +01:00
Clifford Wolf	e548483c91	Added write_smt2 (only gate level logic supported so far)	2014-12-24 16:17:57 +01:00
Clifford Wolf	aad195b88c	Added "dfflibmap -prepare" help	2014-12-24 12:56:05 +01:00
Clifford Wolf	35f5aa300f	Added "dfflibmap -prepare"	2014-12-24 12:19:20 +01:00
Clifford Wolf	032ce573a3	Added "dff2dffe -direct" for direct gate mapping	2014-12-24 11:39:15 +01:00
Clifford Wolf	8c1a72c2a4	Added "dff2dffe -unmap"	2014-12-24 11:09:01 +01:00
Clifford Wolf	afcacd6437	Added support for gate-level cells in dff2dffe	2014-12-24 10:49:54 +01:00
Clifford Wolf	4aa9fbbf3f	Improvements in simplemap api, added $ne $nex $eq $eqx support	2014-12-24 10:49:24 +01:00
Clifford Wolf	edb3c9d0c4	Renamed extend() to extend_xx(), changed most users to extend_u0()	2014-12-24 09:51:17 +01:00
Clifford Wolf	48ca1ff9ef	Improved ABC clock domain partitioning	2014-12-23 14:08:38 +01:00
Clifford Wolf	5fe02b7965	Indenting fix in show.cc	2014-12-23 13:49:54 +01:00
Clifford Wolf	4f5b97954e	Added "show -colorattr"	2014-12-23 12:29:29 +01:00
Clifford Wolf	a216df0433	Added "abc -markgroups"	2014-12-23 12:29:02 +01:00
Clifford Wolf	76fa527492	Added support for multiple clock domains to "abc" pass	2014-12-21 16:52:05 +01:00
Clifford Wolf	25844b5683	Fixed "abc" pass for clk and enable signals driven by logic	2014-12-21 11:13:25 +01:00
Clifford Wolf	f7b323196f	Added DFFE support to "abc" pass	2014-12-20 00:44:03 +01:00
Clifford Wolf	5df192e71c	Added $dffe support to write_verilog	2014-12-20 00:03:20 +01:00
Clifford Wolf	bacd3699b3	Checking existence of ports in "hierarchy -check"	2014-12-19 18:47:19 +01:00
Clifford Wolf	30de490d86	Fixed another bug in write_blif handling of $lut cells	2014-12-19 17:54:44 +01:00
Clifford Wolf	36f0451ab4	Merge branch 'master' of github.com:cliffordwolf/yosys	2014-12-17 11:16:39 +01:00
Clifford Wolf	b95051fb70	Fixed writing of $lut cells in BLIF backend	2014-12-17 11:13:57 +01:00
Clifford Wolf	6cec188c52	Fixed build with gcc 4.6	2014-12-16 10:38:25 +01:00
Clifford Wolf	e01254d824	Added "write_blif -undef" and support for special "-" true/false/undef type	2014-12-14 18:00:38 +01:00
Clifford Wolf	59d11978fc	Added "write_blif -blackbox" ... based on code by Eddie Hung from 1e481661cb	2014-12-14 17:45:03 +01:00
Clifford Wolf	32dce4a870	Added "blif -unbuf" feature	2014-12-14 17:37:46 +01:00
Clifford Wolf	f7cf60b45c	Removed psmisc from deps list (usually fuser is already installed and the package name for it varies)	2014-12-14 17:24:44 +01:00
Clifford Wolf	cf55371a22	Added psmisc to prerequisites	2014-12-12 12:49:46 +01:00
Clifford Wolf	72f500c950	Removed UTF-8 chars from techmap.v	2014-12-12 12:44:16 +01:00
Clifford Wolf	6c768c686f	Added missing prerequisites to README	2014-12-12 11:34:25 +01:00
Clifford Wolf	7775d2806f	Added IdString::destruct_guard hack	2014-12-11 21:46:36 +01:00
Clifford Wolf	df52eedb30	Compile fix for visual studio	2014-12-11 15:27:38 +01:00
Clifford Wolf	1282a113da	Fixed supply0/supply1 with many wires	2014-12-11 13:56:20 +01:00
Clifford Wolf	032511fac8	Added functionality to dff2dffe pass	2014-12-08 15:38:58 +01:00
Clifford Wolf	7d6e586df8	Added bool constructors to SigBit and SigSpec	2014-12-08 15:08:02 +01:00
Clifford Wolf	bca2442c67	Added module->addDffe() and module->addDffeGate()	2014-12-08 14:59:38 +01:00
Clifford Wolf	97487fee32	Added skeleton dff2dffe pass	2014-12-08 14:10:52 +01:00
Clifford Wolf	7b62bbeee8	Added more documentation fixmes for nontrivial register cells	2014-12-08 10:56:43 +01:00
Clifford Wolf	f1764b4fe9	Added $dffe cell type	2014-12-08 10:50:19 +01:00
Clifford Wolf	fad9cec47b	Added $_DFFE_??_ cell types	2014-12-08 10:43:38 +01:00
Clifford Wolf	2903143ae5	Merge branch 'master' of https://github.com/Martoni/yosys	2014-12-07 23:15:27 +01:00
Fabien Marteau	74d70bf9e9	manual/presentation.tex: bg option is unknown with beamer 3.3 in beamercolorbox	2014-12-07 19:04:06 +01:00
Clifford Wolf	78765e6a1c	Merge pull request #43 from Martoni/master ... suppressing semi-colon at the end of dot files	2014-12-06 12:46:37 +01:00
Fabien Marteau	e65033e421	suppressing semi-colon at the end of dot files	2014-12-05 18:17:00 +01:00
Clifford Wolf	abf81d7683	Added some missing .gitignore in manual/	2014-12-04 13:37:58 +01:00
Clifford Wolf	51cfcd8331	Fixed bug in "hierarchy -top" with array of instances	2014-11-27 12:47:33 +01:00