yosys.git
9 years agoRenamed SIZE() to GetSize() because of name collision on Win32
Clifford Wolf [Fri, 10 Oct 2014 14:59:44 +0000 (16:59 +0200)]
Renamed SIZE() to GetSize() because of name collision on Win32

9 years agoReplaced "#ifdef WIN32" with "#ifdef _WIN32"
Clifford Wolf [Thu, 9 Oct 2014 15:00:54 +0000 (17:00 +0200)]
Replaced "#ifdef WIN32" with "#ifdef _WIN32"

9 years agoAdded API for generic cell cost calculations
Clifford Wolf [Thu, 9 Oct 2014 11:59:26 +0000 (13:59 +0200)]
Added API for generic cell cost calculations

9 years agoadded .exe and .html output files to .gitignore
Clifford Wolf [Thu, 9 Oct 2014 08:52:45 +0000 (10:52 +0200)]
added .exe and .html output files to .gitignore

9 years agoNo rusage on win32
Clifford Wolf [Thu, 9 Oct 2014 08:51:24 +0000 (10:51 +0200)]
No rusage on win32

9 years agoAdded mxe-based cross build for win32
Clifford Wolf [Thu, 9 Oct 2014 08:50:44 +0000 (10:50 +0200)]
Added mxe-based cross build for win32

9 years agoFixes in "hilomap" help message
Clifford Wolf [Wed, 8 Oct 2014 19:38:37 +0000 (21:38 +0200)]
Fixes in "hilomap" help message

9 years agosort cell types in "stat" output by name
Clifford Wolf [Fri, 3 Oct 2014 17:21:04 +0000 (19:21 +0200)]
sort cell types in "stat" output by name

9 years agosat encoding for exclusive $pmux ctrl inputs in "share" pass
Clifford Wolf [Fri, 3 Oct 2014 17:01:24 +0000 (19:01 +0200)]
sat encoding for exclusive $pmux ctrl inputs in "share" pass

9 years agosatgen import sigbit api
Clifford Wolf [Fri, 3 Oct 2014 16:51:50 +0000 (18:51 +0200)]
satgen import sigbit api

9 years agoadded resource sharing of $macc cells
Clifford Wolf [Fri, 3 Oct 2014 10:58:40 +0000 (12:58 +0200)]
added resource sharing of $macc cells

9 years agoAdded $_BUF_ cell type
Clifford Wolf [Fri, 3 Oct 2014 08:12:28 +0000 (10:12 +0200)]
Added $_BUF_ cell type

9 years agoremove buffers in opt_clean
Clifford Wolf [Fri, 3 Oct 2014 08:04:15 +0000 (10:04 +0200)]
remove buffers in opt_clean

9 years agoresource sharing of $alu cells
Clifford Wolf [Fri, 3 Oct 2014 07:55:50 +0000 (09:55 +0200)]
resource sharing of $alu cells

9 years agoset "keep" on modules with $assert cells in "hierarchy"
Clifford Wolf [Tue, 30 Sep 2014 17:16:40 +0000 (19:16 +0200)]
set "keep" on modules with $assert cells in "hierarchy"

9 years agoAdded support for "keep" on modules
Clifford Wolf [Mon, 29 Sep 2014 10:51:54 +0000 (12:51 +0200)]
Added support for "keep" on modules

9 years agonamespace Yosys
Clifford Wolf [Sat, 27 Sep 2014 14:17:53 +0000 (16:17 +0200)]
namespace Yosys

9 years agoMerge pull request #39 from ahmedirfan1983/master
Clifford Wolf [Mon, 22 Sep 2014 10:37:43 +0000 (12:37 +0200)]
Merge pull request #39 from ahmedirfan1983/master

merged with current mas.ter branch + features added + bug fixes

9 years agoMerge branch 'master' of https://github.com/cliffordwolf/yosys into btor
Ahmed Irfan [Mon, 22 Sep 2014 09:35:04 +0000 (11:35 +0200)]
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
added case for memwr cell that is used in muxes (same cell is used more than one time)
corrected bug for xnor and logic_not
added pmux cell translation

Conflicts:
backends/btor/btor.cc

9 years agoRe-enabled assert for new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 17:44:08 +0000 (19:44 +0200)]
Re-enabled assert for new logic loops in "share" pass

9 years agoVarious improvements regarding logic loops in "share" results
Clifford Wolf [Sun, 21 Sep 2014 17:36:56 +0000 (19:36 +0200)]
Various improvements regarding logic loops in "share" results

9 years agoLogic loop bugfix for "share" pass
Clifford Wolf [Sun, 21 Sep 2014 13:13:44 +0000 (15:13 +0200)]
Logic loop bugfix for "share" pass

9 years agoAdded "share -limit"
Clifford Wolf [Sun, 21 Sep 2014 13:13:06 +0000 (15:13 +0200)]
Added "share -limit"

9 years agoStill loop bug in "share": changed assert to warning
Clifford Wolf [Sun, 21 Sep 2014 12:51:07 +0000 (14:51 +0200)]
Still loop bug in "share": changed assert to warning

9 years agoDo not introduce new logic loops in "share"
Clifford Wolf [Sun, 21 Sep 2014 11:52:39 +0000 (13:52 +0200)]
Do not introduce new logic loops in "share"

9 years agoAssert on new logic loops in "share" pass
Clifford Wolf [Sun, 21 Sep 2014 10:57:33 +0000 (12:57 +0200)]
Assert on new logic loops in "share" pass

9 years agoAdded "test_abcloop" command
Clifford Wolf [Fri, 19 Sep 2014 13:51:34 +0000 (15:51 +0200)]
Added "test_abcloop" command

9 years agoInitialize RTLIL::Const from std::vector<bool>
Clifford Wolf [Fri, 19 Sep 2014 13:50:55 +0000 (15:50 +0200)]
Initialize RTLIL::Const from std::vector<bool>

9 years agoSorting of object names in ilang backend
Clifford Wolf [Fri, 19 Sep 2014 13:50:34 +0000 (15:50 +0200)]
Sorting of object names in ilang backend

9 years agoSmall improvements in "abc" command handle_loops() function
Clifford Wolf [Fri, 19 Sep 2014 12:05:41 +0000 (14:05 +0200)]
Small improvements in "abc" command handle_loops() function

9 years agoUsing "NOT" instead of "INV" as cell name in default abc genlib file
Clifford Wolf [Fri, 19 Sep 2014 11:15:31 +0000 (13:15 +0200)]
Using "NOT" instead of "INV" as cell name in default abc genlib file

9 years agoAlphabetically sort port names in "show" output
Clifford Wolf [Fri, 19 Sep 2014 09:13:10 +0000 (11:13 +0200)]
Alphabetically sort port names in "show" output

9 years agoDo not run "scorr" in "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 17:00:21 +0000 (19:00 +0200)]
Do not run "scorr" in "abc -fast"

9 years agoImprovements in "synth" script
Clifford Wolf [Thu, 18 Sep 2014 10:57:55 +0000 (12:57 +0200)]
Improvements in "synth" script

9 years agoAdded "abc -fast"
Clifford Wolf [Thu, 18 Sep 2014 10:57:37 +0000 (12:57 +0200)]
Added "abc -fast"

9 years agofixed memory next issue, when same memory is written in different case statement
ahmedirfan1983 [Thu, 18 Sep 2014 09:15:46 +0000 (11:15 +0200)]
fixed memory next issue, when same memory is written in different case statement
fixed reduce_xnor, logic_not bug translation bug

9 years agoAdded commit count to devel version number
Clifford Wolf [Wed, 17 Sep 2014 05:19:34 +0000 (07:19 +0200)]
Added commit count to devel version number

9 years agoFixed $_NOR vs. $_NOR_ typo in abc.cc
Clifford Wolf [Tue, 16 Sep 2014 10:45:05 +0000 (12:45 +0200)]
Fixed $_NOR vs. $_NOR_ typo in abc.cc

9 years agoFixed $memwr/$memrd order in memory_dff
Clifford Wolf [Tue, 16 Sep 2014 10:40:58 +0000 (12:40 +0200)]
Fixed $memwr/$memrd order in memory_dff

9 years agoAdded new CodingReadme file (replaces CodingStyle and CHECKLISTS)
Clifford Wolf [Tue, 16 Sep 2014 09:26:44 +0000 (11:26 +0200)]
Added new CodingReadme file (replaces CodingStyle and CHECKLISTS)

9 years agoFixed $macc simlib model for zero-config
Clifford Wolf [Tue, 16 Sep 2014 06:19:35 +0000 (08:19 +0200)]
Fixed $macc simlib model for zero-config

9 years agoMore aggressive $macc merging in alumacc
Clifford Wolf [Mon, 15 Sep 2014 10:42:11 +0000 (12:42 +0200)]
More aggressive $macc merging in alumacc

9 years agoAdded the obvious optimizations to alumacc $macc generator
Clifford Wolf [Mon, 15 Sep 2014 10:22:03 +0000 (12:22 +0200)]
Added the obvious optimizations to alumacc $macc generator

9 years agoImproved maccmap tree bit packing
Clifford Wolf [Mon, 15 Sep 2014 10:00:19 +0000 (12:00 +0200)]
Improved maccmap tree bit packing

9 years agoFixed wreduce $shiftx handling
Clifford Wolf [Mon, 15 Sep 2014 09:29:09 +0000 (11:29 +0200)]
Fixed wreduce $shiftx handling

9 years agoFixed monitor notifications for removed cell
Clifford Wolf [Sun, 14 Sep 2014 15:04:39 +0000 (17:04 +0200)]
Fixed monitor notifications for removed cell

9 years agoAdded "synth" command
Clifford Wolf [Sun, 14 Sep 2014 14:09:06 +0000 (16:09 +0200)]
Added "synth" command

9 years agoFixed techmap_wrap for techmap_celltype
Clifford Wolf [Sun, 14 Sep 2014 13:34:36 +0000 (15:34 +0200)]
Fixed techmap_wrap for techmap_celltype

9 years agoUsing alumacc in techmap.v
Clifford Wolf [Sun, 14 Sep 2014 12:50:15 +0000 (14:50 +0200)]
Using alumacc in techmap.v

9 years agoVarious fixes/cleanups in alumacc and maccmap
Clifford Wolf [Sun, 14 Sep 2014 12:49:53 +0000 (14:49 +0200)]
Various fixes/cleanups in alumacc and maccmap

9 years agoAdded techmap_wrap attribute
Clifford Wolf [Sun, 14 Sep 2014 12:49:26 +0000 (14:49 +0200)]
Added techmap_wrap attribute

9 years agoalumacc fix for $pos cells
Clifford Wolf [Sun, 14 Sep 2014 12:00:14 +0000 (14:00 +0200)]
alumacc fix for $pos cells

9 years agoExtract $alu cells in alumacc
Clifford Wolf [Sun, 14 Sep 2014 11:23:44 +0000 (13:23 +0200)]
Extract $alu cells in alumacc

9 years agoMerge $macc cells in alumacc pass
Clifford Wolf [Sun, 14 Sep 2014 09:21:37 +0000 (11:21 +0200)]
Merge $macc cells in alumacc pass

9 years agoBasic $macc extract in alumacc
Clifford Wolf [Sun, 14 Sep 2014 08:45:28 +0000 (10:45 +0200)]
Basic $macc extract in alumacc

9 years agoalumacc skeleton
Clifford Wolf [Sun, 14 Sep 2014 08:02:00 +0000 (10:02 +0200)]
alumacc skeleton

9 years agoCleanup in wreduce
Clifford Wolf [Sun, 14 Sep 2014 08:01:30 +0000 (10:01 +0200)]
Cleanup in wreduce

9 years agoUsing pkg-config to find libffi
Clifford Wolf [Sat, 13 Sep 2014 15:28:15 +0000 (17:28 +0200)]
Using pkg-config to find libffi

9 years agoFixed simlib $macc model for xilinx xsim
Clifford Wolf [Mon, 8 Sep 2014 15:09:39 +0000 (17:09 +0200)]
Fixed simlib $macc model for xilinx xsim

9 years agoSimplified $fa undef model
Clifford Wolf [Mon, 8 Sep 2014 14:59:39 +0000 (16:59 +0200)]
Simplified $fa undef model

9 years agoFixes and cleanups for blackbox.v
Clifford Wolf [Mon, 8 Sep 2014 11:29:13 +0000 (13:29 +0200)]
Fixes and cleanups for blackbox.v

9 years agoAdded $lcu cell type
Clifford Wolf [Mon, 8 Sep 2014 11:28:23 +0000 (13:28 +0200)]
Added $lcu cell type

9 years agoAnother $clog2 bugfix
Clifford Wolf [Mon, 8 Sep 2014 10:25:23 +0000 (12:25 +0200)]
Another $clog2 bugfix

9 years agoAdded "$fa" cell type
Clifford Wolf [Mon, 8 Sep 2014 10:15:39 +0000 (12:15 +0200)]
Added "$fa" cell type

9 years agoTrim msb/lsb zero bits from full adder in maccmap
Clifford Wolf [Mon, 8 Sep 2014 09:21:58 +0000 (11:21 +0200)]
Trim msb/lsb zero bits from full adder in maccmap

9 years agoAdded "test_cell -const"
Clifford Wolf [Mon, 8 Sep 2014 09:12:39 +0000 (11:12 +0200)]
Added "test_cell -const"

9 years agoUsing maccmap for $macc and $mul techmap
Clifford Wolf [Sun, 7 Sep 2014 16:24:08 +0000 (18:24 +0200)]
Using maccmap for $macc and $mul techmap

9 years agoAdded 'techmap_maccmap' techmap attribute
Clifford Wolf [Sun, 7 Sep 2014 16:23:37 +0000 (18:23 +0200)]
Added 'techmap_maccmap' techmap attribute

9 years agoAdded "maccmap" command
Clifford Wolf [Sun, 7 Sep 2014 16:23:04 +0000 (18:23 +0200)]
Added "maccmap" command

9 years agoAdded "test_cell -nosat"
Clifford Wolf [Sun, 7 Sep 2014 15:05:41 +0000 (17:05 +0200)]
Added "test_cell -nosat"

9 years agoVarious bug fixes (related to $macc model testing)
Clifford Wolf [Sat, 6 Sep 2014 18:30:46 +0000 (20:30 +0200)]
Various bug fixes (related to $macc model testing)

9 years agoAdded $macc eval model
Clifford Wolf [Sat, 6 Sep 2014 17:44:28 +0000 (19:44 +0200)]
Added $macc eval model

9 years agoAdded $macc SAT model
Clifford Wolf [Sat, 6 Sep 2014 17:44:11 +0000 (19:44 +0200)]
Added $macc SAT model

9 years agoFixed $clog2 (off by one error)
Clifford Wolf [Sat, 6 Sep 2014 17:31:04 +0000 (19:31 +0200)]
Fixed $clog2 (off by one error)

9 years agoAdded $macc simlib model (also use as techmap rule for now)
Clifford Wolf [Sat, 6 Sep 2014 15:59:12 +0000 (17:59 +0200)]
Added $macc simlib model (also use as techmap rule for now)

9 years agoFixed assignment of out-of bounds array element
Clifford Wolf [Sat, 6 Sep 2014 15:58:27 +0000 (17:58 +0200)]
Fixed assignment of out-of bounds array element

9 years agoAdded $macc cell type
Clifford Wolf [Sat, 6 Sep 2014 13:47:46 +0000 (15:47 +0200)]
Added $macc cell type

9 years agoFixed autotest for non-basename arguments
Clifford Wolf [Sat, 6 Sep 2014 10:10:57 +0000 (12:10 +0200)]
Fixed autotest for non-basename arguments

9 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sat, 6 Sep 2014 09:46:44 +0000 (11:46 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys

9 years agoAdded "test_cell -script"
Clifford Wolf [Sat, 6 Sep 2014 09:46:07 +0000 (11:46 +0200)]
Added "test_cell -script"

9 years agoMerge pull request #38 from rubund/master
Clifford Wolf [Sat, 6 Sep 2014 08:15:47 +0000 (10:15 +0200)]
Merge pull request #38 from rubund/master

Corrected spelling mistakes found by lintian

9 years agoCorrected spelling mistakes found by lintian
Ruben Undheim [Sat, 6 Sep 2014 06:47:06 +0000 (08:47 +0200)]
Corrected spelling mistakes found by lintian

9 years agoAdded tests/various/constmsk_test.ys
Clifford Wolf [Thu, 4 Sep 2014 13:07:30 +0000 (15:07 +0200)]
Added tests/various/constmsk_test.ys

9 years agoFixed "opt_const -fine" for $pos cells
Clifford Wolf [Thu, 4 Sep 2014 06:55:58 +0000 (08:55 +0200)]
Fixed "opt_const -fine" for $pos cells

9 years agoRemoved $bu0 cell type
Clifford Wolf [Thu, 4 Sep 2014 00:07:52 +0000 (02:07 +0200)]
Removed $bu0 cell type

9 years agoUsing $pos models for $bu0
Clifford Wolf [Wed, 3 Sep 2014 19:20:59 +0000 (21:20 +0200)]
Using $pos models for $bu0

9 years agoFixed "test_cells -vlog"
Clifford Wolf [Wed, 3 Sep 2014 11:43:37 +0000 (13:43 +0200)]
Fixed "test_cells -vlog"

9 years agoFixes in $alu SAT- and eval-models
Clifford Wolf [Wed, 3 Sep 2014 11:39:46 +0000 (13:39 +0200)]
Fixes in $alu SAT- and eval-models

9 years agoUndef-related fixes in simlib $alu model
Clifford Wolf [Tue, 2 Sep 2014 21:21:59 +0000 (23:21 +0200)]
Undef-related fixes in simlib $alu model

9 years agoImprovements in "test_cell -vlog"
Clifford Wolf [Tue, 2 Sep 2014 21:21:15 +0000 (23:21 +0200)]
Improvements in "test_cell -vlog"

9 years agoAdded test_cell -vlog
Clifford Wolf [Tue, 2 Sep 2014 20:49:43 +0000 (22:49 +0200)]
Added test_cell -vlog

9 years agoCreate a default selection stack in RTLIL::Design::Design()
Clifford Wolf [Tue, 2 Sep 2014 20:49:24 +0000 (22:49 +0200)]
Create a default selection stack in RTLIL::Design::Design()

9 years agoSmall bug fixes in $not, $neg, and $shiftx models
Clifford Wolf [Tue, 2 Sep 2014 15:48:41 +0000 (17:48 +0200)]
Small bug fixes in $not, $neg, and $shiftx models

9 years agoAdded SAT testing to test_cell eval stage
Clifford Wolf [Tue, 2 Sep 2014 15:28:13 +0000 (17:28 +0200)]
Added SAT testing to test_cell eval stage

9 years agoadded $pmux cell translation
Ahmed Irfan [Tue, 2 Sep 2014 12:47:51 +0000 (14:47 +0200)]
added $pmux cell translation

9 years agoRemoved references to yosys-svgviewer from docs
Clifford Wolf [Tue, 2 Sep 2014 02:03:06 +0000 (04:03 +0200)]
Removed references to yosys-svgviewer from docs

9 years agoRemoved yosys-svgviewer
Clifford Wolf [Tue, 2 Sep 2014 01:52:46 +0000 (03:52 +0200)]
Removed yosys-svgviewer

9 years agoUsing "xdot" instead of "yosys-svgviewer" in show command
Clifford Wolf [Tue, 2 Sep 2014 01:28:46 +0000 (03:28 +0200)]
Using "xdot" instead of "yosys-svgviewer" in show command

9 years agoAdded $alu support to test_cell
Clifford Wolf [Mon, 1 Sep 2014 14:36:04 +0000 (16:36 +0200)]
Added $alu support to test_cell

9 years agoAdded ConstEval model for $alu cells
Clifford Wolf [Mon, 1 Sep 2014 14:35:46 +0000 (16:35 +0200)]
Added ConstEval model for $alu cells