yosys.git
9 years agoBram testbench (incomplete)
Clifford Wolf [Thu, 1 Jan 2015 16:01:17 +0000 (17:01 +0100)]
Bram testbench (incomplete)

9 years agoProgress in memory_bram
Clifford Wolf [Thu, 1 Jan 2015 14:32:37 +0000 (15:32 +0100)]
Progress in memory_bram

9 years agoFixed memory->start_offset handling
Clifford Wolf [Thu, 1 Jan 2015 11:56:01 +0000 (12:56 +0100)]
Fixed memory->start_offset handling

9 years agoProgress in memory_bram
Clifford Wolf [Thu, 1 Jan 2015 11:17:19 +0000 (12:17 +0100)]
Progress in memory_bram

9 years agoRemoved SigSpec::extend_xx() api
Clifford Wolf [Thu, 1 Jan 2015 10:41:52 +0000 (11:41 +0100)]
Removed SigSpec::extend_xx() api

9 years agoProgress in memory_bram
Clifford Wolf [Wed, 31 Dec 2014 21:50:08 +0000 (22:50 +0100)]
Progress in memory_bram

9 years agoAdded memory_bram (not functional yet)
Clifford Wolf [Wed, 31 Dec 2014 15:53:53 +0000 (16:53 +0100)]
Added memory_bram (not functional yet)

9 years agoAdded hashlib .count(key, iterator) and it1 < it2
Clifford Wolf [Wed, 31 Dec 2014 13:52:46 +0000 (14:52 +0100)]
Added hashlib .count(key, iterator) and it1 < it2

9 years agoImprovements in CodingReadme
Clifford Wolf [Wed, 31 Dec 2014 13:26:54 +0000 (14:26 +0100)]
Improvements in CodingReadme

9 years agoimproved bitpattern (proc_mux) performance
Clifford Wolf [Wed, 31 Dec 2014 12:15:35 +0000 (13:15 +0100)]
improved bitpattern (proc_mux) performance

9 years agohashlib cleanups and a fix
Clifford Wolf [Wed, 31 Dec 2014 12:05:33 +0000 (13:05 +0100)]
hashlib cleanups and a fix

9 years agogcc-4.6 compile fixes
Clifford Wolf [Wed, 31 Dec 2014 03:24:04 +0000 (04:24 +0100)]
gcc-4.6 compile fixes

9 years agonew hashlib::pool<> (derived from new dict)
Clifford Wolf [Wed, 31 Dec 2014 03:19:04 +0000 (04:19 +0100)]
new hashlib::pool<> (derived from new dict)

9 years agomajor rewrite of hashlib::dict<>
Clifford Wolf [Wed, 31 Dec 2014 02:58:29 +0000 (03:58 +0100)]
major rewrite of hashlib::dict<>

9 years agoIdString optimization
Clifford Wolf [Wed, 31 Dec 2014 02:56:09 +0000 (03:56 +0100)]
IdString optimization

9 years agohotfix for ModInfo
Clifford Wolf [Wed, 31 Dec 2014 02:55:13 +0000 (03:55 +0100)]
hotfix for ModInfo

9 years agousing pool<> in bitpattern.h
Clifford Wolf [Tue, 30 Dec 2014 22:45:43 +0000 (23:45 +0100)]
using pool<> in bitpattern.h

9 years agoimproved -v option
Clifford Wolf [Tue, 30 Dec 2014 21:54:42 +0000 (22:54 +0100)]
improved -v option

9 years agotypo fix for "opt -fast"
Clifford Wolf [Tue, 30 Dec 2014 21:35:38 +0000 (22:35 +0100)]
typo fix for "opt -fast"

9 years agoprint timing details (-d) in -q mode
Clifford Wolf [Tue, 30 Dec 2014 21:31:04 +0000 (22:31 +0100)]
print timing details (-d) in -q mode

9 years agoFixed a bug in "select %ci %co %x"
Clifford Wolf [Tue, 30 Dec 2014 19:15:18 +0000 (20:15 +0100)]
Fixed a bug in "select %ci %co %x"

9 years agoAdded more information to CodingReadme
Clifford Wolf [Tue, 30 Dec 2014 18:39:17 +0000 (19:39 +0100)]
Added more information to CodingReadme

9 years agoFixed typo in ABC command
Clifford Wolf [Tue, 30 Dec 2014 18:38:40 +0000 (19:38 +0100)]
Fixed typo in ABC command

9 years agoadded hashlib::mkhash_init
Clifford Wolf [Tue, 30 Dec 2014 17:51:24 +0000 (18:51 +0100)]
added hashlib::mkhash_init

9 years agoFixed simlib entries for $memrd and $memwr
Clifford Wolf [Tue, 30 Dec 2014 12:33:29 +0000 (13:33 +0100)]
Fixed simlib entries for $memrd and $memwr

9 years agoSmall optimization in hashlib
Clifford Wolf [Tue, 30 Dec 2014 12:30:22 +0000 (13:30 +0100)]
Small optimization in hashlib

9 years agoImprovements in hashlib
Clifford Wolf [Tue, 30 Dec 2014 12:22:33 +0000 (13:22 +0100)]
Improvements in hashlib

9 years agoFixed build with SMALL=1
Clifford Wolf [Tue, 30 Dec 2014 10:41:24 +0000 (11:41 +0100)]
Fixed build with SMALL=1

9 years agoPut dummy reference to empty idstring in yosys_shutdown()
Clifford Wolf [Mon, 29 Dec 2014 20:26:15 +0000 (21:26 +0100)]
Put dummy reference to empty idstring in yosys_shutdown()

9 years agoImproved free list management in hashlib
Clifford Wolf [Mon, 29 Dec 2014 19:24:28 +0000 (20:24 +0100)]
Improved free list management in hashlib

9 years agoFixed memory corruption in "splice" command
Clifford Wolf [Mon, 29 Dec 2014 19:23:22 +0000 (20:23 +0100)]
Fixed memory corruption in "splice" command

9 years agoAdded statehash to ezSAT
Clifford Wolf [Mon, 29 Dec 2014 16:10:37 +0000 (17:10 +0100)]
Added statehash to ezSAT

9 years agoLess verbose ABC output
Clifford Wolf [Mon, 29 Dec 2014 14:17:40 +0000 (15:17 +0100)]
Less verbose ABC output

9 years agoAdded global yosys_celltypes
Clifford Wolf [Mon, 29 Dec 2014 13:30:33 +0000 (14:30 +0100)]
Added global yosys_celltypes

9 years agoAdded "yosys -X"
Clifford Wolf [Mon, 29 Dec 2014 12:33:33 +0000 (13:33 +0100)]
Added "yosys -X"

9 years agoCleanups in opt_clean
Clifford Wolf [Mon, 29 Dec 2014 04:10:19 +0000 (05:10 +0100)]
Cleanups in opt_clean

9 years agoFixed comment parsing in Pass::call()
Clifford Wolf [Mon, 29 Dec 2014 03:15:48 +0000 (04:15 +0100)]
Fixed comment parsing in Pass::call()

9 years agodict/pool changes in opt_clean
Clifford Wolf [Mon, 29 Dec 2014 03:06:52 +0000 (04:06 +0100)]
dict/pool changes in opt_clean

9 years agoAdded newline support to Pass::call() parser
Clifford Wolf [Mon, 29 Dec 2014 02:49:45 +0000 (03:49 +0100)]
Added newline support to Pass::call() parser

9 years agodict/pool changes in ast
Clifford Wolf [Mon, 29 Dec 2014 02:11:50 +0000 (03:11 +0100)]
dict/pool changes in ast

9 years agogcc build fixes
Clifford Wolf [Mon, 29 Dec 2014 01:46:59 +0000 (02:46 +0100)]
gcc build fixes

9 years agoConverting "share" to dict<> and pool<> complete
Clifford Wolf [Mon, 29 Dec 2014 01:01:42 +0000 (02:01 +0100)]
Converting "share" to dict<> and pool<> complete

9 years agoSwitched most of "share" to dict<> and pool<>
Clifford Wolf [Sun, 28 Dec 2014 23:42:48 +0000 (00:42 +0100)]
Switched most of "share" to dict<> and pool<>

9 years agoAdded mkhash_xorshift()
Clifford Wolf [Sun, 28 Dec 2014 23:12:36 +0000 (00:12 +0100)]
Added mkhash_xorshift()

9 years agoSome changes to hashlib to make for better stl compatibility
Clifford Wolf [Sun, 28 Dec 2014 21:26:09 +0000 (22:26 +0100)]
Some changes to hashlib to make for better stl compatibility

9 years agoSome cleanups
Clifford Wolf [Sun, 28 Dec 2014 20:43:14 +0000 (21:43 +0100)]
Some cleanups

9 years agoAdded memhasher (yosys -M)
Clifford Wolf [Sun, 28 Dec 2014 20:27:51 +0000 (21:27 +0100)]
Added memhasher (yosys -M)

9 years agousing dict and pool in opt_reduce
Clifford Wolf [Sun, 28 Dec 2014 20:27:05 +0000 (21:27 +0100)]
using dict and pool in opt_reduce

9 years agobugfix in opt_share
Clifford Wolf [Sun, 28 Dec 2014 20:26:36 +0000 (21:26 +0100)]
bugfix in opt_share

9 years agoChanged more code to dict<> and pool<>
Clifford Wolf [Sun, 28 Dec 2014 18:24:24 +0000 (19:24 +0100)]
Changed more code to dict<> and pool<>

9 years agoFixed performance bug in object hashing
Clifford Wolf [Sun, 28 Dec 2014 18:03:18 +0000 (19:03 +0100)]
Fixed performance bug in object hashing

9 years agoImproved hashlib iterator implementation
Clifford Wolf [Sun, 28 Dec 2014 17:48:48 +0000 (18:48 +0100)]
Improved hashlib iterator implementation

9 years agoRenamed hashmap.h to hashlib.h, some related improvements
Clifford Wolf [Sun, 28 Dec 2014 16:51:16 +0000 (17:51 +0100)]
Renamed hashmap.h to hashlib.h, some related improvements

9 years agoVarious improvements in ModIndex
Clifford Wolf [Sat, 27 Dec 2014 12:04:44 +0000 (13:04 +0100)]
Various improvements in ModIndex

9 years agoMore dict/pool related changes
Clifford Wolf [Sat, 27 Dec 2014 11:02:57 +0000 (12:02 +0100)]
More dict/pool related changes

9 years agoAdded memory statistics (at least on linux)
Clifford Wolf [Sat, 27 Dec 2014 10:25:51 +0000 (11:25 +0100)]
Added memory statistics (at least on linux)

9 years agoBetter help message printing for command line tool
Clifford Wolf [Sat, 27 Dec 2014 10:01:59 +0000 (11:01 +0100)]
Better help message printing for command line tool

9 years agoImproved some warning messages
Clifford Wolf [Sat, 27 Dec 2014 02:40:27 +0000 (03:40 +0100)]
Improved some warning messages

9 years agoFixed mem2reg warning message
Clifford Wolf [Sat, 27 Dec 2014 02:26:30 +0000 (03:26 +0100)]
Fixed mem2reg warning message

9 years agoMore hashtable finetuning
Clifford Wolf [Sat, 27 Dec 2014 02:04:50 +0000 (03:04 +0100)]
More hashtable finetuning

9 years agoSome cleanups in dict/pool hashtable implementation
Clifford Wolf [Fri, 26 Dec 2014 22:21:23 +0000 (23:21 +0100)]
Some cleanups in dict/pool hashtable implementation

9 years agoUsing Yosys::dict and Yosys::pool in sigtools.h
Clifford Wolf [Fri, 26 Dec 2014 21:08:44 +0000 (22:08 +0100)]
Using Yosys::dict and Yosys::pool in sigtools.h

9 years agoReplaced std::unordered_set (nodict) with Yosys::pool
Clifford Wolf [Fri, 26 Dec 2014 20:59:41 +0000 (21:59 +0100)]
Replaced std::unordered_set (nodict) with Yosys::pool

9 years agoReplaced std::unordered_map as implementation for Yosys::dict
Clifford Wolf [Fri, 26 Dec 2014 20:35:22 +0000 (21:35 +0100)]
Replaced std::unordered_map as implementation for Yosys::dict

9 years agoAdded new_dict (hashmap.h) and re-enabled code coverage counters
Clifford Wolf [Fri, 26 Dec 2014 18:28:52 +0000 (19:28 +0100)]
Added new_dict (hashmap.h) and re-enabled code coverage counters

9 years agoTemporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict
Clifford Wolf [Fri, 26 Dec 2014 10:05:23 +0000 (11:05 +0100)]
Temporary gcc 4.6 build hotfix for Yosys::dict and Yosys::nodict

9 years agoAdded "yosys -d" command line option
Clifford Wolf [Fri, 26 Dec 2014 09:54:23 +0000 (10:54 +0100)]
Added "yosys -d" command line option

9 years agoAdded Yosys::{dict,nodict,vector} container types
Clifford Wolf [Fri, 26 Dec 2014 09:53:21 +0000 (10:53 +0100)]
Added Yosys::{dict,nodict,vector} container types

9 years agoVarious fixes and improvements in "write_smt2 -bv"
Clifford Wolf [Thu, 25 Dec 2014 19:28:16 +0000 (20:28 +0100)]
Various fixes and improvements in "write_smt2 -bv"

9 years agoAdded "test_cell -muxdiv"
Clifford Wolf [Thu, 25 Dec 2014 18:22:39 +0000 (19:22 +0100)]
Added "test_cell -muxdiv"

9 years agoVarious fixes and improvements in write_smt2
Clifford Wolf [Thu, 25 Dec 2014 16:52:31 +0000 (17:52 +0100)]
Various fixes and improvements in write_smt2

9 years agoAdded "test_cell -w" feature
Clifford Wolf [Thu, 25 Dec 2014 16:04:13 +0000 (17:04 +0100)]
Added "test_cell -w" feature

9 years agoFixed simplemap for $ne cells with output width > 1
Clifford Wolf [Thu, 25 Dec 2014 15:41:20 +0000 (16:41 +0100)]
Fixed simplemap for $ne cells with output width > 1

9 years agoAdded support for most BV cell types to write_smt2
Clifford Wolf [Thu, 25 Dec 2014 14:37:02 +0000 (15:37 +0100)]
Added support for most BV cell types to write_smt2

9 years agoAdded "write_smt2 -bv" and other write_smt2 improvements
Clifford Wolf [Thu, 25 Dec 2014 12:30:20 +0000 (13:30 +0100)]
Added "write_smt2 -bv" and other write_smt2 improvements

9 years agoFixed off-by-one bug in "hierarchy -check" for positional module args
Clifford Wolf [Wed, 24 Dec 2014 15:26:18 +0000 (16:26 +0100)]
Fixed off-by-one bug in "hierarchy -check" for positional module args

9 years agoAdded write_smt2 (only gate level logic supported so far)
Clifford Wolf [Wed, 24 Dec 2014 15:17:57 +0000 (16:17 +0100)]
Added write_smt2 (only gate level logic supported so far)

9 years agoAdded "dfflibmap -prepare" help
Clifford Wolf [Wed, 24 Dec 2014 11:56:05 +0000 (12:56 +0100)]
Added "dfflibmap -prepare" help

9 years agoAdded "dfflibmap -prepare"
Clifford Wolf [Wed, 24 Dec 2014 11:19:20 +0000 (12:19 +0100)]
Added "dfflibmap -prepare"

9 years agoAdded "dff2dffe -direct" for direct gate mapping
Clifford Wolf [Wed, 24 Dec 2014 10:39:15 +0000 (11:39 +0100)]
Added "dff2dffe -direct" for direct gate mapping

9 years agoAdded "dff2dffe -unmap"
Clifford Wolf [Wed, 24 Dec 2014 10:09:01 +0000 (11:09 +0100)]
Added "dff2dffe -unmap"

9 years agoAdded support for gate-level cells in dff2dffe
Clifford Wolf [Wed, 24 Dec 2014 09:49:54 +0000 (10:49 +0100)]
Added support for gate-level cells in dff2dffe

9 years agoImprovements in simplemap api, added $ne $nex $eq $eqx support
Clifford Wolf [Wed, 24 Dec 2014 09:49:24 +0000 (10:49 +0100)]
Improvements in simplemap api, added $ne $nex $eq $eqx support

9 years agoRenamed extend() to extend_xx(), changed most users to extend_u0()
Clifford Wolf [Wed, 24 Dec 2014 08:51:17 +0000 (09:51 +0100)]
Renamed extend() to extend_xx(), changed most users to extend_u0()

9 years agoImproved ABC clock domain partitioning
Clifford Wolf [Tue, 23 Dec 2014 13:08:38 +0000 (14:08 +0100)]
Improved ABC clock domain partitioning

9 years agoIndenting fix in show.cc
Clifford Wolf [Tue, 23 Dec 2014 12:49:54 +0000 (13:49 +0100)]
Indenting fix in show.cc

9 years agoAdded "show -colorattr"
Clifford Wolf [Tue, 23 Dec 2014 11:29:29 +0000 (12:29 +0100)]
Added "show -colorattr"

9 years agoAdded "abc -markgroups"
Clifford Wolf [Tue, 23 Dec 2014 11:29:02 +0000 (12:29 +0100)]
Added "abc -markgroups"

9 years agoAdded support for multiple clock domains to "abc" pass
Clifford Wolf [Sun, 21 Dec 2014 15:52:05 +0000 (16:52 +0100)]
Added support for multiple clock domains to "abc" pass

9 years agoFixed "abc" pass for clk and enable signals driven by logic
Clifford Wolf [Sun, 21 Dec 2014 10:13:25 +0000 (11:13 +0100)]
Fixed "abc" pass for clk and enable signals driven by logic

9 years agoAdded DFFE support to "abc" pass
Clifford Wolf [Fri, 19 Dec 2014 23:44:03 +0000 (00:44 +0100)]
Added DFFE support to "abc" pass

9 years agoAdded $dffe support to write_verilog
Clifford Wolf [Fri, 19 Dec 2014 23:03:20 +0000 (00:03 +0100)]
Added $dffe support to write_verilog

9 years agoChecking existence of ports in "hierarchy -check"
Clifford Wolf [Fri, 19 Dec 2014 17:47:19 +0000 (18:47 +0100)]
Checking existence of ports in "hierarchy -check"

9 years agoFixed another bug in write_blif handling of $lut cells
Clifford Wolf [Fri, 19 Dec 2014 16:54:44 +0000 (17:54 +0100)]
Fixed another bug in write_blif handling of $lut cells

9 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Wed, 17 Dec 2014 10:16:39 +0000 (11:16 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

9 years agoFixed writing of $lut cells in BLIF backend
Clifford Wolf [Wed, 17 Dec 2014 10:13:57 +0000 (11:13 +0100)]
Fixed writing of $lut cells in BLIF backend

9 years agoFixed build with gcc 4.6
Clifford Wolf [Tue, 16 Dec 2014 09:38:25 +0000 (10:38 +0100)]
Fixed build with gcc 4.6

9 years agoAdded "write_blif -undef" and support for special "-" true/false/undef type
Clifford Wolf [Sun, 14 Dec 2014 17:00:38 +0000 (18:00 +0100)]
Added "write_blif -undef" and support for special "-" true/false/undef type

9 years agoAdded "write_blif -blackbox"
Clifford Wolf [Sun, 14 Dec 2014 16:45:03 +0000 (17:45 +0100)]
Added "write_blif -blackbox"

based on code by Eddie Hung from
https://github.com/eddiehung/yosys/commit/1e481661cb4a4

9 years agoAdded "blif -unbuf" feature
Clifford Wolf [Sun, 14 Dec 2014 16:37:46 +0000 (17:37 +0100)]
Added "blif -unbuf" feature