237 commits

Author	SHA1	Message	Date
Clifford Wolf	f3983a0940	Also escape "=" in spice output	2016-05-20 16:43:13 +02:00
Clifford Wolf	d10dfccabb	Added "write_blif -noalias"	2016-05-06 15:05:53 +02:00
Clifford Wolf	60ac1bd178	Added support for "active high" and "active low" latches in BLIF back-end	2016-04-22 18:00:46 +02:00
Clifford Wolf	0bc95f1e04	Added "yosys -D" feature	2016-04-21 23:28:37 +02:00
Clifford Wolf	3920bf58d0	Fixed some typos	2016-04-05 08:18:21 +02:00
Clifford Wolf	1d0f0d668a	Renamed opt_const to opt_expr	2016-03-31 08:46:56 +02:00
Clifford Wolf	2a8d5e64f5	Bugfix in write_verilog for RTLIL processes	2016-03-14 13:03:28 +01:00
Clifford Wolf	d117893007	Added "write_edif -nogndvcc"	2016-03-08 21:30:45 +01:00
Clifford Wolf	5547fae4cf	Be more conservative with net names in spice output	2016-03-02 12:02:59 +01:00
Sebastian Kuzminsky	7e6426a67d	user-facing spelling fixes ... "speciefied" -> "specified" "unkown" -> "unknown"	2016-02-28 15:14:01 -07:00
Clifford Wolf	0d7fd2585e	Added "int ceil_log2(int)" function	2016-02-13 16:52:16 +01:00
Clifford Wolf	4393a8ffbf	Added "write_blif -cname" mode	2016-01-06 14:32:28 +01:00
Clifford Wolf	47fac573cf	Added yosys-smtbmc -S	2015-12-20 09:58:54 +01:00
Clifford Wolf	207736b4ee	Import more std:: stuff into Yosys namespace	2015-10-25 19:30:49 +01:00
Clifford Wolf	7f110e7018	renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()	2015-10-24 22:56:40 +02:00
Clifford Wolf	255bb914ba	Progress in yosys-smtbmc	2015-10-15 15:54:59 +02:00
Clifford Wolf	302166dd59	Improvements in yosys-smtbmc	2015-10-15 15:10:33 +02:00
Clifford Wolf	5dd3e93e8f	More "yosys-smtbmc -c" fixes	2015-10-14 23:23:25 +02:00
Clifford Wolf	9fd0f87059	Fixed yosys-smtbmc -c	2015-10-14 23:00:46 +02:00
Clifford Wolf	3c31572152	Added yosys-smtbmc copyright	2015-10-14 01:31:54 +02:00
Clifford Wolf	d7de0f4bd1	Improvements in yosys-smtbmc	2015-10-14 01:27:55 +02:00
Clifford Wolf	821f1b8534	Added yosys-smtbmc	2015-10-14 00:47:04 +02:00
Clifford Wolf	7bcd2a4bb3	Implemented smtbmc.py -i	2015-10-14 00:18:38 +02:00
Clifford Wolf	29160525aa	Added smtbmc.py	2015-10-13 17:17:23 +02:00
Clifford Wolf	3a22b31bda	Added write_smt2 -wires	2015-10-13 17:17:12 +02:00
Clifford Wolf	4ac202e2a5	Bugfixes in writing of memories as Verilog	2015-09-25 13:49:26 +02:00
Clifford Wolf	09b51cb375	Added "yosys-smt2-wire" tag support to smt2 back-end	2015-08-31 02:05:58 +02:00
Clifford Wolf	b659ffb457	Fixed generation of smt2 concat statements	2015-08-15 11:45:44 +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	698357dd9a	Added "write_smt2 -regs"	2015-08-12 17:13:54 +02:00
Clifford Wolf	f81bf9bdea	Added SMV back-end 'test_cells.sh' script	2015-08-12 12:56:20 +02:00
Clifford Wolf	883e09d8ed	Use MEMID as name for $mem cell	2015-08-09 13:35:44 +02:00
Clifford Wolf	6834461f65	Remove some very strange whitespace in btor.cc (by Larry Doolittle)	2015-08-05 22:11:26 +02:00
Clifford Wolf	5dc23975eb	Bugfix in SMV back-end for partially unassigned wires	2015-08-05 11:36:26 +02:00
Clifford Wolf	c7fd3fbb68	Added $assert support to SMV back-end	2015-08-04 20:05:37 +02:00
Clifford Wolf	eac0bcd7d3	Improvements in BLIF back-end	2015-07-29 17:06:19 +02:00
Clifford Wolf	6c84341f22	Fixed trailing whitespaces	2015-07-02 11:14:30 +02:00
Clifford Wolf	3123c45415	Added init support to SMV back-end	2015-06-19 16:43:02 +02:00
Clifford Wolf	6c6bf4999e	Progress in SMV back-end	2015-06-19 16:26:53 +02:00
Clifford Wolf	8c79765de5	Progress in SMV back-end	2015-06-19 14:08:46 +02:00
Clifford Wolf	8a86162ae9	Progress in SMV back-end	2015-06-18 16:29:11 +02:00
Clifford Wolf	8e84418225	Progress in SMV back-end	2015-06-17 09:56:42 +02:00
Clifford Wolf	9f7a5b4ef9	Progress in SMV back-end	2015-06-17 07:24:27 +02:00
Clifford Wolf	b8c5e27006	Progress in SMV back-end	2015-06-16 19:05:26 +02:00
Clifford Wolf	52315039c5	Progress in SMV back-end	2015-06-15 17:01:01 +02:00
Clifford Wolf	0f01ef61ef	Progress in SMV back-end	2015-06-15 13:24:17 +02:00
Clifford Wolf	ea23bb8aa4	Added "write_smv" skeleton	2015-06-15 00:46:27 +02:00
Clifford Wolf	93685a77c6	Removed debug code from write_smt2	2015-06-14 16:22:06 +02:00