614 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Ahmed Irfan	ffd768ce86	btor	2014-01-03 10:52:44 +01:00
Clifford Wolf	09bd82db21	Fixes and other changes in README	2013-12-08 15:42:27 +01:00
Clifford Wolf	6069715c9e	Finished AppNote 011	2013-12-08 15:12:32 +01:00
Clifford Wolf	0bd08688b8	Progress on AppNote 011	2013-12-08 15:08:51 +01:00
Clifford Wolf	2b90ba1e96	Added sat -max_undef feature	2013-12-07 23:58:55 +01:00
Clifford Wolf	1d000f9372	Progress on AppNote 011	2013-12-07 18:03:49 +01:00
Clifford Wolf	8a815ac741	Added "sat" undef support and "sat -set-init" options	2013-12-07 17:28:51 +01:00
Clifford Wolf	ccf083e5b0	Fixed uninitialized const flags bug	2013-12-07 16:56:34 +01:00
Clifford Wolf	5de57e9970	Fixed compiler warining in passes/sat/eval.cc	2013-12-07 16:19:24 +01:00
Clifford Wolf	97aa421ad8	Progress on AppNote 011	2013-12-07 15:11:50 +01:00
Clifford Wolf	cd0324decd	Progress on AppNote 011	2013-12-07 11:58:55 +01:00
Clifford Wolf	325b764341	Added eval -set-undef and eval -table	2013-12-07 11:58:22 +01:00
Clifford Wolf	5d83904746	Fixes and improvements in RTLIL::SigSpec::parse	2013-12-07 11:57:29 +01:00
Clifford Wolf	06d96e8fcf	Fixes in fsm detect/extract for better detection of non-fsm circuits	2013-12-06 12:53:20 +01:00
Clifford Wolf	8311492475	Fixed bug in example prog in appnote 011	2013-12-05 18:15:14 +01:00
Clifford Wolf	891e4b5b0d	Keep strings as strings in const ternary and concat	2013-12-05 13:26:17 +01:00
Clifford Wolf	e935bb6eda	Added const folding support for $signed and $unsigned	2013-12-05 13:09:41 +01:00
Clifford Wolf	5c39948ead	Added AstNode::mkconst_str API	2013-12-05 12:53:49 +01:00
Clifford Wolf	853538d78b	Fixed generate-for (and disabled double warning for auto-wire)	2013-12-04 21:33:00 +01:00
Clifford Wolf	3c220e0b32	Added support for $clog2 system function	2013-12-04 21:19:54 +01:00
Clifford Wolf	4a4a3fc337	Various improvements in support for generate statements	2013-12-04 21:06:54 +01:00
Clifford Wolf	f4b46ed31e	Replaced signed_parameters API with CONST_FLAG_SIGNED	2013-12-04 14:24:44 +01:00
Clifford Wolf	93a70959f3	Replaced RTLIL::Const::str with generic decoder method	2013-12-04 14:14:05 +01:00
Clifford Wolf	a2d053694b	Fix in sincos testbench gen	2013-12-04 09:24:52 +01:00
Clifford Wolf	d1517b7982	Added sincos test case	2013-12-04 09:10:41 +01:00
Clifford Wolf	507c63d112	Added support for local regs in named blocks	2013-12-04 09:10:16 +01:00
Clifford Wolf	b5afd75b0a	Fixed gentb_constant handling in autotest backend	2013-12-04 09:09:42 +01:00
Clifford Wolf	bb20aceeb3	More ABC releated Makefile changes	2013-12-04 08:31:52 +01:00
Clifford Wolf	637a12b7e3	Minor improvements in ABc build	2013-12-03 16:50:14 +01:00
Clifford Wolf	0f4055d4c6	Progress on AppNote 011	2013-12-02 12:54:21 +01:00
Clifford Wolf	6e227e3666	Fixed submod for non-primitive cells	2013-12-02 12:53:55 +01:00
Clifford Wolf	e881878341	Fixed submod for non-cleaned designs	2013-12-02 12:18:07 +01:00
Clifford Wolf	a66ca0472a	Added Pass:call_newsel API	2013-12-02 12:17:04 +01:00
Clifford Wolf	905eac04f1	Added "history" command	2013-12-02 11:29:39 +01:00
Clifford Wolf	97efc2ed5f	A fix in memory_dff for write ports with static addresses	2013-12-01 14:08:18 +01:00
Clifford Wolf	73e28f0e39	Progress on AppNote 011	2013-12-01 14:07:44 +01:00
Clifford Wolf	7295b25955	Progress on AppNote 011	2013-11-29 16:42:49 +01:00
Clifford Wolf	e23a0072ec	Progress on AppNote 011	2013-11-29 12:51:16 +01:00
Clifford Wolf	1b3a60976d	Using RTLIL::id2cstr for prompt printing	2013-11-29 11:55:18 +01:00
Clifford Wolf	ed441346ca	Added dump -m and -n options	2013-11-29 10:33:36 +01:00
Clifford Wolf	f89ecbc100	Progress on AppNote 011	2013-11-28 23:09:03 +01:00
Clifford Wolf	d90ef1e143	Merge pull request #17 from mschmoelzer/master ... Include unistd.h in svgview.cpp (required for getcwd() function)	2013-11-28 13:04:45 -08:00
Clifford Wolf	10aa08dca1	Fixed temp net name generation in rtlil process generator for abbreviated name matching	2013-11-28 21:47:08 +01:00
Clifford Wolf	c60aaf8fa3	Added pattern support to "ls" command	2013-11-28 21:34:41 +01:00
Clifford Wolf	293356e87c	Improved ID matching scheme in select (and thus for all commands)	2013-11-28 21:13:16 +01:00
Clifford Wolf	792bbad448	Fixes and improvements in "show" command	2013-11-28 21:02:19 +01:00
Martin Schmölzer	6ad868ae25	Include unistd.h in svgview.cpp (required for getcwd() function) ... This fixes compilation on Arch Linux, which otherwise fails. Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>	2013-11-28 18:43:33 +01:00
Clifford Wolf	9595eca181	More progress on AppNote 011	2013-11-28 17:39:16 +01:00
Clifford Wolf	0e52f3fa01	Added "src" attribute to processes	2013-11-28 17:37:50 +01:00
Clifford Wolf	6dfb66d262	Started writing appnote 011	2013-11-28 13:48:38 +01:00