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
Clifford Wolf [Sun, 15 Sep 2013 10:19:06 +0000 (12:19 +0200)]
A couple of small fixes in SPICE backend
Clifford Wolf [Sun, 15 Sep 2013 09:52:57 +0000 (11:52 +0200)]
Moved common techlib files to techlibs/common
Clifford Wolf [Sun, 15 Sep 2013 09:41:05 +0000 (11:41 +0200)]
Updated manual
Clifford Wolf [Sat, 14 Sep 2013 11:29:11 +0000 (13:29 +0200)]
Added spice testbench to techlibs/cmos
Clifford Wolf [Sat, 14 Sep 2013 09:23:45 +0000 (11:23 +0200)]
Added spice backend
Clifford Wolf [Tue, 3 Sep 2013 17:10:25 +0000 (19:10 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Tue, 3 Sep 2013 17:10:11 +0000 (19:10 +0200)]
Added -selected option to various backends
Clifford Wolf [Wed, 28 Aug 2013 06:48:49 +0000 (08:48 +0200)]
Encode large (>32 bits) parameters as hex string in edif backend
Clifford Wolf [Tue, 27 Aug 2013 12:22:11 +0000 (14:22 +0200)]
Improved edif backend
Clifford Wolf [Tue, 27 Aug 2013 11:12:26 +0000 (13:12 +0200)]
Added mapping to techlibs/xilinx7 testbench (exposes EDIF backend todos)
Clifford Wolf [Thu, 22 Aug 2013 18:26:19 +0000 (20:26 +0200)]
Added simple xilinx7 technology mapping files
Clifford Wolf [Thu, 22 Aug 2013 18:22:19 +0000 (20:22 +0200)]
More explicit integer output in verilog backend
Clifford Wolf [Thu, 22 Aug 2013 12:30:33 +0000 (14:30 +0200)]
Added correct encoding of identifiers in EDIF backend
Clifford Wolf [Thu, 22 Aug 2013 09:34:55 +0000 (11:34 +0200)]
Added edif backend (still under construction)
Clifford Wolf [Wed, 21 Aug 2013 16:47:06 +0000 (09:47 -0700)]
Merge pull request #10 from hansiglaser/master
fixed Verilog parser filename and line numbering issue with include files
Clifford Wolf [Wed, 21 Aug 2013 10:16:44 +0000 (12:16 +0200)]
Some minor documentation fixes
Johann Glaser [Wed, 21 Aug 2013 07:20:59 +0000 (09:20 +0200)]
fixed Verilog parser filename and line numbering issue with include files
Clifford Wolf [Tue, 20 Aug 2013 16:38:31 +0000 (09:38 -0700)]
Merge pull request #9 from hansiglaser/master
Added support for include directories with the new '-I' argument of the 'read_verilog' command
Johann Glaser [Tue, 20 Aug 2013 13:48:16 +0000 (15:48 +0200)]
Added support for include directories with the new '-I' argument of the
'read_verilog' command
Clifford Wolf [Tue, 20 Aug 2013 10:36:34 +0000 (03:36 -0700)]
Merge pull request #8 from hansiglaser/master
Added support for notif0/notif1 primitives
Johann Glaser [Tue, 20 Aug 2013 09:23:59 +0000 (11:23 +0200)]
Added support for notif0/notif1 primitives
Clifford Wolf [Tue, 20 Aug 2013 08:12:54 +0000 (10:12 +0200)]
Added cleaning of old version_* files to version_* make rule
Clifford Wolf [Tue, 20 Aug 2013 07:48:12 +0000 (09:48 +0200)]
Added version info to yosys command and added -V option
Clifford Wolf [Tue, 20 Aug 2013 07:46:05 +0000 (09:46 +0200)]
Minor fixes in abc build instructions and abc pass
Clifford Wolf [Mon, 19 Aug 2013 18:58:01 +0000 (20:58 +0200)]
Fixed width and sign detection for ** operator
Clifford Wolf [Mon, 19 Aug 2013 17:50:04 +0000 (19:50 +0200)]
Added support for bufif0/bufif1 primitives
Clifford Wolf [Mon, 19 Aug 2013 17:49:14 +0000 (19:49 +0200)]
Improved ast dumping (ast/verilog frontend)
Clifford Wolf [Thu, 15 Aug 2013 19:00:06 +0000 (21:00 +0200)]
Implemented same div-by-zero behavior as found in other synthesis tools
Clifford Wolf [Thu, 15 Aug 2013 16:23:42 +0000 (18:23 +0200)]
Fixed signed div/mod in const eval (rounding and stuff)
Clifford Wolf [Thu, 15 Aug 2013 12:40:26 +0000 (14:40 +0200)]
Added ezsat api for creation of anonymous vectors
Clifford Wolf [Thu, 15 Aug 2013 09:40:01 +0000 (11:40 +0200)]
Added sat -ignore_div_by_zero switch
Clifford Wolf [Thu, 15 Aug 2013 09:09:30 +0000 (11:09 +0200)]
Added eval -brute_force_equiv_checker_x mode
Clifford Wolf [Mon, 12 Aug 2013 12:47:50 +0000 (14:47 +0200)]
Added support for "2**n" shifter encoding
Clifford Wolf [Sun, 11 Aug 2013 14:27:15 +0000 (16:27 +0200)]
Added SAT support for $div and $mod cells
Clifford Wolf [Sun, 11 Aug 2013 11:59:14 +0000 (13:59 +0200)]
Added "clean -purge" and ";;;" support
Clifford Wolf [Sun, 11 Aug 2013 11:33:38 +0000 (13:33 +0200)]
Added ";;" as shortcut for "; clean;"
Clifford Wolf [Sat, 10 Aug 2013 13:03:13 +0000 (15:03 +0200)]
freduce performance fix
Clifford Wolf [Fri, 9 Aug 2013 15:09:24 +0000 (17:09 +0200)]
Added $div and $mod technology mapping
Clifford Wolf [Fri, 9 Aug 2013 13:20:22 +0000 (15:20 +0200)]
Added techmap -opt mode
Clifford Wolf [Fri, 9 Aug 2013 10:42:32 +0000 (12:42 +0200)]
Some fixes to improve determinism
Clifford Wolf [Thu, 8 Aug 2013 13:46:00 +0000 (15:46 +0200)]
Sort ctrl signals in fsm_extract
Clifford Wolf [Thu, 8 Aug 2013 08:56:27 +0000 (10:56 +0200)]
Added -try option to freduce pass
Clifford Wolf [Thu, 8 Aug 2013 08:53:37 +0000 (10:53 +0200)]
Added "clean" command (less verbose opt_clean)
Clifford Wolf [Wed, 7 Aug 2013 17:38:19 +0000 (19:38 +0200)]
Fixed topological ordering in freduce pass
Clifford Wolf [Wed, 7 Aug 2013 16:39:49 +0000 (18:39 +0200)]
Improved handling of private names in opt_clean and rename commands
Clifford Wolf [Wed, 7 Aug 2013 00:19:35 +0000 (02:19 +0200)]
Added stubnets example to manual prog chapter
Clifford Wolf [Tue, 6 Aug 2013 13:53:09 +0000 (15:53 +0200)]
Small bugfixes in freduce pass
Clifford Wolf [Tue, 6 Aug 2013 13:04:52 +0000 (15:04 +0200)]
Added freduce command
Clifford Wolf [Tue, 6 Aug 2013 13:04:24 +0000 (15:04 +0200)]
Fixed SigPool::del() method
Clifford Wolf [Tue, 6 Aug 2013 13:03:46 +0000 (15:03 +0200)]
Added proper deallocation of history buffer
Clifford Wolf [Thu, 1 Aug 2013 18:02:15 +0000 (20:02 +0200)]
Updated TODO section in README
Clifford Wolf [Sat, 27 Jul 2013 12:27:51 +0000 (14:27 +0200)]
Added "design" command (-reset, -save, -load)
Clifford Wolf [Thu, 25 Jul 2013 22:01:31 +0000 (00:01 +0200)]
Added "help -write-web-command-reference-manual"
Clifford Wolf [Thu, 25 Jul 2013 13:01:02 +0000 (15:01 +0200)]
Fixed comments in manual rtlil/ilang syntax
Clifford Wolf [Thu, 25 Jul 2013 12:00:16 +0000 (14:00 +0200)]
Added RTLIL and Liberty syntax highlighting to manual
Clifford Wolf [Wed, 24 Jul 2013 18:19:08 +0000 (20:19 +0200)]
Automatically run "proc" on extract map files
Clifford Wolf [Tue, 23 Jul 2013 14:19:34 +0000 (16:19 +0200)]
Added $lut cells and abc lut mapping support
Clifford Wolf [Tue, 23 Jul 2013 12:19:47 +0000 (14:19 +0200)]
Fixed "make clean" for manual files
Clifford Wolf [Sun, 21 Jul 2013 13:04:37 +0000 (15:04 +0200)]
Added web site link to README
Clifford Wolf [Sat, 20 Jul 2013 13:19:12 +0000 (15:19 +0200)]
Added Yosys Manual
Clifford Wolf [Fri, 12 Jul 2013 11:13:04 +0000 (13:13 +0200)]
More fixes in ternary op sign handling
Clifford Wolf [Thu, 11 Jul 2013 23:15:37 +0000 (01:15 +0200)]
Fixed sign handling in ternary operator
Clifford Wolf [Thu, 11 Jul 2013 17:31:57 +0000 (19:31 +0200)]
Added ast frontend refactoring to TODO
Clifford Wolf [Thu, 11 Jul 2013 17:24:59 +0000 (19:24 +0200)]
Another vloghammer related bugfix
Clifford Wolf [Wed, 10 Jul 2013 10:52:29 +0000 (12:52 +0200)]
Bugfixes for empty signal vectors
Clifford Wolf [Tue, 9 Jul 2013 21:53:55 +0000 (23:53 +0200)]
Fixed sign propagation in bit-wise operators
Clifford Wolf [Tue, 9 Jul 2013 21:41:28 +0000 (23:41 +0200)]
More fixes in ast expression sign/width handling
Clifford Wolf [Tue, 9 Jul 2013 17:00:10 +0000 (19:00 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Tue, 9 Jul 2013 16:59:59 +0000 (18:59 +0200)]
Fixed shift ops with large right hand side
Clifford Wolf [Tue, 9 Jul 2013 12:31:57 +0000 (14:31 +0200)]
Major redesign of expr width/sign detecion (verilog/ast frontend)
Clifford Wolf [Sun, 7 Jul 2013 14:49:30 +0000 (16:49 +0200)]
Fixed another bug found using vloghammer
Clifford Wolf [Sun, 7 Jul 2013 13:40:26 +0000 (15:40 +0200)]
Fixed AST_CONSTANT node generation
Clifford Wolf [Sun, 7 Jul 2013 11:01:15 +0000 (13:01 +0200)]
Removed tests/xsthammer
This test is now available as 'vloghammer' in a seperate repository:
https://github.com/cliffordwolf/VlogHammer
Clifford Wolf [Sun, 7 Jul 2013 10:59:30 +0000 (12:59 +0200)]
Added opt_clean -purge option
Clifford Wolf [Sun, 7 Jul 2013 10:59:00 +0000 (12:59 +0200)]
Fixed handling of $eq and $ne in opt_const
Clifford Wolf [Fri, 5 Jul 2013 17:33:42 +0000 (19:33 +0200)]
Fixed vivado related xsthammer bugs
Clifford Wolf [Fri, 5 Jul 2013 14:04:02 +0000 (16:04 +0200)]
Various improvements in xsthammer report generator
Clifford Wolf [Fri, 5 Jul 2013 13:29:03 +0000 (15:29 +0200)]
Added work-around to isim bug in xsthammer report script
Clifford Wolf [Fri, 5 Jul 2013 13:00:20 +0000 (15:00 +0200)]
Fixed gcc warnings in ezminisat
Clifford Wolf [Fri, 5 Jul 2013 12:46:33 +0000 (14:46 +0200)]
Added CARRY4 Xilinx cell to xsthammer cell lib
Clifford Wolf [Fri, 5 Jul 2013 12:21:24 +0000 (14:21 +0200)]
Added xsthammer report generator
Clifford Wolf [Thu, 4 Jul 2013 19:26:49 +0000 (21:26 +0200)]
Improved xsthammer quartus support
Clifford Wolf [Thu, 4 Jul 2013 12:50:03 +0000 (14:50 +0200)]
Added Altera Cyclon III cell library to xsthammer
Clifford Wolf [Thu, 4 Jul 2013 12:17:25 +0000 (14:17 +0200)]
Documentation updates
Clifford Wolf [Thu, 4 Jul 2013 12:12:33 +0000 (14:12 +0200)]
Added defparam support to Verilog/AST frontend
Clifford Wolf [Wed, 3 Jul 2013 21:54:43 +0000 (23:54 +0200)]
Added QMAKE makefile variable
Clifford Wolf [Wed, 3 Jul 2013 18:40:54 +0000 (20:40 +0200)]
Added Altera Quartus support to xsthammer
Clifford Wolf [Wed, 3 Jul 2013 09:19:18 +0000 (11:19 +0200)]
Progress in xsthammer
Clifford Wolf [Wed, 26 Jun 2013 10:34:06 +0000 (12:34 +0200)]
Added vivado support to xsthammer
Clifford Wolf [Sun, 23 Jun 2013 11:28:30 +0000 (13:28 +0200)]
Added SAT support for -all/-max with -verify
Clifford Wolf [Thu, 20 Jun 2013 10:49:28 +0000 (12:49 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 20 Jun 2013 10:49:10 +0000 (12:49 +0200)]
Added timout functionality to SAT solver