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

11 years agoAnother fix for a bug found using xsthammer
Clifford Wolf [Wed, 12 Jun 2013 17:09:14 +0000 (19:09 +0200)]
Another fix for a bug found using xsthammer

11 years agoAdded "scatter" command
Clifford Wolf [Wed, 12 Jun 2013 12:41:33 +0000 (14:41 +0200)]
Added "scatter" command

11 years agoRenamed yosys-show temp files to be dot-files in the users home directory
Clifford Wolf [Wed, 12 Jun 2013 08:42:59 +0000 (10:42 +0200)]
Renamed yosys-show temp files to be dot-files in the users home directory

11 years agoFixed gcc build (c++11 stuff in ezSAT)
Clifford Wolf [Wed, 12 Jun 2013 08:18:01 +0000 (10:18 +0200)]
Fixed gcc build (c++11 stuff in ezSAT)

11 years agoFurther improved and extended xsthammer
Clifford Wolf [Tue, 11 Jun 2013 17:49:35 +0000 (19:49 +0200)]
Further improved and extended xsthammer

11 years agoMore xsthammer improvements
Clifford Wolf [Mon, 10 Jun 2013 19:07:22 +0000 (21:07 +0200)]
More xsthammer improvements

11 years agoMore sign-extension related fixes
Clifford Wolf [Mon, 10 Jun 2013 19:04:04 +0000 (21:04 +0200)]
More sign-extension related fixes

11 years agoSign-extension related fixes in SatGen and AST frontend
Clifford Wolf [Mon, 10 Jun 2013 15:10:06 +0000 (17:10 +0200)]
Sign-extension related fixes in SatGen and AST frontend

11 years agoProgress xsthammer scripts
Clifford Wolf [Mon, 10 Jun 2013 14:17:09 +0000 (16:17 +0200)]
Progress xsthammer scripts

11 years agoImprovements and fixes in SAT code
Clifford Wolf [Mon, 10 Jun 2013 14:09:29 +0000 (16:09 +0200)]
Improvements and fixes in SAT code

11 years agoAdded history file read/write to driver
Clifford Wolf [Mon, 10 Jun 2013 13:42:52 +0000 (15:42 +0200)]
Added history file read/write to driver

11 years agoProgress in xsthammer: working proof for cell models
Clifford Wolf [Mon, 10 Jun 2013 11:57:10 +0000 (13:57 +0200)]
Progress in xsthammer: working proof for cell models

11 years agoFixes and improvements in AST const folding
Clifford Wolf [Mon, 10 Jun 2013 11:56:03 +0000 (13:56 +0200)]
Fixes and improvements in AST const folding

11 years agoEnabled AST/Verilog front-end optimizations per default
Clifford Wolf [Mon, 10 Jun 2013 11:19:04 +0000 (13:19 +0200)]
Enabled AST/Verilog front-end optimizations per default

11 years agoFixed generation of newlines in "dump" output
Clifford Wolf [Mon, 10 Jun 2013 10:38:02 +0000 (12:38 +0200)]
Fixed generation of newlines in "dump" output

11 years agoAdded "rename" command
Clifford Wolf [Mon, 10 Jun 2013 10:37:22 +0000 (12:37 +0200)]
Added "rename" command

11 years agoProgress on xsthammer
Clifford Wolf [Mon, 10 Jun 2013 10:37:05 +0000 (12:37 +0200)]
Progress on xsthammer

11 years agoAdded first xsthammer scripts
Clifford Wolf [Sun, 9 Jun 2013 23:40:20 +0000 (01:40 +0200)]
Added first xsthammer scripts

11 years agoRenamed "sat_solve" pass to "sat"
Clifford Wolf [Sun, 9 Jun 2013 19:55:53 +0000 (21:55 +0200)]
Renamed "sat_solve" pass to "sat"

11 years agoImplemented temporal induction proofs in sat_solve
Clifford Wolf [Sun, 9 Jun 2013 16:07:05 +0000 (18:07 +0200)]
Implemented temporal induction proofs in sat_solve

11 years agoAdded support for non-temporal proofs to sat_solve
Clifford Wolf [Sun, 9 Jun 2013 14:30:37 +0000 (16:30 +0200)]
Added support for non-temporal proofs to sat_solve

11 years agoRe-organization in sat_solver pass for temporal induction
Clifford Wolf [Sun, 9 Jun 2013 13:49:32 +0000 (15:49 +0200)]
Re-organization in sat_solver pass for temporal induction

11 years agoAdded ezSAT api support for don't care values in models
Clifford Wolf [Sun, 9 Jun 2013 12:21:18 +0000 (14:21 +0200)]
Added ezSAT api support for don't care values in models

11 years agoFixed handling of $_XOR_ in SAT generator
Clifford Wolf [Sun, 9 Jun 2013 12:01:50 +0000 (14:01 +0200)]
Fixed handling of $_XOR_ in SAT generator

11 years agoAdded sequential solving support to sat_solve
Clifford Wolf [Sun, 9 Jun 2013 11:35:46 +0000 (13:35 +0200)]
Added sequential solving support to sat_solve

11 years agoSet rl_basic_word_break_characters in shell
Clifford Wolf [Sun, 9 Jun 2013 09:51:06 +0000 (11:51 +0200)]
Set rl_basic_word_break_characters in shell

11 years agoImproved readline tab completion
Clifford Wolf [Sat, 8 Jun 2013 23:04:23 +0000 (01:04 +0200)]
Improved readline tab completion

11 years agoLook for yosys-abc and yosys-svgviewer where the main exe is
Clifford Wolf [Sat, 8 Jun 2013 22:07:26 +0000 (00:07 +0200)]
Look for yosys-abc and yosys-svgviewer where the main exe is

11 years agoAdded "make abc" and "make install-abc"
Clifford Wolf [Sat, 8 Jun 2013 21:48:19 +0000 (23:48 +0200)]
Added "make abc" and "make install-abc"

11 years agoMoved cmds from kernel/ to passes/cmds/
Clifford Wolf [Sat, 8 Jun 2013 21:16:36 +0000 (23:16 +0200)]
Moved cmds from kernel/ to passes/cmds/

11 years agoFixed typo is sat_solve help msg
Clifford Wolf [Sat, 8 Jun 2013 13:36:32 +0000 (15:36 +0200)]
Fixed typo is sat_solve help msg

11 years agoAdded support for shifter cells to SAT generator
Clifford Wolf [Sat, 8 Jun 2013 13:12:08 +0000 (15:12 +0200)]
Added support for shifter cells to SAT generator

11 years agoAdded "cd" and "ls" commands for convenience
Clifford Wolf [Sat, 8 Jun 2013 12:45:28 +0000 (14:45 +0200)]
Added "cd" and "ls" commands for convenience

11 years agoVarious improvements in sat_solve pass and SAT generator
Clifford Wolf [Sat, 8 Jun 2013 12:11:50 +0000 (14:11 +0200)]
Various improvements in sat_solve pass and SAT generator

11 years agoAdded -all and -max options to sat_solve
Clifford Wolf [Sat, 8 Jun 2013 10:17:30 +0000 (12:17 +0200)]
Added -all and -max options to sat_solve

11 years agoFixes and improvements in ezSAT library
Clifford Wolf [Sat, 8 Jun 2013 10:14:20 +0000 (12:14 +0200)]
Fixes and improvements in ezSAT library

11 years agoImproved auto-detection of -show signals in sat_solve
Clifford Wolf [Sat, 8 Jun 2013 07:34:36 +0000 (09:34 +0200)]
Improved auto-detection of -show signals in sat_solve

11 years agoImproved sat generator and sat_solve pass
Clifford Wolf [Fri, 7 Jun 2013 12:37:33 +0000 (14:37 +0200)]
Improved sat generator and sat_solve pass

11 years agoAdded SAT generator and simple sat_solve command
Clifford Wolf [Fri, 7 Jun 2013 11:59:13 +0000 (13:59 +0200)]
Added SAT generator and simple sat_solve command

11 years agoAdded ezSAT library
Clifford Wolf [Fri, 7 Jun 2013 08:38:35 +0000 (10:38 +0200)]
Added ezSAT library

11 years agoRenamed opt_rmunused to opt_clean
Clifford Wolf [Wed, 5 Jun 2013 05:07:31 +0000 (07:07 +0200)]
Renamed opt_rmunused to opt_clean

11 years agoImplemented technology mapping for multipliers (using array multiplier)
Clifford Wolf [Mon, 3 Jun 2013 10:48:44 +0000 (12:48 +0200)]
Implemented technology mapping for multipliers (using array multiplier)

11 years agoAdded "dump" command (part ilang backend)
Clifford Wolf [Sun, 2 Jun 2013 15:53:30 +0000 (17:53 +0200)]
Added "dump" command (part ilang backend)

11 years agoFixed techmap/flatten for positional module arguments
Clifford Wolf [Sun, 26 May 2013 10:21:17 +0000 (12:21 +0200)]
Fixed techmap/flatten for positional module arguments

11 years agoImproved log messages generated by hierarchy pass
Clifford Wolf [Sun, 26 May 2013 10:20:51 +0000 (12:20 +0200)]
Improved log messages generated by hierarchy pass

11 years agoAdded -nodetect option to fsm pass
Clifford Wolf [Fri, 24 May 2013 13:34:25 +0000 (15:34 +0200)]
Added -nodetect option to fsm pass

11 years agoFixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v
Clifford Wolf [Fri, 24 May 2013 13:15:59 +0000 (15:15 +0200)]
Fixed undef behavior in tests/asicworld/code_verilog_tutorial_fsm_full_tb.v

11 years agoImproved FSM one-hot encoding, added binary encoding
Clifford Wolf [Fri, 24 May 2013 12:39:19 +0000 (14:39 +0200)]
Improved FSM one-hot encoding, added binary encoding

11 years agoAdded log_assert() api
Clifford Wolf [Fri, 24 May 2013 12:38:36 +0000 (14:38 +0200)]
Added log_assert() api

11 years agoAdded log_abort() api
Clifford Wolf [Fri, 24 May 2013 10:32:06 +0000 (12:32 +0200)]
Added log_abort() api

11 years agoFixed a gcc vs. clang determinism problem in abc pass
Clifford Wolf [Thu, 23 May 2013 14:17:23 +0000 (16:17 +0200)]
Fixed a gcc vs. clang determinism problem in abc pass

11 years agoFixed memory corruption bug in opt_rmunused
Clifford Wolf [Thu, 23 May 2013 11:19:28 +0000 (13:19 +0200)]
Fixed memory corruption bug in opt_rmunused

11 years agoOnly initialize TCL interpreter when needed
Clifford Wolf [Thu, 23 May 2013 10:56:23 +0000 (12:56 +0200)]
Only initialize TCL interpreter when needed

11 years agoFixed memory leak in ilang frontend
Clifford Wolf [Thu, 23 May 2013 10:55:59 +0000 (12:55 +0200)]
Fixed memory leak in ilang frontend

11 years agoAdded missing newline to some error messages
Clifford Wolf [Thu, 23 May 2013 09:19:33 +0000 (11:19 +0200)]
Added missing newline to some error messages

11 years agoAdded labels to "help -write-tex-command-reference-manual" output
Clifford Wolf [Thu, 23 May 2013 07:49:37 +0000 (09:49 +0200)]
Added labels to "help -write-tex-command-reference-manual" output