Clifford Wolf [Tue, 29 Jul 2014 14:33:56 +0000 (16:33 +0200)]
Allow "hierarchy -generate" for $__ cells
Clifford Wolf [Tue, 29 Jul 2014 14:06:27 +0000 (16:06 +0200)]
Added "techmap -map %{design-name}"
Clifford Wolf [Tue, 29 Jul 2014 12:42:33 +0000 (14:42 +0200)]
Added $shift and $shiftx cell types (needed for correct part select behavior)
Clifford Wolf [Mon, 28 Jul 2014 17:38:30 +0000 (19:38 +0200)]
Removed left over debug code
Clifford Wolf [Mon, 28 Jul 2014 14:45:26 +0000 (16:45 +0200)]
Fixed part selects of parameters
Clifford Wolf [Mon, 28 Jul 2014 14:09:50 +0000 (16:09 +0200)]
Set results of out-of-bounds static bit/part select to undef
Clifford Wolf [Mon, 28 Jul 2014 13:31:19 +0000 (15:31 +0200)]
Fixed RTLIL code generator for part select of parameter
Clifford Wolf [Mon, 28 Jul 2014 13:19:34 +0000 (15:19 +0200)]
Fixed width detection for part selects
Clifford Wolf [Mon, 28 Jul 2014 12:25:03 +0000 (14:25 +0200)]
Added support for "upto" wires to Verilog front- and back-end
Clifford Wolf [Mon, 28 Jul 2014 10:12:13 +0000 (12:12 +0200)]
Added wire->upto flag for signals such as "wire [0:7] x;"
Clifford Wolf [Mon, 28 Jul 2014 09:08:55 +0000 (11:08 +0200)]
Using log_assert() instead of assert()
Clifford Wolf [Mon, 28 Jul 2014 08:52:58 +0000 (10:52 +0200)]
Added std::initializer_list<> constructor to SigSpec
Clifford Wolf [Mon, 28 Jul 2014 08:52:30 +0000 (10:52 +0200)]
Added cover() to all SigSpec constructors
Clifford Wolf [Mon, 28 Jul 2014 08:10:08 +0000 (10:10 +0200)]
Fixed signdness detection of expressions with bit- and part-selects
Clifford Wolf [Mon, 28 Jul 2014 07:15:40 +0000 (09:15 +0200)]
Improvements in tests/vloghtb
Clifford Wolf [Sun, 27 Jul 2014 19:13:23 +0000 (21:13 +0200)]
Added techmap -extern
Clifford Wolf [Sun, 27 Jul 2014 19:12:09 +0000 (21:12 +0200)]
Added proper Design->addModule interface
Clifford Wolf [Sun, 27 Jul 2014 14:19:24 +0000 (16:19 +0200)]
Added topological sorting to techmap
Clifford Wolf [Sun, 27 Jul 2014 13:38:02 +0000 (15:38 +0200)]
Added SigPool::check(bit)
Clifford Wolf [Sun, 27 Jul 2014 13:14:02 +0000 (15:14 +0200)]
Small improvements in PerformanceTimer API
Clifford Wolf [Sun, 27 Jul 2014 13:13:29 +0000 (15:13 +0200)]
Fixed bug in opt_clean
Clifford Wolf [Sun, 27 Jul 2014 12:50:25 +0000 (14:50 +0200)]
Improved performance of opt_const on large modules
Clifford Wolf [Sun, 27 Jul 2014 12:47:48 +0000 (14:47 +0200)]
Added RTLIL::SigSpec::remove_const() handling of packed SigSpecs
Clifford Wolf [Sun, 27 Jul 2014 12:47:23 +0000 (14:47 +0200)]
Added RTLIL::SigSpecConstIterator
Clifford Wolf [Sun, 27 Jul 2014 11:19:05 +0000 (13:19 +0200)]
Fixed a bug in opt_clean and some RTLIL API usage cleanups
Clifford Wolf [Sun, 27 Jul 2014 10:04:12 +0000 (12:04 +0200)]
Added log_cmd_error_expection
Clifford Wolf [Sun, 27 Jul 2014 10:00:28 +0000 (12:00 +0200)]
Fixed verific bindings for new RTLIL api
Clifford Wolf [Sun, 27 Jul 2014 09:56:35 +0000 (11:56 +0200)]
Fixed ilang parser for new RTLIL API
Clifford Wolf [Sun, 27 Jul 2014 08:41:42 +0000 (10:41 +0200)]
Using new obj iterator API in a few places
Clifford Wolf [Sun, 27 Jul 2014 09:03:56 +0000 (11:03 +0200)]
Added RTLIL::Module::wire(id) and cell(id) lookup functions
Clifford Wolf [Sun, 27 Jul 2014 08:40:31 +0000 (10:40 +0200)]
Added RTLIL::Design::modules()
Clifford Wolf [Sun, 27 Jul 2014 08:18:00 +0000 (10:18 +0200)]
Refactoring: Renamed RTLIL::Design::modules to modules_
Clifford Wolf [Sun, 27 Jul 2014 08:41:06 +0000 (10:41 +0200)]
Added conversion from ObjRange to std::vector and std::set
Clifford Wolf [Sun, 27 Jul 2014 08:13:22 +0000 (10:13 +0200)]
Added RTLIL::ObjIterator and RTLIL::ObjRange
Clifford Wolf [Sun, 27 Jul 2014 07:20:59 +0000 (09:20 +0200)]
Using std::move() in SigSpec move constructor
Clifford Wolf [Sun, 27 Jul 2014 00:11:57 +0000 (02:11 +0200)]
Added RTLIL::SigSpec move constructor and move assignment operator
Clifford Wolf [Sun, 27 Jul 2014 00:00:04 +0000 (02:00 +0200)]
Mostly cosmetic changes to rtlil.h
Clifford Wolf [Sat, 26 Jul 2014 23:51:45 +0000 (01:51 +0200)]
Refactoring: Renamed RTLIL::Module::cells to cells_
Clifford Wolf [Sat, 26 Jul 2014 23:49:51 +0000 (01:49 +0200)]
Refactoring: Renamed RTLIL::Module::wires to wires_
Clifford Wolf [Sat, 26 Jul 2014 19:34:19 +0000 (21:34 +0200)]
New message for completion of build
Clifford Wolf [Sat, 26 Jul 2014 19:16:05 +0000 (21:16 +0200)]
Changed more code to the new RTLIL::Wire constructors
Clifford Wolf [Sat, 26 Jul 2014 18:12:50 +0000 (20:12 +0200)]
Changed a lot of code to the new RTLIL::Wire constructors
Clifford Wolf [Sat, 26 Jul 2014 15:43:41 +0000 (17:43 +0200)]
Added tests/various/.gitignore
Clifford Wolf [Sat, 26 Jul 2014 15:22:18 +0000 (17:22 +0200)]
Added tests/various/submod_extract.ys
Clifford Wolf [Sat, 26 Jul 2014 15:21:40 +0000 (17:21 +0200)]
Added support for here documents
Clifford Wolf [Sat, 26 Jul 2014 14:14:02 +0000 (16:14 +0200)]
More RTLIL::Cell API usage cleanups
Clifford Wolf [Sat, 26 Jul 2014 14:11:28 +0000 (16:11 +0200)]
Added RTLIL::Cell::has(portname)
Clifford Wolf [Sat, 26 Jul 2014 14:00:30 +0000 (16:00 +0200)]
Merge automatic and manual code changes for new cell connections API
Clifford Wolf [Sat, 26 Jul 2014 13:57:57 +0000 (15:57 +0200)]
Manual fixes for new cell connections API
Clifford Wolf [Sat, 26 Jul 2014 12:32:50 +0000 (14:32 +0200)]
Changed users of cell->connections_ to the new API (sed command)
git grep -l 'connections_' | xargs sed -i -r -e '
s/(->|\.)connections_\["([^"]*)"\] = (.*);/\1set("\2", \3);/g;
s/(->|\.)connections_\["([^"]*)"\]/\1get("\2")/g;
s/(->|\.)connections_.at\("([^"]*)"\)/\1get("\2")/g;
s/(->|\.)connections_.push_back/\1connect/g;
s/(->|\.)connections_/\1connections()/g;'
Clifford Wolf [Sat, 26 Jul 2014 13:57:27 +0000 (15:57 +0200)]
Added some missing "const" in rtlil.h
Clifford Wolf [Sat, 26 Jul 2014 12:38:33 +0000 (14:38 +0200)]
Added RTLIL::Module::connections()
Clifford Wolf [Sat, 26 Jul 2014 12:31:47 +0000 (14:31 +0200)]
Added RTLIL::Module::connect(const RTLIL::SigSig&)
Clifford Wolf [Sat, 26 Jul 2014 12:08:43 +0000 (14:08 +0200)]
Use "wget -N" in tests/vloghtb/run-test.sh
Clifford Wolf [Sat, 26 Jul 2014 12:08:20 +0000 (14:08 +0200)]
Added "passed" message to make test targets
Clifford Wolf [Sat, 26 Jul 2014 11:59:30 +0000 (13:59 +0200)]
Automatically pack SigSpec on copy/assign
Clifford Wolf [Sat, 26 Jul 2014 10:22:58 +0000 (12:22 +0200)]
Added new RTLIL::Cell port access methods
Clifford Wolf [Sat, 26 Jul 2014 09:58:03 +0000 (11:58 +0200)]
Renamed RTLIL::{Module,Cell}::connections to connections_
Clifford Wolf [Sat, 26 Jul 2014 09:55:58 +0000 (11:55 +0200)]
Cosmetic fixes for "make abc"
Clifford Wolf [Sat, 26 Jul 2014 09:23:43 +0000 (11:23 +0200)]
Added "Checklist for adding internal cell types"
Clifford Wolf [Fri, 25 Jul 2014 22:38:44 +0000 (00:38 +0200)]
Added copy-constructor-like module->addCell(name, other) method
Clifford Wolf [Fri, 25 Jul 2014 13:05:18 +0000 (15:05 +0200)]
Use only module->addCell() and module->remove() to create and delete cells
Clifford Wolf [Fri, 25 Jul 2014 12:23:31 +0000 (14:23 +0200)]
Various RTLIL::SigSpec related code cleanups
Clifford Wolf [Fri, 25 Jul 2014 12:23:10 +0000 (14:23 +0200)]
Added RTLIL::SigSpec is_chunk()/as_chunk() API
Clifford Wolf [Fri, 25 Jul 2014 11:15:46 +0000 (13:15 +0200)]
Added "make vgtest"
Clifford Wolf [Fri, 25 Jul 2014 11:07:31 +0000 (13:07 +0200)]
Fixed two memory leaks in ast simplify
Clifford Wolf [Fri, 25 Jul 2014 11:01:45 +0000 (13:01 +0200)]
Renamed some of the test cases in tests/simple to avoid name collisions
Clifford Wolf [Fri, 25 Jul 2014 10:49:51 +0000 (12:49 +0200)]
Fixed memory corruption in "opt_reduce" pass
Clifford Wolf [Fri, 25 Jul 2014 10:22:37 +0000 (12:22 +0200)]
Disabled cover() for non-linux builds
Clifford Wolf [Fri, 25 Jul 2014 10:16:23 +0000 (12:16 +0200)]
Added more stuff to checklist
Clifford Wolf [Fri, 25 Jul 2014 10:16:03 +0000 (12:16 +0200)]
Updated verific build/test instructions
Clifford Wolf [Fri, 25 Jul 2014 10:04:40 +0000 (12:04 +0200)]
Improvements in "cover" command
Clifford Wolf [Fri, 25 Jul 2014 01:31:16 +0000 (03:31 +0200)]
Removed Minisat dependency on zlib
Clifford Wolf [Fri, 25 Jul 2014 01:18:16 +0000 (03:18 +0200)]
Added more stuff to the checklist
Clifford Wolf [Fri, 25 Jul 2014 01:17:35 +0000 (03:17 +0200)]
Fixed typo in cover id
Clifford Wolf [Fri, 25 Jul 2014 01:17:06 +0000 (03:17 +0200)]
Added "make clean-abc"
Clifford Wolf [Fri, 25 Jul 2014 01:12:14 +0000 (03:12 +0200)]
Further improved "make" prettiness
Clifford Wolf [Thu, 24 Jul 2014 20:47:57 +0000 (22:47 +0200)]
Replaced more old SigChunk programming patterns
Clifford Wolf [Thu, 24 Jul 2014 18:57:21 +0000 (20:57 +0200)]
Updated ABC to hg id "
b1e63d18768d"
Clifford Wolf [Thu, 24 Jul 2014 17:36:43 +0000 (19:36 +0200)]
Added cover() calls to opt_const
Clifford Wolf [Thu, 24 Jul 2014 17:36:20 +0000 (19:36 +0200)]
Added cover_list() API
Clifford Wolf [Thu, 24 Jul 2014 17:03:57 +0000 (19:03 +0200)]
Added "make SMALL=1"
Clifford Wolf [Thu, 24 Jul 2014 15:55:55 +0000 (17:55 +0200)]
Now "make PRETTY=1" is the default setting
Clifford Wolf [Thu, 24 Jul 2014 15:53:11 +0000 (17:53 +0200)]
Added percentage display to "make PRETTY=1"
Clifford Wolf [Thu, 24 Jul 2014 15:15:01 +0000 (17:15 +0200)]
Added "make PRETTY=1"
Clifford Wolf [Thu, 24 Jul 2014 13:06:45 +0000 (15:06 +0200)]
Added "cover" command
Clifford Wolf [Thu, 24 Jul 2014 13:05:41 +0000 (15:05 +0200)]
Some improvements in SigSpec packing/unpacking and checking
Clifford Wolf [Thu, 24 Jul 2014 13:05:05 +0000 (15:05 +0200)]
Now using a dedicated ELF section for all coverage counters
Clifford Wolf [Thu, 24 Jul 2014 02:46:36 +0000 (04:46 +0200)]
Small changes regarding cover() and check() in SigSpec
Clifford Wolf [Thu, 24 Jul 2014 02:24:47 +0000 (04:24 +0200)]
Renamed RELEASE_CHECKLIST -> CHECKLIST
Clifford Wolf [Thu, 24 Jul 2014 02:16:32 +0000 (04:16 +0200)]
Added support for YOSYS_COVER_FILE env variable
Clifford Wolf [Thu, 24 Jul 2014 01:50:28 +0000 (03:50 +0200)]
Added cover() calls to RTLIL::SigSpec methods
Clifford Wolf [Thu, 24 Jul 2014 01:49:32 +0000 (03:49 +0200)]
Added support for YOSYS_COVER_DIR env variable
Clifford Wolf [Thu, 24 Jul 2014 01:48:38 +0000 (03:48 +0200)]
Added cover() API
Clifford Wolf [Thu, 24 Jul 2014 00:13:37 +0000 (02:13 +0200)]
Added RELEASE_CHECKLIST
Clifford Wolf [Thu, 24 Jul 2014 00:12:24 +0000 (02:12 +0200)]
Added "make config-gcc-4.7"
Clifford Wolf [Thu, 24 Jul 2014 00:11:12 +0000 (02:11 +0200)]
Added "make vloghtb"
Clifford Wolf [Wed, 23 Jul 2014 21:58:03 +0000 (23:58 +0200)]
Added hashing to RTLIL::SigSpec relational and equal operators
Clifford Wolf [Wed, 23 Jul 2014 19:42:44 +0000 (21:42 +0200)]
Disabled RTLIL::SigSpec::check() in release builds
Clifford Wolf [Wed, 23 Jul 2014 19:38:18 +0000 (21:38 +0200)]
Fixed release build