152 commits

Author	SHA1	Message	Date
Clifford Wolf	eb67a7532b	Add $allconst and $allseq cell types ... Signed-off-by: Clifford Wolf <clifford@clifford.at>	2018-02-23 13:14:47 +01:00
Clifford Wolf	05cdd58c8d	Add $_ANDNOT_ and $_ORNOT_ gates	2017-05-17 09:08:29 +02:00
Clifford Wolf	5f1d0b1024	Add $live and $fair cell types, add support for s_eventually keyword	2017-02-25 10:36:39 +01:00
Piotr Esden-Tempski	e3a12b57f5	Use -E sed parameter instead of -r. ... BSD sed equivalent to -r parameter is -E and it is also supported in GNU sed thus using -E results in support on both platforms.	2017-02-04 18:26:01 -08:00
Clifford Wolf	3928482a3c	Add $cover cell type and SVA cover() support	2017-02-04 14:14:26 +01:00
Clifford Wolf	4832faf5e9	Updated command reference in manual	2016-11-02 19:25:28 +01:00
Clifford Wolf	bdc316db50	Added $anyseq cell type	2016-10-14 15:24:03 +02:00
Clifford Wolf	8ebba8a35f	Added $ff and $_FF_ cell types	2016-10-12 01:18:39 +02:00
Clifford Wolf	6f41e5277d	Removed $aconst cell type	2016-08-30 19:09:56 +02:00
Clifford Wolf	eae390ae17	Removed $predict again	2016-08-28 21:35:33 +02:00
Clifford Wolf	4056312987	Added $anyconst and $aconst	2016-07-27 15:41:22 +02:00
Clifford Wolf	5c166e76e5	Added $initstate cell type and vlog function	2016-07-21 14:23:22 +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	d3f0d72427	Added warning about adding fsm_encoding attributes to wires to manual	2016-07-08 18:31:31 +02:00
Clifford Wolf	52bb1b968d	Added $sop cell type and "abc -sop"	2016-06-17 13:50:09 +02:00
Clifford Wolf	d05115ceda	Minor presentation fixes	2016-05-14 11:35:39 +02:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Wladimir J. van der Laan	71f9f40fa9	Fix a few typos in the manual	2016-04-03 14:29:11 +02:00
Clifford Wolf	ec93680bd5	Renamed opt_share to opt_merge	2016-03-31 08:52:49 +02:00
Clifford Wolf	1d0f0d668a	Renamed opt_const to opt_expr	2016-03-31 08:46:56 +02:00
Sebastian Kuzminsky	7e6426a67d	user-facing spelling fixes ... "speciefied" -> "specified" "unkown" -> "unknown"	2016-02-28 15:14:01 -07:00
Clifford Wolf	85fe6d176f	Updated command reference in manual	2016-02-14 11:02:11 +01:00
Micah Elizabeth Scott	93f6f68b65	Remove nonportable "-r" option from xargs ... On Linux, this avoids an empty "rm -f" call when there's nothing to clean. But it isn't portable, and it causes the build to fail on Mac OS. It doesn't seem to be harmful to remove this option entirely, and it's a step toward fixing the Mac build.	2015-12-15 10:13:06 -08:00
Clifford Wolf	924d9d6e86	Added read-enable to memory model	2015-09-25 12:23:11 +02:00
Larry Doolittle	6c00704a5e	Another block of spelling fixes ... Smaller this time	2015-08-14 23:27:05 +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	c699d7c614	More ASCII encoding fixes	2015-08-13 09:42:24 +02:00
Clifford Wolf	ad8efeb13f	Fixed CRLF line endings	2015-08-13 09:35:00 +02:00
Clifford Wolf	08ad5409a2	Some ASCII encoding fixes (comments and docs) by Larry Doolittle	2015-08-13 09:30:20 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	0737bf5fb8	appnote 012 fix	2015-04-04 15:13:35 +02:00
Clifford Wolf	1d5d1f79f9	Appnote 012	2015-04-04 14:52:25 +02:00
Ahmed Irfan	bdf6b2b19a	Merge branch 'master' of https://github.com/cliffordwolf/yosys	2015-04-03 16:38:07 +02:00
Ahmed Irfan	7ad179151b	appnote for verilog to btor	2015-04-03 16:20:29 +02:00
Clifford Wolf	611cd010ae	Added blif reference to appnote 010	2015-03-22 09:49:46 +01:00
Clifford Wolf	b005eedf36	Added $assume cell type	2015-02-26 18:04:10 +01:00
Clifford Wolf	a779a09771	Fixed creation of command reference in manual	2015-02-09 13:24:29 +01:00
Clifford Wolf	b944fef925	Updated command reference in manual	2015-02-09 12:05:02 +01:00
Clifford Wolf	85887de547	Various presentation fixes	2015-02-09 12:02:21 +01:00
Clifford Wolf	e13a45ae61	Added $equiv cell type	2015-01-19 11:55:05 +01:00
Clifford Wolf	539dd805f4	Improvements in CodingReadme	2014-12-31 14:28:27 +01:00
Clifford Wolf	7b62bbeee8	Added more documentation fixmes for nontrivial register cells	2014-12-08 10:56:43 +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
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	751fb33688	Some fixes in stubnets example	2014-11-24 12:55:30 +01:00
Clifford Wolf	12ffe0c438	Some fixes in presentation	2014-11-08 12:39:01 +01:00
Clifford Wolf	b9f2127f5d	Various documentation updates	2014-11-08 10:59:48 +01:00