Clifford Wolf [Fri, 27 Dec 2013 14:15:20 +0000 (15:15 +0100)]
Small cleanup in SatGen
Clifford Wolf [Fri, 27 Dec 2013 14:10:07 +0000 (15:10 +0100)]
More $eq/$ne/$eqx/$nex fixes in opt_const
Clifford Wolf [Fri, 27 Dec 2013 14:05:52 +0000 (15:05 +0100)]
Fixed parsing of macros with no arguments and expansion text starting with "("
Clifford Wolf [Fri, 27 Dec 2013 13:32:42 +0000 (14:32 +0100)]
Fixed sat handling of $eqx and $nex cells
Clifford Wolf [Fri, 27 Dec 2013 13:21:24 +0000 (14:21 +0100)]
Fixed/improved opt_const $eq/$ne/$eqx/$nex handling
Clifford Wolf [Fri, 27 Dec 2013 13:20:15 +0000 (14:20 +0100)]
Added support for non-const === and !== (for miter circuits)
Clifford Wolf [Fri, 27 Dec 2013 12:50:08 +0000 (13:50 +0100)]
Added proper === and !== support in constant expressions
Clifford Wolf [Fri, 27 Dec 2013 12:27:21 +0000 (13:27 +0100)]
Added sat -set-def/-set-*-undef support
Clifford Wolf [Fri, 27 Dec 2013 12:02:46 +0000 (13:02 +0100)]
Renamed sat -set-undef to -set-any-undef
Clifford Wolf [Sat, 21 Dec 2013 19:47:22 +0000 (20:47 +0100)]
Fixed dfflibmap for unused output ports
Clifford Wolf [Sat, 21 Dec 2013 07:42:37 +0000 (08:42 +0100)]
Now prefer smallest cells in dfflibmap
Clifford Wolf [Fri, 20 Dec 2013 13:21:18 +0000 (14:21 +0100)]
Cleanup of dfflibmap cellmap exploration code
Clifford Wolf [Fri, 20 Dec 2013 11:34:34 +0000 (12:34 +0100)]
Further improved dfflibmap cellmap exploration
Clifford Wolf [Fri, 20 Dec 2013 11:13:51 +0000 (12:13 +0100)]
Fixed dfflibmap endless-loop bug
Clifford Wolf [Fri, 20 Dec 2013 11:11:58 +0000 (12:11 +0100)]
Added log_dump() API
Clifford Wolf [Thu, 19 Dec 2013 12:21:57 +0000 (13:21 +0100)]
Prefer non-inverted clocks in dfflibmap
Clifford Wolf [Wed, 18 Dec 2013 12:43:53 +0000 (13:43 +0100)]
Added multiplier test case from eda playground
Clifford Wolf [Wed, 18 Dec 2013 12:41:36 +0000 (13:41 +0100)]
Added elsif preproc support
Clifford Wolf [Wed, 18 Dec 2013 12:21:02 +0000 (13:21 +0100)]
Added support for macro arguments
Clifford Wolf [Sun, 8 Dec 2013 14:42:27 +0000 (15:42 +0100)]
Fixes and other changes in README
Clifford Wolf [Sun, 8 Dec 2013 14:12:32 +0000 (15:12 +0100)]
Finished AppNote 011
Clifford Wolf [Sun, 8 Dec 2013 14:08:51 +0000 (15:08 +0100)]
Progress on AppNote 011
Clifford Wolf [Sat, 7 Dec 2013 22:58:55 +0000 (23:58 +0100)]
Added sat -max_undef feature
Clifford Wolf [Sat, 7 Dec 2013 17:03:49 +0000 (18:03 +0100)]
Progress on AppNote 011
Clifford Wolf [Sat, 7 Dec 2013 16:28:51 +0000 (17:28 +0100)]
Added "sat" undef support and "sat -set-init" options
Clifford Wolf [Sat, 7 Dec 2013 15:56:34 +0000 (16:56 +0100)]
Fixed uninitialized const flags bug
Clifford Wolf [Sat, 7 Dec 2013 15:19:24 +0000 (16:19 +0100)]
Fixed compiler warining in passes/sat/eval.cc
Clifford Wolf [Sat, 7 Dec 2013 14:11:50 +0000 (15:11 +0100)]
Progress on AppNote 011
Clifford Wolf [Sat, 7 Dec 2013 10:58:55 +0000 (11:58 +0100)]
Progress on AppNote 011
Clifford Wolf [Sat, 7 Dec 2013 10:58:22 +0000 (11:58 +0100)]
Added eval -set-undef and eval -table
Clifford Wolf [Sat, 7 Dec 2013 10:57:29 +0000 (11:57 +0100)]
Fixes and improvements in RTLIL::SigSpec::parse
Clifford Wolf [Fri, 6 Dec 2013 11:53:20 +0000 (12:53 +0100)]
Fixes in fsm detect/extract for better detection of non-fsm circuits
Clifford Wolf [Thu, 5 Dec 2013 17:15:14 +0000 (18:15 +0100)]
Fixed bug in example prog in appnote 011
Clifford Wolf [Thu, 5 Dec 2013 12:26:17 +0000 (13:26 +0100)]
Keep strings as strings in const ternary and concat
Clifford Wolf [Thu, 5 Dec 2013 12:09:41 +0000 (13:09 +0100)]
Added const folding support for $signed and $unsigned
Clifford Wolf [Thu, 5 Dec 2013 11:53:49 +0000 (12:53 +0100)]
Added AstNode::mkconst_str API
Clifford Wolf [Wed, 4 Dec 2013 20:33:00 +0000 (21:33 +0100)]
Fixed generate-for (and disabled double warning for auto-wire)
Clifford Wolf [Wed, 4 Dec 2013 20:19:54 +0000 (21:19 +0100)]
Added support for $clog2 system function
Clifford Wolf [Wed, 4 Dec 2013 20:06:54 +0000 (21:06 +0100)]
Various improvements in support for generate statements
Clifford Wolf [Wed, 4 Dec 2013 13:24:44 +0000 (14:24 +0100)]
Replaced signed_parameters API with CONST_FLAG_SIGNED
Clifford Wolf [Wed, 4 Dec 2013 13:14:05 +0000 (14:14 +0100)]
Replaced RTLIL::Const::str with generic decoder method
Clifford Wolf [Wed, 4 Dec 2013 08:24:52 +0000 (09:24 +0100)]
Fix in sincos testbench gen
Clifford Wolf [Wed, 4 Dec 2013 08:10:41 +0000 (09:10 +0100)]
Added sincos test case
Clifford Wolf [Wed, 4 Dec 2013 08:10:16 +0000 (09:10 +0100)]
Added support for local regs in named blocks
Clifford Wolf [Wed, 4 Dec 2013 08:09:42 +0000 (09:09 +0100)]
Fixed gentb_constant handling in autotest backend
Clifford Wolf [Wed, 4 Dec 2013 07:31:52 +0000 (08:31 +0100)]
More ABC releated Makefile changes
Clifford Wolf [Tue, 3 Dec 2013 15:50:14 +0000 (16:50 +0100)]
Minor improvements in ABc build
Clifford Wolf [Mon, 2 Dec 2013 11:54:21 +0000 (12:54 +0100)]
Progress on AppNote 011
Clifford Wolf [Mon, 2 Dec 2013 11:53:55 +0000 (12:53 +0100)]
Fixed submod for non-primitive cells
Clifford Wolf [Mon, 2 Dec 2013 11:18:07 +0000 (12:18 +0100)]
Fixed submod for non-cleaned designs
Clifford Wolf [Mon, 2 Dec 2013 11:17:04 +0000 (12:17 +0100)]
Added Pass:call_newsel API
Clifford Wolf [Mon, 2 Dec 2013 10:29:39 +0000 (11:29 +0100)]
Added "history" command
Clifford Wolf [Sun, 1 Dec 2013 13:08:18 +0000 (14:08 +0100)]
A fix in memory_dff for write ports with static addresses
Clifford Wolf [Sun, 1 Dec 2013 13:07:44 +0000 (14:07 +0100)]
Progress on AppNote 011
Clifford Wolf [Fri, 29 Nov 2013 15:42:49 +0000 (16:42 +0100)]
Progress on AppNote 011
Clifford Wolf [Fri, 29 Nov 2013 11:51:16 +0000 (12:51 +0100)]
Progress on AppNote 011
Clifford Wolf [Fri, 29 Nov 2013 10:55:18 +0000 (11:55 +0100)]
Using RTLIL::id2cstr for prompt printing
Clifford Wolf [Fri, 29 Nov 2013 09:33:36 +0000 (10:33 +0100)]
Added dump -m and -n options
Clifford Wolf [Thu, 28 Nov 2013 22:09:03 +0000 (23:09 +0100)]
Progress on AppNote 011
Clifford Wolf [Thu, 28 Nov 2013 21:04:45 +0000 (13:04 -0800)]
Merge pull request #17 from mschmoelzer/master
Include unistd.h in svgview.cpp (required for getcwd() function)
Clifford Wolf [Thu, 28 Nov 2013 20:47:08 +0000 (21:47 +0100)]
Fixed temp net name generation in rtlil process generator for abbreviated name matching
Clifford Wolf [Thu, 28 Nov 2013 20:34:41 +0000 (21:34 +0100)]
Added pattern support to "ls" command
Clifford Wolf [Thu, 28 Nov 2013 20:13:16 +0000 (21:13 +0100)]
Improved ID matching scheme in select (and thus for all commands)
Clifford Wolf [Thu, 28 Nov 2013 20:02:19 +0000 (21:02 +0100)]
Fixes and improvements in "show" command
Martin Schmölzer [Thu, 28 Nov 2013 17:38:40 +0000 (18:38 +0100)]
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>
Clifford Wolf [Thu, 28 Nov 2013 16:39:16 +0000 (17:39 +0100)]
More progress on AppNote 011
Clifford Wolf [Thu, 28 Nov 2013 16:37:50 +0000 (17:37 +0100)]
Added "src" attribute to processes
Clifford Wolf [Thu, 28 Nov 2013 12:48:38 +0000 (13:48 +0100)]
Started writing appnote 011
Clifford Wolf [Thu, 28 Nov 2013 12:35:28 +0000 (13:35 +0100)]
Added support for "show -pause" and "show -format dot"
Clifford Wolf [Thu, 28 Nov 2013 10:57:25 +0000 (11:57 +0100)]
Added QGraphicsWebView to yosys-svgviewer
Clifford Wolf [Wed, 27 Nov 2013 23:43:17 +0000 (00:43 +0100)]
Updated ABC to
9241719523f6
Clifford Wolf [Wed, 27 Nov 2013 19:43:42 +0000 (20:43 +0100)]
Added some svgviewer code for possible future switch to QGraphicsWebView
Clifford Wolf [Wed, 27 Nov 2013 08:08:42 +0000 (09:08 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 27 Nov 2013 08:08:35 +0000 (09:08 +0100)]
Tighter integration of ABC build
Clifford Wolf [Wed, 27 Nov 2013 05:29:13 +0000 (06:29 +0100)]
Set version number to 0.1.0+
Clifford Wolf [Mon, 25 Nov 2013 20:40:00 +0000 (21:40 +0100)]
Started implementing undef support in "sat" command
Clifford Wolf [Mon, 25 Nov 2013 20:08:34 +0000 (21:08 +0100)]
Bugfixes in new "stat" command
Clifford Wolf [Mon, 25 Nov 2013 19:43:57 +0000 (20:43 +0100)]
Added "stat" command
Clifford Wolf [Mon, 25 Nov 2013 15:50:45 +0000 (16:50 +0100)]
Improvements in satgen undef handling
Clifford Wolf [Mon, 25 Nov 2013 14:12:01 +0000 (15:12 +0100)]
Improvements in satgen undef handling
Clifford Wolf [Mon, 25 Nov 2013 14:10:32 +0000 (15:10 +0100)]
Added ezsat vec_const() api
Clifford Wolf [Mon, 25 Nov 2013 03:51:33 +0000 (04:51 +0100)]
Started implementing undef handling in satgen
Clifford Wolf [Mon, 25 Nov 2013 01:50:34 +0000 (02:50 +0100)]
Removed undef feature from ezsat api
Clifford Wolf [Sun, 24 Nov 2013 22:31:14 +0000 (23:31 +0100)]
Using simplemap mappers from techmap
Clifford Wolf [Sun, 24 Nov 2013 21:52:30 +0000 (22:52 +0100)]
Added simplemap pass
Clifford Wolf [Sun, 24 Nov 2013 19:44:00 +0000 (20:44 +0100)]
Renamed stdcells_sim.v to simcells.v and fixed blackbox.v
Clifford Wolf [Sun, 24 Nov 2013 19:29:07 +0000 (20:29 +0100)]
Added module->avail_parameters (for advanced techmap features)
Clifford Wolf [Sun, 24 Nov 2013 19:04:48 +0000 (20:04 +0100)]
Added techmap -D and -I options
Clifford Wolf [Sun, 24 Nov 2013 18:57:42 +0000 (19:57 +0100)]
Added verilog frontend -ignore_redef option
Clifford Wolf [Sun, 24 Nov 2013 18:50:25 +0000 (19:50 +0100)]
Added "techmap -share_map" option
Clifford Wolf [Sun, 24 Nov 2013 18:40:23 +0000 (19:40 +0100)]
Early wire/reg/parameter width calculation in ast/simplify
Clifford Wolf [Sun, 24 Nov 2013 16:58:05 +0000 (17:58 +0100)]
Updated TODOs
Clifford Wolf [Sun, 24 Nov 2013 16:55:46 +0000 (17:55 +0100)]
Fixed xilinx/example_sim_counter test bench
Clifford Wolf [Sun, 24 Nov 2013 16:47:22 +0000 (17:47 +0100)]
Added proper dumping of signed/unsigned parameters to verilog backend
Clifford Wolf [Sun, 24 Nov 2013 16:37:27 +0000 (17:37 +0100)]
Added support for signed parameters in ilang
Clifford Wolf [Sun, 24 Nov 2013 16:30:04 +0000 (17:30 +0100)]
Removed now obsolete test cases
Clifford Wolf [Sun, 24 Nov 2013 16:29:11 +0000 (17:29 +0100)]
Remove auto_wire framework (smarter than the verilog standard)
Clifford Wolf [Sun, 24 Nov 2013 16:17:21 +0000 (17:17 +0100)]
Implemented correct handling of signed module parameters
Clifford Wolf [Sun, 24 Nov 2013 14:10:43 +0000 (15:10 +0100)]
Added modelsim support to autotest
Clifford Wolf [Sun, 24 Nov 2013 13:10:46 +0000 (14:10 +0100)]
Fixed "flatten" top-module detection: Only use on fully selected designs