yosys.git
10 years agoAdded sincos test case
Clifford Wolf [Wed, 4 Dec 2013 08:10:41 +0000 (09:10 +0100)]
Added sincos test case

10 years agoAdded support for local regs in named blocks
Clifford Wolf [Wed, 4 Dec 2013 08:10:16 +0000 (09:10 +0100)]
Added support for local regs in named blocks

10 years agoFixed gentb_constant handling in autotest backend
Clifford Wolf [Wed, 4 Dec 2013 08:09:42 +0000 (09:09 +0100)]
Fixed gentb_constant handling in autotest backend

10 years agoMore ABC releated Makefile changes
Clifford Wolf [Wed, 4 Dec 2013 07:31:52 +0000 (08:31 +0100)]
More ABC releated Makefile changes

10 years agoMinor improvements in ABc build
Clifford Wolf [Tue, 3 Dec 2013 15:50:14 +0000 (16:50 +0100)]
Minor improvements in ABc build

10 years agoProgress on AppNote 011
Clifford Wolf [Mon, 2 Dec 2013 11:54:21 +0000 (12:54 +0100)]
Progress on AppNote 011

10 years agoFixed submod for non-primitive cells
Clifford Wolf [Mon, 2 Dec 2013 11:53:55 +0000 (12:53 +0100)]
Fixed submod for non-primitive cells

10 years agoFixed submod for non-cleaned designs
Clifford Wolf [Mon, 2 Dec 2013 11:18:07 +0000 (12:18 +0100)]
Fixed submod for non-cleaned designs

10 years agoAdded Pass:call_newsel API
Clifford Wolf [Mon, 2 Dec 2013 11:17:04 +0000 (12:17 +0100)]
Added Pass:call_newsel API

10 years agoAdded "history" command
Clifford Wolf [Mon, 2 Dec 2013 10:29:39 +0000 (11:29 +0100)]
Added "history" command

10 years agoA fix in memory_dff for write ports with static addresses
Clifford Wolf [Sun, 1 Dec 2013 13:08:18 +0000 (14:08 +0100)]
A fix in memory_dff for write ports with static addresses

10 years agoProgress on AppNote 011
Clifford Wolf [Sun, 1 Dec 2013 13:07:44 +0000 (14:07 +0100)]
Progress on AppNote 011

10 years agoProgress on AppNote 011
Clifford Wolf [Fri, 29 Nov 2013 15:42:49 +0000 (16:42 +0100)]
Progress on AppNote 011

10 years agoProgress on AppNote 011
Clifford Wolf [Fri, 29 Nov 2013 11:51:16 +0000 (12:51 +0100)]
Progress on AppNote 011

10 years agoUsing RTLIL::id2cstr for prompt printing
Clifford Wolf [Fri, 29 Nov 2013 10:55:18 +0000 (11:55 +0100)]
Using RTLIL::id2cstr for prompt printing

10 years agoAdded dump -m and -n options
Clifford Wolf [Fri, 29 Nov 2013 09:33:36 +0000 (10:33 +0100)]
Added dump -m and -n options

10 years agoProgress on AppNote 011
Clifford Wolf [Thu, 28 Nov 2013 22:09:03 +0000 (23:09 +0100)]
Progress on AppNote 011

10 years agoMerge pull request #17 from mschmoelzer/master
Clifford Wolf [Thu, 28 Nov 2013 21:04:45 +0000 (13:04 -0800)]
Merge pull request #17 from mschmoelzer/master

Include unistd.h in svgview.cpp (required for getcwd() function)

10 years agoFixed temp net name generation in rtlil process generator for abbreviated name matching
Clifford Wolf [Thu, 28 Nov 2013 20:47:08 +0000 (21:47 +0100)]
Fixed temp net name generation in rtlil process generator for abbreviated name matching

10 years agoAdded pattern support to "ls" command
Clifford Wolf [Thu, 28 Nov 2013 20:34:41 +0000 (21:34 +0100)]
Added pattern support to "ls" command

10 years agoImproved ID matching scheme in select (and thus for all commands)
Clifford Wolf [Thu, 28 Nov 2013 20:13:16 +0000 (21:13 +0100)]
Improved ID matching scheme in select (and thus for all commands)

10 years agoFixes and improvements in "show" command
Clifford Wolf [Thu, 28 Nov 2013 20:02:19 +0000 (21:02 +0100)]
Fixes and improvements in "show" command

10 years agoInclude unistd.h in svgview.cpp (required for getcwd() function)
Martin Schmölzer [Thu, 28 Nov 2013 17:38:40 +0000 (18:38 +0100)]
Include unistd.h in svgview.cpp (required for getcwd() function)

This fixes compilation on Arch Linux, which otherwise fails.

Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
10 years agoMore progress on AppNote 011
Clifford Wolf [Thu, 28 Nov 2013 16:39:16 +0000 (17:39 +0100)]
More progress on AppNote 011

10 years agoAdded "src" attribute to processes
Clifford Wolf [Thu, 28 Nov 2013 16:37:50 +0000 (17:37 +0100)]
Added "src" attribute to processes

10 years agoStarted writing appnote 011
Clifford Wolf [Thu, 28 Nov 2013 12:48:38 +0000 (13:48 +0100)]
Started writing appnote 011

10 years agoAdded support for "show -pause" and "show -format dot"
Clifford Wolf [Thu, 28 Nov 2013 12:35:28 +0000 (13:35 +0100)]
Added support for "show -pause" and "show -format dot"

10 years agoAdded QGraphicsWebView to yosys-svgviewer
Clifford Wolf [Thu, 28 Nov 2013 10:57:25 +0000 (11:57 +0100)]
Added QGraphicsWebView to yosys-svgviewer

10 years agoUpdated ABC to 9241719523f6
Clifford Wolf [Wed, 27 Nov 2013 23:43:17 +0000 (00:43 +0100)]
Updated ABC to 9241719523f6

10 years agoAdded some svgviewer code for possible future switch to QGraphicsWebView
Clifford Wolf [Wed, 27 Nov 2013 19:43:42 +0000 (20:43 +0100)]
Added some svgviewer code for possible future switch to QGraphicsWebView

10 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 27 Nov 2013 08:08:42 +0000 (09:08 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

10 years agoTighter integration of ABC build
Clifford Wolf [Wed, 27 Nov 2013 08:08:35 +0000 (09:08 +0100)]
Tighter integration of ABC build

10 years agoSet version number to 0.1.0+
Clifford Wolf [Wed, 27 Nov 2013 05:29:13 +0000 (06:29 +0100)]
Set version number to 0.1.0+

10 years agoStarted implementing undef support in "sat" command
Clifford Wolf [Mon, 25 Nov 2013 20:40:00 +0000 (21:40 +0100)]
Started implementing undef support in "sat" command

10 years agoBugfixes in new "stat" command
Clifford Wolf [Mon, 25 Nov 2013 20:08:34 +0000 (21:08 +0100)]
Bugfixes in new "stat" command

10 years agoAdded "stat" command
Clifford Wolf [Mon, 25 Nov 2013 19:43:57 +0000 (20:43 +0100)]
Added "stat" command

10 years agoImprovements in satgen undef handling
Clifford Wolf [Mon, 25 Nov 2013 15:50:45 +0000 (16:50 +0100)]
Improvements in satgen undef handling

10 years agoImprovements in satgen undef handling
Clifford Wolf [Mon, 25 Nov 2013 14:12:01 +0000 (15:12 +0100)]
Improvements in satgen undef handling

10 years agoAdded ezsat vec_const() api
Clifford Wolf [Mon, 25 Nov 2013 14:10:32 +0000 (15:10 +0100)]
Added ezsat vec_const() api

10 years agoStarted implementing undef handling in satgen
Clifford Wolf [Mon, 25 Nov 2013 03:51:33 +0000 (04:51 +0100)]
Started implementing undef handling in satgen

10 years agoRemoved undef feature from ezsat api
Clifford Wolf [Mon, 25 Nov 2013 01:50:34 +0000 (02:50 +0100)]
Removed undef feature from ezsat api

10 years agoUsing simplemap mappers from techmap
Clifford Wolf [Sun, 24 Nov 2013 22:31:14 +0000 (23:31 +0100)]
Using simplemap mappers from techmap

10 years agoAdded simplemap pass
Clifford Wolf [Sun, 24 Nov 2013 21:52:30 +0000 (22:52 +0100)]
Added simplemap pass

10 years agoRenamed stdcells_sim.v to simcells.v and fixed blackbox.v
Clifford Wolf [Sun, 24 Nov 2013 19:44:00 +0000 (20:44 +0100)]
Renamed stdcells_sim.v to simcells.v and fixed blackbox.v

10 years agoAdded module->avail_parameters (for advanced techmap features)
Clifford Wolf [Sun, 24 Nov 2013 19:29:07 +0000 (20:29 +0100)]
Added module->avail_parameters (for advanced techmap features)

10 years agoAdded techmap -D and -I options
Clifford Wolf [Sun, 24 Nov 2013 19:04:48 +0000 (20:04 +0100)]
Added techmap -D and -I options

10 years agoAdded verilog frontend -ignore_redef option
Clifford Wolf [Sun, 24 Nov 2013 18:57:42 +0000 (19:57 +0100)]
Added verilog frontend -ignore_redef option

10 years agoAdded "techmap -share_map" option
Clifford Wolf [Sun, 24 Nov 2013 18:50:25 +0000 (19:50 +0100)]
Added "techmap -share_map" option

10 years agoEarly wire/reg/parameter width calculation in ast/simplify
Clifford Wolf [Sun, 24 Nov 2013 18:40:23 +0000 (19:40 +0100)]
Early wire/reg/parameter width calculation in ast/simplify

10 years agoUpdated TODOs
Clifford Wolf [Sun, 24 Nov 2013 16:58:05 +0000 (17:58 +0100)]
Updated TODOs

10 years agoFixed xilinx/example_sim_counter test bench
Clifford Wolf [Sun, 24 Nov 2013 16:55:46 +0000 (17:55 +0100)]
Fixed xilinx/example_sim_counter test bench

10 years agoAdded proper dumping of signed/unsigned parameters to verilog backend
Clifford Wolf [Sun, 24 Nov 2013 16:47:22 +0000 (17:47 +0100)]
Added proper dumping of signed/unsigned parameters to verilog backend

10 years agoAdded support for signed parameters in ilang
Clifford Wolf [Sun, 24 Nov 2013 16:37:27 +0000 (17:37 +0100)]
Added support for signed parameters in ilang

10 years agoRemoved now obsolete test cases
Clifford Wolf [Sun, 24 Nov 2013 16:30:04 +0000 (17:30 +0100)]
Removed now obsolete test cases

10 years agoRemove auto_wire framework (smarter than the verilog standard)
Clifford Wolf [Sun, 24 Nov 2013 16:29:11 +0000 (17:29 +0100)]
Remove auto_wire framework (smarter than the verilog standard)

10 years agoImplemented correct handling of signed module parameters
Clifford Wolf [Sun, 24 Nov 2013 16:17:21 +0000 (17:17 +0100)]
Implemented correct handling of signed module parameters

10 years agoAdded modelsim support to autotest
Clifford Wolf [Sun, 24 Nov 2013 14:10:43 +0000 (15:10 +0100)]
Added modelsim support to autotest

10 years agoFixed "flatten" top-module detection: Only use on fully selected designs
Clifford Wolf [Sun, 24 Nov 2013 13:10:46 +0000 (14:10 +0100)]
Fixed "flatten" top-module detection: Only use on fully selected designs

10 years agoFixed "make install" dependencies
Clifford Wolf [Sun, 24 Nov 2013 04:05:50 +0000 (05:05 +0100)]
Fixed "make install" dependencies

10 years agoAdded "top" attribute to mark top module in hierarchy
Clifford Wolf [Sun, 24 Nov 2013 04:03:43 +0000 (05:03 +0100)]
Added "top" attribute to mark top module in hierarchy

10 years agoUpdated command-reference-manual.tex
Clifford Wolf [Sat, 23 Nov 2013 19:09:47 +0000 (20:09 +0100)]
Updated command-reference-manual.tex

10 years agoAppNote 010 typo fixes and corrections
Clifford Wolf [Sat, 23 Nov 2013 19:04:51 +0000 (20:04 +0100)]
AppNote 010 typo fixes and corrections

10 years agoAppNote 010 progress
Clifford Wolf [Sat, 23 Nov 2013 16:33:26 +0000 (17:33 +0100)]
AppNote 010 progress

10 years agoImproved handling of techmap special wires
Clifford Wolf [Sat, 23 Nov 2013 15:49:58 +0000 (16:49 +0100)]
Improved handling of techmap special wires

10 years agoImproved handling of initialized registers
Clifford Wolf [Sat, 23 Nov 2013 15:26:59 +0000 (16:26 +0100)]
Improved handling of initialized registers

10 years agoAdded more generic _TECHMAP_ wire mechanism to techmap pass
Clifford Wolf [Sat, 23 Nov 2013 14:58:06 +0000 (15:58 +0100)]
Added more generic _TECHMAP_ wire mechanism to techmap pass

10 years agoMaking prograss on Appnote 010
Clifford Wolf [Sat, 23 Nov 2013 04:46:51 +0000 (05:46 +0100)]
Making prograss on Appnote 010

10 years agoProgress on AppNote 010
Clifford Wolf [Fri, 22 Nov 2013 18:08:29 +0000 (19:08 +0100)]
Progress on AppNote 010

10 years agoStarted to write on AppNote 010: Verilog to BLIF
Clifford Wolf [Fri, 22 Nov 2013 16:33:59 +0000 (17:33 +0100)]
Started to write on AppNote 010: Verilog to BLIF

10 years agoUpdated command-reference-manual.tex
Clifford Wolf [Fri, 22 Nov 2013 14:02:40 +0000 (15:02 +0100)]
Updated command-reference-manual.tex

10 years agoRenamed "placeholder" to "blackbox"
Clifford Wolf [Fri, 22 Nov 2013 14:01:12 +0000 (15:01 +0100)]
Renamed "placeholder" to "blackbox"

10 years agoSome driver changes/fixes
Clifford Wolf [Fri, 22 Nov 2013 13:53:57 +0000 (14:53 +0100)]
Some driver changes/fixes

10 years agoFixed O(n^2) performance bug in verilog preprocessor
Clifford Wolf [Fri, 22 Nov 2013 13:08:43 +0000 (14:08 +0100)]
Fixed O(n^2) performance bug in verilog preprocessor

10 years agoAdded more performance measurement infrastructure
Clifford Wolf [Fri, 22 Nov 2013 13:08:10 +0000 (14:08 +0100)]
Added more performance measurement infrastructure

10 years agoEnable {* .. *} feature per default (removes dependency to REJECT feature in flex)
Clifford Wolf [Fri, 22 Nov 2013 11:46:02 +0000 (12:46 +0100)]
Enable {* .. *} feature per default (removes dependency to REJECT feature in flex)

10 years agoMassive performance improvement from refactoring RTLIL::SigSpec::optimize()
Clifford Wolf [Fri, 22 Nov 2013 03:41:20 +0000 (04:41 +0100)]
Massive performance improvement from refactoring RTLIL::SigSpec::optimize()

10 years agoAdded SigBit struct and refactored RTLIL::SigSpec::extract
Clifford Wolf [Fri, 22 Nov 2013 03:07:13 +0000 (04:07 +0100)]
Added SigBit struct and refactored RTLIL::SigSpec::extract

10 years agoImproved make rules for profiling and debugging
Clifford Wolf [Fri, 22 Nov 2013 03:05:30 +0000 (04:05 +0100)]
Improved make rules for profiling and debugging

10 years agoUpdated abc
Clifford Wolf [Thu, 21 Nov 2013 21:39:10 +0000 (22:39 +0100)]
Updated abc

10 years agoImplemented $_DFFSR_ expression generator in verilog backend
Clifford Wolf [Thu, 21 Nov 2013 20:52:30 +0000 (21:52 +0100)]
Implemented $_DFFSR_ expression generator in verilog backend

10 years agoFixed async proc detection in mem2reg
Clifford Wolf [Thu, 21 Nov 2013 20:26:56 +0000 (21:26 +0100)]
Fixed async proc detection in mem2reg

10 years agoMajor improvements in mem2reg and added "init" sync rules
Clifford Wolf [Thu, 21 Nov 2013 12:49:00 +0000 (13:49 +0100)]
Major improvements in mem2reg and added "init" sync rules

10 years agoFixed a bug in "add -global_input"
Clifford Wolf [Thu, 21 Nov 2013 02:01:20 +0000 (03:01 +0100)]
Fixed a bug in "add -global_input"

10 years agoAdded "proc_arst -global_arst" feature
Clifford Wolf [Wed, 20 Nov 2013 20:00:43 +0000 (21:00 +0100)]
Added "proc_arst -global_arst" feature

10 years agoFixed ilang parser: memory width
Clifford Wolf [Wed, 20 Nov 2013 18:55:52 +0000 (19:55 +0100)]
Fixed ilang parser: memory width

10 years agoAdded "add" command (only wires for now)
Clifford Wolf [Wed, 20 Nov 2013 18:37:40 +0000 (19:37 +0100)]
Added "add" command (only wires for now)

10 years agoAnother name resolution bugfix for generate blocks
Clifford Wolf [Wed, 20 Nov 2013 12:57:40 +0000 (13:57 +0100)]
Another name resolution bugfix for generate blocks

10 years agoImplemented indexed part selects
Clifford Wolf [Wed, 20 Nov 2013 12:05:27 +0000 (13:05 +0100)]
Implemented indexed part selects

10 years agoDo not allow memory bit select on the left side of an assignment
Clifford Wolf [Wed, 20 Nov 2013 11:18:46 +0000 (12:18 +0100)]
Do not allow memory bit select on the left side of an assignment

10 years agoAdded "synthesis" in (synopsys|synthesis) comment support
Clifford Wolf [Wed, 20 Nov 2013 10:44:09 +0000 (11:44 +0100)]
Added "synthesis" in (synopsys|synthesis) comment support

10 years agoFixed name resolution of local tasks and functions in generate block
Clifford Wolf [Wed, 20 Nov 2013 10:05:58 +0000 (11:05 +0100)]
Fixed name resolution of local tasks and functions in generate block

10 years agoImplemented part/bit select on memory read
Clifford Wolf [Wed, 20 Nov 2013 09:51:32 +0000 (10:51 +0100)]
Implemented part/bit select on memory read

10 years agoUpdated TODOs in README file
Clifford Wolf [Wed, 20 Nov 2013 01:10:48 +0000 (02:10 +0100)]
Updated TODOs in README file

10 years agoAdded init= attribute for fpga-style reset values
Clifford Wolf [Wed, 20 Nov 2013 00:49:37 +0000 (01:49 +0100)]
Added init= attribute for fpga-style reset values

10 years agoAdded "make config-sudo"
Clifford Wolf [Tue, 19 Nov 2013 22:13:41 +0000 (23:13 +0100)]
Added "make config-sudo"

10 years agoInstall simlib in datdir
Clifford Wolf [Tue, 19 Nov 2013 22:05:46 +0000 (23:05 +0100)]
Install simlib in datdir

10 years agoLarge improvements in yosys-config
Clifford Wolf [Tue, 19 Nov 2013 21:48:48 +0000 (22:48 +0100)]
Large improvements in yosys-config

10 years agoFixed parsing of module arguments when one type is used for many args
Clifford Wolf [Tue, 19 Nov 2013 19:35:31 +0000 (20:35 +0100)]
Fixed parsing of module arguments when one type is used for many args

10 years agoRenamed temp module generated by "abc" pass from "logic" to "netlist"
Clifford Wolf [Tue, 19 Nov 2013 00:03:57 +0000 (01:03 +0100)]
Renamed temp module generated by "abc" pass from "logic" to "netlist"

10 years agoAdded additional mem2reg testcase
Clifford Wolf [Mon, 18 Nov 2013 18:55:39 +0000 (19:55 +0100)]
Added additional mem2reg testcase