yosys.git
10 years agoChanges to "memory" pass for new $memwr/$mem WR_EN interface
Clifford Wolf [Wed, 16 Jul 2014 10:13:13 +0000 (12:13 +0200)]
Changes to "memory" pass for new $memwr/$mem WR_EN interface

10 years agoUpdated simlib to new $mem/$memwr interface
Clifford Wolf [Wed, 16 Jul 2014 09:46:40 +0000 (11:46 +0200)]
Updated simlib to new $mem/$memwr interface

10 years agoChanged the $mem/$memwr WR_EN input to a per-data-bit enable signal
Clifford Wolf [Wed, 16 Jul 2014 09:38:02 +0000 (11:38 +0200)]
Changed the $mem/$memwr WR_EN input to a per-data-bit enable signal

10 years agoAdded note to "make test": use git checkout of iverilog
Clifford Wolf [Wed, 16 Jul 2014 08:03:07 +0000 (10:03 +0200)]
Added note to "make test": use git checkout of iverilog

10 years agoAdded passing of various options to vhdl2verilog
Clifford Wolf [Sat, 12 Jul 2014 08:02:39 +0000 (10:02 +0200)]
Added passing of various options to vhdl2verilog

10 years agoUse "verilog -sv" to parse .sv files
Clifford Wolf [Fri, 11 Jul 2014 11:10:51 +0000 (13:10 +0200)]
Use "verilog -sv" to parse .sv files

10 years agoFixed processing of initial values for block-local variables
Clifford Wolf [Fri, 11 Jul 2014 11:05:53 +0000 (13:05 +0200)]
Fixed processing of initial values for block-local variables

10 years agonow ignore init attributes on non-register wires in sat command
Clifford Wolf [Sat, 5 Jul 2014 09:17:40 +0000 (11:17 +0200)]
now ignore init attributes on non-register wires in sat command

10 years agofixed parsing of constant with comment between size and value
Clifford Wolf [Wed, 2 Jul 2014 04:27:04 +0000 (06:27 +0200)]
fixed parsing of constant with comment between size and value

10 years agosmall changes in presentation
Clifford Wolf [Wed, 2 Jul 2014 04:16:31 +0000 (06:16 +0200)]
small changes in presentation

10 years agoTiny fix in presentation
Clifford Wolf [Sun, 29 Jun 2014 07:27:03 +0000 (09:27 +0200)]
Tiny fix in presentation

10 years agoProgress in presentation
Clifford Wolf [Sun, 29 Jun 2014 07:14:49 +0000 (09:14 +0200)]
Progress in presentation

10 years agoAdded links to some liberty files to README
Clifford Wolf [Sat, 28 Jun 2014 10:11:42 +0000 (12:11 +0200)]
Added links to some liberty files to README

10 years agoProgress in presentation
Clifford Wolf [Thu, 26 Jun 2014 20:05:39 +0000 (22:05 +0200)]
Progress in presentation

10 years agoFixed handling of mixed real/int ternary expressions
Clifford Wolf [Wed, 25 Jun 2014 08:05:36 +0000 (10:05 +0200)]
Fixed handling of mixed real/int ternary expressions

10 years agoMore found_real-related fixes to AstNode::detectSignWidthWorker
Clifford Wolf [Tue, 24 Jun 2014 13:08:48 +0000 (15:08 +0200)]
More found_real-related fixes to AstNode::detectSignWidthWorker

10 years agoProgress in presentation
Clifford Wolf [Sun, 22 Jun 2014 10:50:29 +0000 (12:50 +0200)]
Progress in presentation

10 years agoLittle steps in realmath test bench
Clifford Wolf [Sat, 21 Jun 2014 19:43:04 +0000 (21:43 +0200)]
Little steps in realmath test bench

10 years agofixed signdness detection for expressions with reals
Clifford Wolf [Sat, 21 Jun 2014 19:41:13 +0000 (21:41 +0200)]
fixed signdness detection for expressions with reals

10 years agofixed typo
Clifford Wolf [Sat, 21 Jun 2014 19:13:18 +0000 (21:13 +0200)]
fixed typo

10 years agoProgress in presentation
Clifford Wolf [Sat, 21 Jun 2014 14:33:33 +0000 (16:33 +0200)]
Progress in presentation

10 years agoDo not create $dffsr cells with no-op resets in proc_dff
Clifford Wolf [Thu, 19 Jun 2014 10:29:29 +0000 (12:29 +0200)]
Do not create $dffsr cells with no-op resets in proc_dff

10 years agoAdded test case for AstNode::MEM2REG_FL_CMPLX_LHS
Clifford Wolf [Tue, 17 Jun 2014 19:49:59 +0000 (21:49 +0200)]
Added test case for AstNode::MEM2REG_FL_CMPLX_LHS

10 years agoAdded AstNode::MEM2REG_FL_CMPLX_LHS
Clifford Wolf [Tue, 17 Jun 2014 19:39:25 +0000 (21:39 +0200)]
Added AstNode::MEM2REG_FL_CMPLX_LHS

10 years agoImproved handling of relational op of real values
Clifford Wolf [Tue, 17 Jun 2014 10:47:51 +0000 (12:47 +0200)]
Improved handling of relational op of real values

10 years agoLittle steps in realmath test bench
Clifford Wolf [Mon, 16 Jun 2014 13:21:08 +0000 (15:21 +0200)]
Little steps in realmath test bench

10 years agoImproved ternary support for real values
Clifford Wolf [Mon, 16 Jun 2014 13:12:24 +0000 (15:12 +0200)]
Improved ternary support for real values

10 years agoUse undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012
Clifford Wolf [Mon, 16 Jun 2014 13:05:37 +0000 (15:05 +0200)]
Use undef (x/z vs. NaN) rules for real values from IEEE Std 1800-2012

10 years agoFixed parsing of TOK_INTEGER (implies TOK_SIGNED)
Clifford Wolf [Mon, 16 Jun 2014 13:02:40 +0000 (15:02 +0200)]
Fixed parsing of TOK_INTEGER (implies TOK_SIGNED)

10 years agoAdded found_real feature to AstNode::detectSignWidth
Clifford Wolf [Mon, 16 Jun 2014 13:00:57 +0000 (15:00 +0200)]
Added found_real feature to AstNode::detectSignWidth

10 years agoAdded more calls to "hierarchy" to README file
Clifford Wolf [Sun, 15 Jun 2014 09:51:51 +0000 (11:51 +0200)]
Added more calls to "hierarchy" to README file

10 years agoRemoved long running tests from tests/simple/realexpr.v (replaced by tests/realmath)
Clifford Wolf [Sun, 15 Jun 2014 07:39:22 +0000 (09:39 +0200)]
Removed long running tests from tests/simple/realexpr.v (replaced by tests/realmath)

10 years agoAdded tests/realmath to "make test"
Clifford Wolf [Sun, 15 Jun 2014 07:31:03 +0000 (09:31 +0200)]
Added tests/realmath to "make test"

10 years agoImproved AstNode::realAsConst for large numbers
Clifford Wolf [Sun, 15 Jun 2014 07:27:09 +0000 (09:27 +0200)]
Improved AstNode::realAsConst for large numbers

10 years agoImproved realmath test bench
Clifford Wolf [Sun, 15 Jun 2014 06:48:41 +0000 (08:48 +0200)]
Improved realmath test bench

10 years agoImproved parsing of large integer constants
Clifford Wolf [Sun, 15 Jun 2014 06:48:17 +0000 (08:48 +0200)]
Improved parsing of large integer constants

10 years agoImproved AstNode::asReal for large integers
Clifford Wolf [Sun, 15 Jun 2014 06:38:31 +0000 (08:38 +0200)]
Improved AstNode::asReal for large integers

10 years agoimproved realmath test bench
Clifford Wolf [Sat, 14 Jun 2014 18:38:40 +0000 (20:38 +0200)]
improved realmath test bench

10 years agoimproved (fixed) conversion of real values to bit vectors
Clifford Wolf [Sat, 14 Jun 2014 18:38:05 +0000 (20:38 +0200)]
improved (fixed) conversion of real values to bit vectors

10 years agoprogress in realmath test bench
Clifford Wolf [Sat, 14 Jun 2014 17:56:22 +0000 (19:56 +0200)]
progress in realmath test bench

10 years agoFixed relational operators for const real expressions
Clifford Wolf [Sat, 14 Jun 2014 17:33:58 +0000 (19:33 +0200)]
Fixed relational operators for const real expressions

10 years agoadded first draft of real math testcase generator
Clifford Wolf [Sat, 14 Jun 2014 17:24:01 +0000 (19:24 +0200)]
added first draft of real math testcase generator

10 years agoProgress in presentation
Clifford Wolf [Sat, 14 Jun 2014 14:42:30 +0000 (16:42 +0200)]
Progress in presentation

10 years agoAdded %D and %c select commands
Clifford Wolf [Sat, 14 Jun 2014 14:19:32 +0000 (16:19 +0200)]
Added %D and %c select commands

10 years agoAdded support for math functions
Clifford Wolf [Sat, 14 Jun 2014 11:36:23 +0000 (13:36 +0200)]
Added support for math functions

10 years agoAdded realexpr.v test case
Clifford Wolf [Sat, 14 Jun 2014 10:01:17 +0000 (12:01 +0200)]
Added realexpr.v test case

10 years agoAdded handling of real-valued parameters/localparams
Clifford Wolf [Sat, 14 Jun 2014 10:00:47 +0000 (12:00 +0200)]
Added handling of real-valued parameters/localparams

10 years agoImplemented more real arithmetic
Clifford Wolf [Sat, 14 Jun 2014 09:27:05 +0000 (11:27 +0200)]
Implemented more real arithmetic

10 years agoImplemented basic real arithmetic
Clifford Wolf [Sat, 14 Jun 2014 06:51:22 +0000 (08:51 +0200)]
Implemented basic real arithmetic

10 years agoAdded real->int convertion in ast genrtlil
Clifford Wolf [Sat, 14 Jun 2014 05:44:19 +0000 (07:44 +0200)]
Added real->int convertion in ast genrtlil

10 years agoAdded Verilog lexer and parser support for real values
Clifford Wolf [Fri, 13 Jun 2014 09:29:23 +0000 (11:29 +0200)]
Added Verilog lexer and parser support for real values

10 years agoAdded read_verilog -sv options, added support for bit, logic,
Clifford Wolf [Thu, 12 Jun 2014 09:54:20 +0000 (11:54 +0200)]
Added read_verilog -sv options, added support for bit, logic,
allways_ff, always_comb, and always_latch

10 years agoNow we are in Yoys 0.3.0+ development
Clifford Wolf [Sun, 8 Jun 2014 13:31:27 +0000 (15:31 +0200)]
Now we are in Yoys 0.3.0+ development

10 years agoTagging Yosys 0.3.0 yosys-0.3.0
Clifford Wolf [Sun, 8 Jun 2014 13:28:36 +0000 (15:28 +0200)]
Tagging Yosys 0.3.0

10 years agoUpdated ABC to 7600ffb9340c
Clifford Wolf [Sun, 8 Jun 2014 08:12:39 +0000 (10:12 +0200)]
Updated ABC to 7600ffb9340c

10 years agoadded tests for new verilog features
Clifford Wolf [Sat, 7 Jun 2014 10:18:00 +0000 (12:18 +0200)]
added tests for new verilog features

10 years agofixed cell array handling of positional arguments
Clifford Wolf [Sat, 7 Jun 2014 10:17:06 +0000 (12:17 +0200)]
fixed cell array handling of positional arguments

10 years agoAdd support for cell arrays
Clifford Wolf [Sat, 7 Jun 2014 09:48:50 +0000 (11:48 +0200)]
Add support for cell arrays

10 years agoAdded support for repeat stmt in const functions
Clifford Wolf [Sat, 7 Jun 2014 08:47:53 +0000 (10:47 +0200)]
Added support for repeat stmt in const functions

10 years agofurther improved const function support
Clifford Wolf [Fri, 6 Jun 2014 22:02:05 +0000 (00:02 +0200)]
further improved const function support

10 years agomade the generate..endgenrate keywords optional
Clifford Wolf [Fri, 6 Jun 2014 21:05:01 +0000 (23:05 +0200)]
made the generate..endgenrate keywords optional

10 years agoimproved const function support
Clifford Wolf [Fri, 6 Jun 2014 20:55:02 +0000 (22:55 +0200)]
improved const function support

10 years agofix functions with no block (but single statement, loop, etc.)
Clifford Wolf [Fri, 6 Jun 2014 19:29:23 +0000 (21:29 +0200)]
fix functions with no block (but single statement, loop, etc.)

10 years agoAdded tests/simple/repwhile.v
Clifford Wolf [Fri, 6 Jun 2014 15:47:20 +0000 (17:47 +0200)]
Added tests/simple/repwhile.v

10 years agoimproved ast simplify of const functions
Clifford Wolf [Fri, 6 Jun 2014 15:40:45 +0000 (17:40 +0200)]
improved ast simplify of const functions

10 years agoadded while and repeat support to verilog parser
Clifford Wolf [Fri, 6 Jun 2014 15:40:04 +0000 (17:40 +0200)]
added while and repeat support to verilog parser

10 years agoImproved error message for options after front-end filename arguments
Clifford Wolf [Wed, 4 Jun 2014 07:10:50 +0000 (09:10 +0200)]
Improved error message for options after front-end filename arguments

10 years agoadded tee cmd
Clifford Wolf [Tue, 3 Jun 2014 07:23:31 +0000 (09:23 +0200)]
added tee cmd

10 years agoFixed log messages in memory_dff
Clifford Wolf [Sun, 1 Jun 2014 09:32:27 +0000 (11:32 +0200)]
Fixed log messages in memory_dff

10 years agoUpdated ABC to rev fa4404b395f0
Clifford Wolf [Thu, 29 May 2014 09:03:15 +0000 (11:03 +0200)]
Updated ABC to rev fa4404b395f0

10 years agoMerge pull request #36 from hansiglaser/master
Clifford Wolf [Thu, 29 May 2014 08:26:55 +0000 (10:26 +0200)]
Merge pull request #36 from hansiglaser/master

Various changes merged

10 years agoadded log_header to miter and expose pass, show cell type for exposed ports
Johann Glaser [Wed, 28 May 2014 16:05:38 +0000 (18:05 +0200)]
added log_header to miter and expose pass, show cell type for exposed ports

10 years agonew flags -ignore_miss_func and -ignore_miss_dir for read_liberty
Johann Glaser [Wed, 28 May 2014 14:50:13 +0000 (16:50 +0200)]
new flags -ignore_miss_func and -ignore_miss_dir for read_liberty

10 years agobe more verbose when techmap yielded processes
Johann Glaser [Mon, 26 May 2014 15:13:41 +0000 (17:13 +0200)]
be more verbose when techmap yielded processes

10 years agoFixed bug in opt_reduce (see vloghammer issue_044)
Clifford Wolf [Mon, 12 May 2014 10:45:47 +0000 (12:45 +0200)]
Fixed bug in opt_reduce (see vloghammer issue_044)

10 years agofixed syntax error in dot file created by "show" command
Clifford Wolf [Sat, 10 May 2014 14:22:56 +0000 (16:22 +0200)]
fixed syntax error in dot file created by "show" command

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Fri, 9 May 2014 16:24:13 +0000 (18:24 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoUpdated ABC to 67c84cdd49e4
Clifford Wolf [Fri, 9 May 2014 16:23:21 +0000 (18:23 +0200)]
Updated ABC to 67c84cdd49e4

10 years agoProgress in presentation
Clifford Wolf [Tue, 6 May 2014 12:42:04 +0000 (14:42 +0200)]
Progress in presentation

10 years agoImproved ezsat stand-alone tests
Clifford Wolf [Tue, 6 May 2014 11:48:25 +0000 (13:48 +0200)]
Improved ezsat stand-alone tests

10 years agoworkaround for OpenBSD 'stdout' implementation
Clifford Wolf [Sat, 3 May 2014 10:55:56 +0000 (12:55 +0200)]
workaround for OpenBSD 'stdout' implementation

10 years agoworkaround for OpenBSD 'stdin' implementation
Clifford Wolf [Fri, 2 May 2014 11:22:26 +0000 (13:22 +0200)]
workaround for OpenBSD 'stdin' implementation

10 years agoMerge pull request #35 from bentley/dox
Clifford Wolf [Fri, 2 May 2014 11:18:43 +0000 (13:18 +0200)]
Merge pull request #35 from bentley/dox

Typos and grammar fixes through chapter 4.

10 years agoTypos and grammar fixes through chapter 4.
Anthony J. Bentley [Fri, 2 May 2014 09:08:40 +0000 (03:08 -0600)]
Typos and grammar fixes through chapter 4.

10 years agoFixed clang -Wdeprecated-register warnings
Clifford Wolf [Sun, 20 Apr 2014 12:28:23 +0000 (14:28 +0200)]
Fixed clang -Wdeprecated-register warnings

10 years agoReplaced depricated %name-prefix= bison directive
Clifford Wolf [Sun, 20 Apr 2014 12:22:11 +0000 (14:22 +0200)]
Replaced depricated %name-prefix= bison directive

10 years agominisat compile fix
Clifford Wolf [Sun, 20 Apr 2014 12:17:40 +0000 (14:17 +0200)]
minisat compile fix

10 years agoUpdated README
Clifford Wolf [Fri, 18 Apr 2014 08:19:46 +0000 (10:19 +0200)]
Updated README

10 years agoMerge pull request #33 from bentley/dox
Clifford Wolf [Fri, 11 Apr 2014 11:06:02 +0000 (13:06 +0200)]
Merge pull request #33 from bentley/dox

Typos and grammar fixes through chapter 2.

10 years agoTypos and grammar fixes through chapter 2.
Anthony J. Bentley [Fri, 11 Apr 2014 08:42:59 +0000 (02:42 -0600)]
Typos and grammar fixes through chapter 2.

10 years agoMerge pull request #31 from bentley/posix-rm
Clifford Wolf [Sat, 5 Apr 2014 00:56:28 +0000 (02:56 +0200)]
Merge pull request #31 from bentley/posix-rm

Remove non-POSIX 'rm -v'.

10 years agoPOSIX find requires a path argument.
Anthony J. Bentley [Fri, 4 Apr 2014 22:51:27 +0000 (16:51 -0600)]
POSIX find requires a path argument.

10 years agoRemove non-POSIX 'rm -v'.
Anthony J. Bentley [Fri, 4 Apr 2014 22:39:03 +0000 (16:39 -0600)]
Remove non-POSIX 'rm -v'.

10 years agoAdded SIMLIB_NOLUT to simlib.v
Clifford Wolf [Wed, 2 Apr 2014 19:28:33 +0000 (21:28 +0200)]
Added SIMLIB_NOLUT to simlib.v

10 years agoAdded SIMLIB_NOSR to simlib.v
Clifford Wolf [Wed, 2 Apr 2014 19:06:55 +0000 (21:06 +0200)]
Added SIMLIB_NOSR to simlib.v

10 years agoAdded support for dlatchsr cells
Clifford Wolf [Mon, 31 Mar 2014 12:14:40 +0000 (14:14 +0200)]
Added support for dlatchsr cells

10 years agoFixed mapping of Verific WIDE_DFFRS operator
Clifford Wolf [Thu, 20 Mar 2014 12:40:01 +0000 (13:40 +0100)]
Fixed mapping of Verific WIDE_DFFRS operator

10 years agoFixed mapping of Verific FADD primitive with unconnected outputs
Clifford Wolf [Thu, 20 Mar 2014 12:26:52 +0000 (13:26 +0100)]
Fixed mapping of Verific FADD primitive with unconnected outputs

10 years agoFixed performance problem in opt_mux with nets driven by many conflicting drivers
Clifford Wolf [Wed, 19 Mar 2014 09:05:01 +0000 (10:05 +0100)]
Fixed performance problem in opt_mux with nets driven by many conflicting drivers

10 years agoProgress in Verific bindings
Clifford Wolf [Mon, 17 Mar 2014 13:42:07 +0000 (14:42 +0100)]
Progress in Verific bindings