Clifford Wolf [Thu, 7 Nov 2013 18:19:53 +0000 (19:19 +0100)]
Fixed more extend vs. extend_u0 issues
Clifford Wolf [Thu, 7 Nov 2013 17:18:16 +0000 (18:18 +0100)]
Disabled const folding of ternary op when select is undef
Clifford Wolf [Thu, 7 Nov 2013 17:17:10 +0000 (18:17 +0100)]
Renamed extend_un0() to extend_u0() and use it in genrtlil
Clifford Wolf [Thu, 7 Nov 2013 15:53:28 +0000 (16:53 +0100)]
Fixed type of sign extension in opt_const $eq/$ne handling
Clifford Wolf [Thu, 7 Nov 2013 13:53:10 +0000 (14:53 +0100)]
Fixed sign handling in constants
Clifford Wolf [Thu, 7 Nov 2013 13:08:53 +0000 (14:08 +0100)]
Fixed const folding in corner cases with parameters
Clifford Wolf [Thu, 7 Nov 2013 11:55:09 +0000 (12:55 +0100)]
Removed done or obsolete TODO items
Clifford Wolf [Thu, 7 Nov 2013 11:43:04 +0000 (12:43 +0100)]
Fixed width detection for replicate operator
Clifford Wolf [Thu, 7 Nov 2013 10:54:59 +0000 (11:54 +0100)]
Fixed $eq/$ne bitwise optimization in opt_const
Clifford Wolf [Thu, 7 Nov 2013 10:25:19 +0000 (11:25 +0100)]
Fixed at_zero evaluation of dynamic ranges
Clifford Wolf [Thu, 7 Nov 2013 08:58:15 +0000 (09:58 +0100)]
Various fixes for correct parameter support
Clifford Wolf [Thu, 7 Nov 2013 02:01:28 +0000 (03:01 +0100)]
Fixed the fix for propagation of width hints for $signed() and $unsigned()
Clifford Wolf [Wed, 6 Nov 2013 23:58:06 +0000 (00:58 +0100)]
Fixed techmap of $reduce_xnor with multi-bit outputs
Clifford Wolf [Wed, 6 Nov 2013 21:59:45 +0000 (22:59 +0100)]
Fixed techmap of $gt and $ge with multi-bit outputs
Clifford Wolf [Wed, 6 Nov 2013 21:42:07 +0000 (22:42 +0100)]
Added handling of unconnected/unspecified signals to eval -vloghammer_report
Clifford Wolf [Wed, 6 Nov 2013 21:41:21 +0000 (22:41 +0100)]
Fixed propagation of width hints for $signed() and $unsigned()
Clifford Wolf [Wed, 6 Nov 2013 21:21:58 +0000 (22:21 +0100)]
Improved undef handling in == and != for ConstEval
Clifford Wolf [Wed, 6 Nov 2013 20:16:54 +0000 (21:16 +0100)]
Additional fixes for undef propagation in concat and replicate ops
Clifford Wolf [Wed, 6 Nov 2013 19:50:53 +0000 (20:50 +0100)]
Improved width extension with regard to undef propagation
Clifford Wolf [Wed, 6 Nov 2013 17:45:31 +0000 (18:45 +0100)]
Fixed handling of undef values in POS cells in ConstEval
Clifford Wolf [Wed, 6 Nov 2013 13:12:44 +0000 (14:12 +0100)]
Fixed handling of undef values in MUX select input in ConstEval
Clifford Wolf [Wed, 6 Nov 2013 12:16:47 +0000 (13:16 +0100)]
Added correct RTL undef handling to eval vloghammer mode
Clifford Wolf [Wed, 6 Nov 2013 03:14:56 +0000 (04:14 +0100)]
Added eval -vloghammer_report mode
Clifford Wolf [Tue, 5 Nov 2013 14:52:29 +0000 (15:52 +0100)]
Added support for "keep" attributes on wires
Clifford Wolf [Tue, 5 Nov 2013 09:22:22 +0000 (10:22 +0100)]
Fixed sign handling in const eval of sshl and sshr
Clifford Wolf [Mon, 4 Nov 2013 20:30:57 +0000 (21:30 +0100)]
Makefile DESTDIR default (/usr/local) without quotes
Clifford Wolf [Mon, 4 Nov 2013 20:29:36 +0000 (21:29 +0100)]
Another fix for early width and sign detection in ast simplifier
Clifford Wolf [Mon, 4 Nov 2013 15:51:13 +0000 (16:51 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Mon, 4 Nov 2013 15:46:14 +0000 (16:46 +0100)]
Fixed const folding of ternary operator
Clifford Wolf [Mon, 4 Nov 2013 14:37:09 +0000 (15:37 +0100)]
Use proper bit width ans sign extension for const folding
Clifford Wolf [Mon, 4 Nov 2013 12:35:35 +0000 (04:35 -0800)]
Merge pull request #16 from mschmoelzer/master
Allow setting of installation destination via DESTDIR variable in Makefi...
Martin Schmölzer [Mon, 4 Nov 2013 10:15:15 +0000 (11:15 +0100)]
Allow setting of installation destination via DESTDIR variable in Makefile
This is useful when packaging yosys, as some Linux distributions do not
allow the package management system to install files in /usr/local [1][2].
[1] https://wiki.archlinux.org/index.php/Arch_Packaging_Standards
[2] http://fedoraproject.org/wiki/Packaging:Guidelines
Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
Clifford Wolf [Mon, 4 Nov 2013 07:34:15 +0000 (08:34 +0100)]
Improved comments on topological sort in edif backend
Clifford Wolf [Mon, 4 Nov 2013 07:28:13 +0000 (08:28 +0100)]
Fixes for early width and sign detection in ast simplifier
Clifford Wolf [Mon, 4 Nov 2013 05:04:42 +0000 (06:04 +0100)]
further improved early width and sign detection in ast simplifier
Clifford Wolf [Sun, 3 Nov 2013 21:01:32 +0000 (22:01 +0100)]
Added simple topological sort to edif backend
Clifford Wolf [Sun, 3 Nov 2013 20:41:39 +0000 (21:41 +0100)]
Write yosys version to output files
Clifford Wolf [Sun, 3 Nov 2013 20:13:21 +0000 (21:13 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sun, 3 Nov 2013 17:56:45 +0000 (18:56 +0100)]
Fixed detectSignWidthWorker (ast frontend) for AST_CONCAT
Clifford Wolf [Sun, 3 Nov 2013 08:42:51 +0000 (09:42 +0100)]
Added resolution of positional arguments to hierarchy pass
Clifford Wolf [Sun, 3 Nov 2013 08:00:51 +0000 (09:00 +0100)]
Ignore explicit unconnected ports in intersynth backend
Clifford Wolf [Sat, 2 Nov 2013 20:13:01 +0000 (21:13 +0100)]
Behavior should be identical now to rev.
0b4a64ac6adbd6 (next: testing before constfold fixes)
Clifford Wolf [Sat, 2 Nov 2013 12:19:04 +0000 (13:19 +0100)]
Added roadmap to readme file
Clifford Wolf [Sat, 2 Nov 2013 12:00:17 +0000 (13:00 +0100)]
Various ast changes for early expression width detection (prep for constfold fixes)
Clifford Wolf [Thu, 31 Oct 2013 11:27:35 +0000 (12:27 +0100)]
Added DFFSR cell to techlibs/cmos/cmos_cells.lib
Clifford Wolf [Thu, 31 Oct 2013 11:27:07 +0000 (12:27 +0100)]
Added placeholder check to dfflibmap and cleaned up some other placeholder checks
Clifford Wolf [Thu, 31 Oct 2013 11:02:18 +0000 (12:02 +0100)]
Changed MiniSAT feater defines again
Clifford Wolf [Thu, 31 Oct 2013 10:15:00 +0000 (11:15 +0100)]
Added paragraph to README file to avoid mycells.lib confusion
Clifford Wolf [Thu, 31 Oct 2013 00:15:07 +0000 (01:15 +0100)]
README file typo fix
Clifford Wolf [Thu, 31 Oct 2013 00:09:24 +0000 (01:09 +0100)]
Some additions to the README file
Clifford Wolf [Wed, 30 Oct 2013 16:25:39 +0000 (17:25 +0100)]
Fixed ezminisat C++ errors: undef PRIi64
Clifford Wolf [Tue, 29 Oct 2013 23:47:58 +0000 (00:47 +0100)]
Added detection for endless recursion in fsm_detect pass
Clifford Wolf [Tue, 29 Oct 2013 23:47:31 +0000 (00:47 +0100)]
Fixed help message typo (memory pass)
Clifford Wolf [Tue, 29 Oct 2013 10:01:04 +0000 (11:01 +0100)]
Added -format option to splitnets
Clifford Wolf [Sun, 27 Oct 2013 21:35:15 +0000 (14:35 -0700)]
Merge pull request #12 from jameswalmsley/master
[EXAMPLES] Ported the mojo counter example to Zynq ZED board.
James Walmsley [Sun, 27 Oct 2013 20:48:39 +0000 (21:48 +0100)]
[EXAMPLES] Ported the mojo counter example to Zynq ZED board.
Will be adding a tutorial on this to verilog.james.walms.co.uk in a few days.
Clifford Wolf [Sun, 27 Oct 2013 09:05:19 +0000 (10:05 +0100)]
Fixed get_share_file_name() for installed yosys
Clifford Wolf [Sun, 27 Oct 2013 08:52:00 +0000 (09:52 +0100)]
Cleanups in xilinx examples
Clifford Wolf [Sun, 27 Oct 2013 08:33:47 +0000 (09:33 +0100)]
Added synth_xilinx command
Clifford Wolf [Sun, 27 Oct 2013 08:33:26 +0000 (09:33 +0100)]
Added API and Makefile rules for share/ files
Clifford Wolf [Sun, 27 Oct 2013 08:30:58 +0000 (09:30 +0100)]
Added design->full_selection() helper method
Clifford Wolf [Sun, 27 Oct 2013 08:30:17 +0000 (09:30 +0100)]
Moved simple xilinx counter sim example to subdir
Clifford Wolf [Sun, 27 Oct 2013 07:21:56 +0000 (08:21 +0100)]
Xilinx mojo_counter example is now working
Clifford Wolf [Sun, 27 Oct 2013 07:21:05 +0000 (08:21 +0100)]
Fixed hex string generation bug in edif backend
Clifford Wolf [Sat, 26 Oct 2013 20:29:40 +0000 (22:29 +0200)]
Renamed techlibs/xilinx7 to techlibs/xilinx
Clifford Wolf [Sat, 26 Oct 2013 20:28:42 +0000 (22:28 +0200)]
Improved xilinx mojo_counter example
Clifford Wolf [Sat, 26 Oct 2013 20:27:40 +0000 (22:27 +0200)]
Added support for i/o buffers to iopadmap
Clifford Wolf [Sat, 26 Oct 2013 15:22:29 +0000 (17:22 +0200)]
Added another xilinx example (not funcional yet)
Clifford Wolf [Thu, 24 Oct 2013 16:20:06 +0000 (18:20 +0200)]
Added support for sr flip-flops to dfflibmap
Clifford Wolf [Thu, 24 Oct 2013 14:54:05 +0000 (16:54 +0200)]
Added support for complex set-reset flip-flops in proc_dff
Clifford Wolf [Thu, 24 Oct 2013 09:37:54 +0000 (11:37 +0200)]
Fixed handling of boolean attributes (passes)
Clifford Wolf [Thu, 24 Oct 2013 09:27:30 +0000 (11:27 +0200)]
Fixed handling of boolean attributes (backends)
Clifford Wolf [Thu, 24 Oct 2013 09:20:13 +0000 (11:20 +0200)]
Fixed handling of boolean attributes (frontends)
Clifford Wolf [Thu, 24 Oct 2013 08:59:27 +0000 (10:59 +0200)]
Fixed handling of boolean attributes (kernel)
Clifford Wolf [Wed, 23 Oct 2013 16:38:31 +0000 (18:38 +0200)]
Fixed parsing of value-less attributes in ilang
Clifford Wolf [Mon, 21 Oct 2013 12:51:58 +0000 (14:51 +0200)]
Improved handling of dff with async resets
Clifford Wolf [Fri, 18 Oct 2013 22:50:13 +0000 (00:50 +0200)]
Added handling of multiple async paths in proc_arst
Clifford Wolf [Fri, 18 Oct 2013 12:19:45 +0000 (14:19 +0200)]
Changed NEW_WIRE API to return the wire, not the signal
Clifford Wolf [Fri, 18 Oct 2013 11:26:52 +0000 (13:26 +0200)]
Added dffsr support to proc_dff pass
Clifford Wolf [Fri, 18 Oct 2013 11:25:24 +0000 (13:25 +0200)]
Added RTLIL NEW_WIRE macro
Clifford Wolf [Fri, 18 Oct 2013 11:24:44 +0000 (13:24 +0200)]
Bugfix in dffsr techmap rules
Clifford Wolf [Fri, 18 Oct 2013 10:29:21 +0000 (12:29 +0200)]
Added techmap rules for $sr, $dffsr and $dlatch
Clifford Wolf [Fri, 18 Oct 2013 10:13:34 +0000 (12:13 +0200)]
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_
Clifford Wolf [Fri, 18 Oct 2013 09:56:16 +0000 (11:56 +0200)]
Added $sr, $dffsr and $dlatch cell types
Clifford Wolf [Thu, 17 Oct 2013 20:19:38 +0000 (22:19 +0200)]
Improved way of connecting ports in techmap pass
Clifford Wolf [Thu, 17 Oct 2013 20:10:55 +0000 (22:10 +0200)]
Only prefer connected signals iff they have public names
Clifford Wolf [Thu, 17 Oct 2013 19:37:18 +0000 (21:37 +0200)]
Added -buf, -true and -false options to blif backend
Clifford Wolf [Thu, 17 Oct 2013 19:00:37 +0000 (21:00 +0200)]
Fixed bug in synthesis of memories that are never written
Clifford Wolf [Thu, 17 Oct 2013 18:48:40 +0000 (20:48 +0200)]
Avoid re-arranging signals on register outputs
Clifford Wolf [Thu, 17 Oct 2013 00:41:59 +0000 (02:41 +0200)]
Fixed detection of major wires in opt_clean
Clifford Wolf [Wed, 16 Oct 2013 14:16:06 +0000 (16:16 +0200)]
Added iopadmap pass
Clifford Wolf [Wed, 16 Oct 2013 13:32:26 +0000 (15:32 +0200)]
Moved dfflibmap from passes/dfflibmap to passes/techmap
Clifford Wolf [Wed, 16 Oct 2013 08:57:18 +0000 (10:57 +0200)]
Added map, par and bitgen to xlinx7 example
Clifford Wolf [Wed, 16 Oct 2013 04:32:35 +0000 (06:32 +0200)]
Fixed parsing or liberty file statements such as 'clocked_on : "(!CLK)";'
Patch by Tim Edwards
Clifford Wolf [Fri, 11 Oct 2013 20:25:23 +0000 (22:25 +0200)]
Added recommended apt-get commands to README
Clifford Wolf [Fri, 11 Oct 2013 19:17:01 +0000 (21:17 +0200)]
Fixed minisat include
Clifford Wolf [Thu, 3 Oct 2013 14:03:30 +0000 (16:03 +0200)]
Pinned ABC revision to
0f9e5488ced3
Clifford Wolf [Tue, 17 Sep 2013 11:07:12 +0000 (13:07 +0200)]
Improvements in EDIF backend
Clifford Wolf [Sun, 15 Sep 2013 11:33:33 +0000 (13:33 +0200)]
Added additional options to BLIF backend
Clifford Wolf [Sun, 15 Sep 2013 11:13:01 +0000 (13:13 +0200)]
Added BLIF backend