yosys.git
11 years agoChanged NEW_WIRE API to return the wire, not the signal
Clifford Wolf [Fri, 18 Oct 2013 12:19:45 +0000 (14:19 +0200)]
Changed NEW_WIRE API to return the wire, not the signal

11 years agoAdded dffsr support to proc_dff pass
Clifford Wolf [Fri, 18 Oct 2013 11:26:52 +0000 (13:26 +0200)]
Added dffsr support to proc_dff pass

11 years agoAdded RTLIL NEW_WIRE macro
Clifford Wolf [Fri, 18 Oct 2013 11:25:24 +0000 (13:25 +0200)]
Added RTLIL NEW_WIRE macro

11 years agoBugfix in dffsr techmap rules
Clifford Wolf [Fri, 18 Oct 2013 11:24:44 +0000 (13:24 +0200)]
Bugfix in dffsr techmap rules

11 years agoAdded techmap rules for $sr, $dffsr and $dlatch
Clifford Wolf [Fri, 18 Oct 2013 10:29:21 +0000 (12:29 +0200)]
Added techmap rules for $sr, $dffsr and $dlatch

11 years agoAdded $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_
Clifford Wolf [Fri, 18 Oct 2013 10:13:34 +0000 (12:13 +0200)]
Added $_SR_[PN][PN]_, $_DFFSR_[PN][PN][PN]_, $_DLATCH_[PN]_

11 years agoAdded $sr, $dffsr and $dlatch cell types
Clifford Wolf [Fri, 18 Oct 2013 09:56:16 +0000 (11:56 +0200)]
Added $sr, $dffsr and $dlatch cell types

11 years agoImproved way of connecting ports in techmap pass
Clifford Wolf [Thu, 17 Oct 2013 20:19:38 +0000 (22:19 +0200)]
Improved way of connecting ports in techmap pass

11 years agoOnly prefer connected signals iff they have public names
Clifford Wolf [Thu, 17 Oct 2013 20:10:55 +0000 (22:10 +0200)]
Only prefer connected signals iff they have public names

11 years agoAdded -buf, -true and -false options to blif backend
Clifford Wolf [Thu, 17 Oct 2013 19:37:18 +0000 (21:37 +0200)]
Added -buf, -true and -false options to blif backend

11 years agoFixed bug in synthesis of memories that are never written
Clifford Wolf [Thu, 17 Oct 2013 19:00:37 +0000 (21:00 +0200)]
Fixed bug in synthesis of memories that are never written

11 years agoAvoid re-arranging signals on register outputs
Clifford Wolf [Thu, 17 Oct 2013 18:48:40 +0000 (20:48 +0200)]
Avoid re-arranging signals on register outputs

11 years agoFixed detection of major wires in opt_clean
Clifford Wolf [Thu, 17 Oct 2013 00:41:59 +0000 (02:41 +0200)]
Fixed detection of major wires in opt_clean

11 years agoAdded iopadmap pass
Clifford Wolf [Wed, 16 Oct 2013 14:16:06 +0000 (16:16 +0200)]
Added iopadmap pass

11 years agoMoved dfflibmap from passes/dfflibmap to passes/techmap
Clifford Wolf [Wed, 16 Oct 2013 13:32:26 +0000 (15:32 +0200)]
Moved dfflibmap from passes/dfflibmap to passes/techmap

11 years agoAdded map, par and bitgen to xlinx7 example
Clifford Wolf [Wed, 16 Oct 2013 08:57:18 +0000 (10:57 +0200)]
Added map, par and bitgen to xlinx7 example

11 years agoFixed parsing or liberty file statements such as 'clocked_on : "(!CLK)";'
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

11 years agoAdded recommended apt-get commands to README
Clifford Wolf [Fri, 11 Oct 2013 20:25:23 +0000 (22:25 +0200)]
Added recommended apt-get commands to README

11 years agoFixed minisat include
Clifford Wolf [Fri, 11 Oct 2013 19:17:01 +0000 (21:17 +0200)]
Fixed minisat include

11 years agoPinned ABC revision to 0f9e5488ced3
Clifford Wolf [Thu, 3 Oct 2013 14:03:30 +0000 (16:03 +0200)]
Pinned ABC revision to 0f9e5488ced3

11 years agoImprovements in EDIF backend
Clifford Wolf [Tue, 17 Sep 2013 11:07:12 +0000 (13:07 +0200)]
Improvements in EDIF backend

11 years agoAdded additional options to BLIF backend
Clifford Wolf [Sun, 15 Sep 2013 11:33:33 +0000 (13:33 +0200)]
Added additional options to BLIF backend

11 years agoAdded BLIF backend
Clifford Wolf [Sun, 15 Sep 2013 11:13:01 +0000 (13:13 +0200)]
Added BLIF backend

11 years agoA couple of small fixes in SPICE backend
Clifford Wolf [Sun, 15 Sep 2013 10:19:06 +0000 (12:19 +0200)]
A couple of small fixes in SPICE backend

11 years agoMoved common techlib files to techlibs/common
Clifford Wolf [Sun, 15 Sep 2013 09:52:57 +0000 (11:52 +0200)]
Moved common techlib files to techlibs/common

11 years agoUpdated manual
Clifford Wolf [Sun, 15 Sep 2013 09:41:05 +0000 (11:41 +0200)]
Updated manual

11 years agoAdded spice testbench to techlibs/cmos
Clifford Wolf [Sat, 14 Sep 2013 11:29:11 +0000 (13:29 +0200)]
Added spice testbench to techlibs/cmos

11 years agoAdded spice backend
Clifford Wolf [Sat, 14 Sep 2013 09:23:45 +0000 (11:23 +0200)]
Added spice backend

11 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Tue, 3 Sep 2013 17:10:25 +0000 (19:10 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

11 years agoAdded -selected option to various backends
Clifford Wolf [Tue, 3 Sep 2013 17:10:11 +0000 (19:10 +0200)]
Added -selected option to various backends

11 years agoEncode large (>32 bits) parameters as hex string in edif backend
Clifford Wolf [Wed, 28 Aug 2013 06:48:49 +0000 (08:48 +0200)]
Encode large (>32 bits) parameters as hex string in edif backend

11 years agoImproved edif backend
Clifford Wolf [Tue, 27 Aug 2013 12:22:11 +0000 (14:22 +0200)]
Improved edif backend

11 years agoAdded mapping to techlibs/xilinx7 testbench (exposes EDIF backend todos)
Clifford Wolf [Tue, 27 Aug 2013 11:12:26 +0000 (13:12 +0200)]
Added mapping to techlibs/xilinx7 testbench (exposes EDIF backend todos)

11 years agoAdded simple xilinx7 technology mapping files
Clifford Wolf [Thu, 22 Aug 2013 18:26:19 +0000 (20:26 +0200)]
Added simple xilinx7 technology mapping files

11 years agoMore explicit integer output in verilog backend
Clifford Wolf [Thu, 22 Aug 2013 18:22:19 +0000 (20:22 +0200)]
More explicit integer output in verilog backend

11 years agoAdded correct encoding of identifiers in EDIF backend
Clifford Wolf [Thu, 22 Aug 2013 12:30:33 +0000 (14:30 +0200)]
Added correct encoding of identifiers in EDIF backend

11 years agoAdded edif backend (still under construction)
Clifford Wolf [Thu, 22 Aug 2013 09:34:55 +0000 (11:34 +0200)]
Added edif backend (still under construction)

11 years agoMerge pull request #10 from hansiglaser/master
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

11 years agoSome minor documentation fixes
Clifford Wolf [Wed, 21 Aug 2013 10:16:44 +0000 (12:16 +0200)]
Some minor documentation fixes

11 years agofixed Verilog parser filename and line numbering issue with include files
Johann Glaser [Wed, 21 Aug 2013 07:20:59 +0000 (09:20 +0200)]
fixed Verilog parser filename and line numbering issue with include files

11 years agoMerge pull request #9 from hansiglaser/master
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

11 years agoAdded support for include directories with the new '-I' argument of the
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

11 years agoMerge pull request #8 from hansiglaser/master
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

11 years agoAdded support for notif0/notif1 primitives
Johann Glaser [Tue, 20 Aug 2013 09:23:59 +0000 (11:23 +0200)]
Added support for notif0/notif1 primitives

11 years agoAdded cleaning of old version_* files to version_* make rule
Clifford Wolf [Tue, 20 Aug 2013 08:12:54 +0000 (10:12 +0200)]
Added cleaning of old version_* files to version_* make rule

11 years agoAdded version info to yosys command and added -V option
Clifford Wolf [Tue, 20 Aug 2013 07:48:12 +0000 (09:48 +0200)]
Added version info to yosys command and added -V option

11 years agoMinor fixes in abc build instructions and abc pass
Clifford Wolf [Tue, 20 Aug 2013 07:46:05 +0000 (09:46 +0200)]
Minor fixes in abc build instructions and abc pass

11 years agoFixed width and sign detection for ** operator
Clifford Wolf [Mon, 19 Aug 2013 18:58:01 +0000 (20:58 +0200)]
Fixed width and sign detection for ** operator

11 years agoAdded support for bufif0/bufif1 primitives
Clifford Wolf [Mon, 19 Aug 2013 17:50:04 +0000 (19:50 +0200)]
Added support for bufif0/bufif1 primitives

11 years agoImproved ast dumping (ast/verilog frontend)
Clifford Wolf [Mon, 19 Aug 2013 17:49:14 +0000 (19:49 +0200)]
Improved ast dumping (ast/verilog frontend)

11 years agoImplemented same div-by-zero behavior as found in other synthesis tools
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

11 years agoFixed signed div/mod in const eval (rounding and stuff)
Clifford Wolf [Thu, 15 Aug 2013 16:23:42 +0000 (18:23 +0200)]
Fixed signed div/mod in const eval (rounding and stuff)

11 years agoAdded ezsat api for creation of anonymous vectors
Clifford Wolf [Thu, 15 Aug 2013 12:40:26 +0000 (14:40 +0200)]
Added ezsat api for creation of anonymous vectors

11 years agoAdded sat -ignore_div_by_zero switch
Clifford Wolf [Thu, 15 Aug 2013 09:40:01 +0000 (11:40 +0200)]
Added sat -ignore_div_by_zero switch

11 years agoAdded eval -brute_force_equiv_checker_x mode
Clifford Wolf [Thu, 15 Aug 2013 09:09:30 +0000 (11:09 +0200)]
Added eval -brute_force_equiv_checker_x mode

11 years agoAdded support for "2**n" shifter encoding
Clifford Wolf [Mon, 12 Aug 2013 12:47:50 +0000 (14:47 +0200)]
Added support for "2**n" shifter encoding

11 years agoAdded SAT support for $div and $mod cells
Clifford Wolf [Sun, 11 Aug 2013 14:27:15 +0000 (16:27 +0200)]
Added SAT support for $div and $mod cells

11 years agoAdded "clean -purge" and ";;;" support
Clifford Wolf [Sun, 11 Aug 2013 11:59:14 +0000 (13:59 +0200)]
Added "clean -purge" and ";;;" support

11 years agoAdded ";;" as shortcut for "; clean;"
Clifford Wolf [Sun, 11 Aug 2013 11:33:38 +0000 (13:33 +0200)]
Added ";;" as shortcut for "; clean;"

11 years agofreduce performance fix
Clifford Wolf [Sat, 10 Aug 2013 13:03:13 +0000 (15:03 +0200)]
freduce performance fix

11 years agoAdded $div and $mod technology mapping
Clifford Wolf [Fri, 9 Aug 2013 15:09:24 +0000 (17:09 +0200)]
Added $div and $mod technology mapping

11 years agoAdded techmap -opt mode
Clifford Wolf [Fri, 9 Aug 2013 13:20:22 +0000 (15:20 +0200)]
Added techmap -opt mode

11 years agoSome fixes to improve determinism
Clifford Wolf [Fri, 9 Aug 2013 10:42:32 +0000 (12:42 +0200)]
Some fixes to improve determinism

11 years agoSort ctrl signals in fsm_extract
Clifford Wolf [Thu, 8 Aug 2013 13:46:00 +0000 (15:46 +0200)]
Sort ctrl signals in fsm_extract

11 years agoAdded -try option to freduce pass
Clifford Wolf [Thu, 8 Aug 2013 08:56:27 +0000 (10:56 +0200)]
Added -try option to freduce pass

11 years agoAdded "clean" command (less verbose opt_clean)
Clifford Wolf [Thu, 8 Aug 2013 08:53:37 +0000 (10:53 +0200)]
Added "clean" command (less verbose opt_clean)

11 years agoFixed topological ordering in freduce pass
Clifford Wolf [Wed, 7 Aug 2013 17:38:19 +0000 (19:38 +0200)]
Fixed topological ordering in freduce pass

11 years agoImproved handling of private names in opt_clean and rename commands
Clifford Wolf [Wed, 7 Aug 2013 16:39:49 +0000 (18:39 +0200)]
Improved handling of private names in opt_clean and rename commands

11 years agoAdded stubnets example to manual prog chapter
Clifford Wolf [Wed, 7 Aug 2013 00:19:35 +0000 (02:19 +0200)]
Added stubnets example to manual prog chapter

11 years agoSmall bugfixes in freduce pass
Clifford Wolf [Tue, 6 Aug 2013 13:53:09 +0000 (15:53 +0200)]
Small bugfixes in freduce pass

11 years agoAdded freduce command
Clifford Wolf [Tue, 6 Aug 2013 13:04:52 +0000 (15:04 +0200)]
Added freduce command

11 years agoFixed SigPool::del() method
Clifford Wolf [Tue, 6 Aug 2013 13:04:24 +0000 (15:04 +0200)]
Fixed SigPool::del() method

11 years agoAdded proper deallocation of history buffer
Clifford Wolf [Tue, 6 Aug 2013 13:03:46 +0000 (15:03 +0200)]
Added proper deallocation of history buffer

11 years agoUpdated TODO section in README
Clifford Wolf [Thu, 1 Aug 2013 18:02:15 +0000 (20:02 +0200)]
Updated TODO section in README

11 years agoAdded "design" command (-reset, -save, -load)
Clifford Wolf [Sat, 27 Jul 2013 12:27:51 +0000 (14:27 +0200)]
Added "design" command (-reset, -save, -load)

11 years agoAdded "help -write-web-command-reference-manual"
Clifford Wolf [Thu, 25 Jul 2013 22:01:31 +0000 (00:01 +0200)]
Added "help -write-web-command-reference-manual"

11 years agoFixed comments in manual rtlil/ilang syntax
Clifford Wolf [Thu, 25 Jul 2013 13:01:02 +0000 (15:01 +0200)]
Fixed comments in manual rtlil/ilang syntax

11 years agoAdded RTLIL and Liberty syntax highlighting to manual
Clifford Wolf [Thu, 25 Jul 2013 12:00:16 +0000 (14:00 +0200)]
Added RTLIL and Liberty syntax highlighting to manual

11 years agoAutomatically run "proc" on extract map files
Clifford Wolf [Wed, 24 Jul 2013 18:19:08 +0000 (20:19 +0200)]
Automatically run "proc" on extract map files

11 years agoAdded $lut cells and abc lut mapping support
Clifford Wolf [Tue, 23 Jul 2013 14:19:34 +0000 (16:19 +0200)]
Added $lut cells and abc lut mapping support

11 years agoFixed "make clean" for manual files
Clifford Wolf [Tue, 23 Jul 2013 12:19:47 +0000 (14:19 +0200)]
Fixed "make clean" for manual files

11 years agoAdded web site link to README
Clifford Wolf [Sun, 21 Jul 2013 13:04:37 +0000 (15:04 +0200)]
Added web site link to README

11 years agoAdded Yosys Manual
Clifford Wolf [Sat, 20 Jul 2013 13:19:12 +0000 (15:19 +0200)]
Added Yosys Manual

11 years agoMore fixes in ternary op sign handling
Clifford Wolf [Fri, 12 Jul 2013 11:13:04 +0000 (13:13 +0200)]
More fixes in ternary op sign handling

11 years agoFixed sign handling in ternary operator
Clifford Wolf [Thu, 11 Jul 2013 23:15:37 +0000 (01:15 +0200)]
Fixed sign handling in ternary operator

11 years agoAdded ast frontend refactoring to TODO
Clifford Wolf [Thu, 11 Jul 2013 17:31:57 +0000 (19:31 +0200)]
Added ast frontend refactoring to TODO

11 years agoAnother vloghammer related bugfix
Clifford Wolf [Thu, 11 Jul 2013 17:24:59 +0000 (19:24 +0200)]
Another vloghammer related bugfix

11 years agoBugfixes for empty signal vectors
Clifford Wolf [Wed, 10 Jul 2013 10:52:29 +0000 (12:52 +0200)]
Bugfixes for empty signal vectors

11 years agoFixed sign propagation in bit-wise operators
Clifford Wolf [Tue, 9 Jul 2013 21:53:55 +0000 (23:53 +0200)]
Fixed sign propagation in bit-wise operators

11 years agoMore fixes in ast expression sign/width handling
Clifford Wolf [Tue, 9 Jul 2013 21:41:28 +0000 (23:41 +0200)]
More fixes in ast expression sign/width handling

11 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Tue, 9 Jul 2013 17:00:10 +0000 (19:00 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

11 years agoFixed shift ops with large right hand side
Clifford Wolf [Tue, 9 Jul 2013 16:59:59 +0000 (18:59 +0200)]
Fixed shift ops with large right hand side

11 years agoMajor redesign of expr width/sign detecion (verilog/ast frontend)
Clifford Wolf [Tue, 9 Jul 2013 12:31:57 +0000 (14:31 +0200)]
Major redesign of expr width/sign detecion (verilog/ast frontend)

11 years agoFixed another bug found using vloghammer
Clifford Wolf [Sun, 7 Jul 2013 14:49:30 +0000 (16:49 +0200)]
Fixed another bug found using vloghammer

11 years agoFixed AST_CONSTANT node generation
Clifford Wolf [Sun, 7 Jul 2013 13:40:26 +0000 (15:40 +0200)]
Fixed AST_CONSTANT node generation

11 years agoRemoved tests/xsthammer
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

11 years agoAdded opt_clean -purge option
Clifford Wolf [Sun, 7 Jul 2013 10:59:30 +0000 (12:59 +0200)]
Added opt_clean -purge option

11 years agoFixed handling of $eq and $ne in opt_const
Clifford Wolf [Sun, 7 Jul 2013 10:59:00 +0000 (12:59 +0200)]
Fixed handling of $eq and $ne in opt_const

11 years agoFixed vivado related xsthammer bugs
Clifford Wolf [Fri, 5 Jul 2013 17:33:42 +0000 (19:33 +0200)]
Fixed vivado related xsthammer bugs

11 years agoVarious improvements in xsthammer report generator
Clifford Wolf [Fri, 5 Jul 2013 14:04:02 +0000 (16:04 +0200)]
Various improvements in xsthammer report generator