yosys.git
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

11 years agoAdded work-around to isim bug in xsthammer report script
Clifford Wolf [Fri, 5 Jul 2013 13:29:03 +0000 (15:29 +0200)]
Added work-around to isim bug in xsthammer report script

11 years agoFixed gcc warnings in ezminisat
Clifford Wolf [Fri, 5 Jul 2013 13:00:20 +0000 (15:00 +0200)]
Fixed gcc warnings in ezminisat

11 years agoAdded CARRY4 Xilinx cell to xsthammer cell lib
Clifford Wolf [Fri, 5 Jul 2013 12:46:33 +0000 (14:46 +0200)]
Added CARRY4 Xilinx cell to xsthammer cell lib

11 years agoAdded xsthammer report generator
Clifford Wolf [Fri, 5 Jul 2013 12:21:24 +0000 (14:21 +0200)]
Added xsthammer report generator

11 years agoImproved xsthammer quartus support
Clifford Wolf [Thu, 4 Jul 2013 19:26:49 +0000 (21:26 +0200)]
Improved xsthammer quartus support

11 years agoAdded Altera Cyclon III cell library to xsthammer
Clifford Wolf [Thu, 4 Jul 2013 12:50:03 +0000 (14:50 +0200)]
Added Altera Cyclon III cell library to xsthammer

11 years agoDocumentation updates
Clifford Wolf [Thu, 4 Jul 2013 12:17:25 +0000 (14:17 +0200)]
Documentation updates

11 years agoAdded defparam support to Verilog/AST frontend
Clifford Wolf [Thu, 4 Jul 2013 12:12:33 +0000 (14:12 +0200)]
Added defparam support to Verilog/AST frontend

11 years agoAdded QMAKE makefile variable
Clifford Wolf [Wed, 3 Jul 2013 21:54:43 +0000 (23:54 +0200)]
Added QMAKE makefile variable

11 years agoAdded Altera Quartus support to xsthammer
Clifford Wolf [Wed, 3 Jul 2013 18:40:54 +0000 (20:40 +0200)]
Added Altera Quartus support to xsthammer

11 years agoProgress in xsthammer
Clifford Wolf [Wed, 3 Jul 2013 09:19:18 +0000 (11:19 +0200)]
Progress in xsthammer

11 years agoAdded vivado support to xsthammer
Clifford Wolf [Wed, 26 Jun 2013 10:34:06 +0000 (12:34 +0200)]
Added vivado support to xsthammer

11 years agoAdded SAT support for -all/-max with -verify
Clifford Wolf [Sun, 23 Jun 2013 11:28:30 +0000 (13:28 +0200)]
Added SAT support for -all/-max with -verify

11 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 20 Jun 2013 10:49:28 +0000 (12:49 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

11 years agoAdded timout functionality to SAT solver
Clifford Wolf [Thu, 20 Jun 2013 10:49:10 +0000 (12:49 +0200)]
Added timout functionality to SAT solver

11 years agoAdded renaming of wires and cells to "rename" command
Clifford Wolf [Wed, 19 Jun 2013 14:55:43 +0000 (16:55 +0200)]
Added renaming of wires and cells to "rename" command

11 years agoAdded "eval" pass
Clifford Wolf [Wed, 19 Jun 2013 07:30:37 +0000 (09:30 +0200)]
Added "eval" pass

11 years agoFixed build with clang
Clifford Wolf [Tue, 18 Jun 2013 17:54:33 +0000 (19:54 +0200)]
Fixed build with clang

11 years agoAdded splitnets command
Clifford Wolf [Tue, 18 Jun 2013 15:11:36 +0000 (17:11 +0200)]
Added splitnets command

11 years agoAdded RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API
Clifford Wolf [Tue, 18 Jun 2013 15:11:13 +0000 (17:11 +0200)]
Added RTLIL::Module::fixup_ports() API and RTLIL::*::rewrite_sigspecs() API

11 years agoAdded more stuff to xsthammer, found first xst bug
Clifford Wolf [Mon, 17 Jun 2013 09:30:25 +0000 (11:30 +0200)]
Added more stuff to xsthammer, found first xst bug

11 years agoAdded support for "assign" statements in abc vlparse
Clifford Wolf [Sat, 15 Jun 2013 11:50:38 +0000 (13:50 +0200)]
Added support for "assign" statements in abc vlparse

11 years agoAdded ternary op and concat op to xsthammer
Clifford Wolf [Sat, 15 Jun 2013 09:00:34 +0000 (11:00 +0200)]
Added ternary op and concat op to xsthammer

11 years agoFixed even more ConstEval bugs found using xsthammer
Clifford Wolf [Fri, 14 Jun 2013 08:31:18 +0000 (10:31 +0200)]
Fixed even more ConstEval bugs found using xsthammer

11 years agoAdded consteval testing to xsthammer and fixed bugs
Clifford Wolf [Thu, 13 Jun 2013 17:51:13 +0000 (19:51 +0200)]
Added consteval testing to xsthammer and fixed bugs

11 years agoMore xsthammer improvements (using xst 14.5 now)
Clifford Wolf [Thu, 13 Jun 2013 15:23:51 +0000 (17:23 +0200)]
More xsthammer improvements (using xst 14.5 now)

11 years agoMore fixes for bugs found using xsthammer
Clifford Wolf [Thu, 13 Jun 2013 09:18:45 +0000 (11:18 +0200)]
More fixes for bugs found using xsthammer

11 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 12 Jun 2013 17:31:17 +0000 (19:31 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys