Clifford Wolf [Sat, 24 Oct 2015 19:56:53 +0000 (21:56 +0200)]
improvement in "stat"
Clifford Wolf [Sat, 24 Oct 2015 17:23:30 +0000 (19:23 +0200)]
Fixed driver conflict handling (various cmds)
Clifford Wolf [Sat, 24 Oct 2015 17:09:45 +0000 (19:09 +0200)]
equiv_purge bugfix, using SigChunk in Yosys namespace
Clifford Wolf [Sat, 24 Oct 2015 11:44:35 +0000 (13:44 +0200)]
Fixed handling of driver-driver conflicts in wreduce
Clifford Wolf [Fri, 23 Oct 2015 21:56:58 +0000 (23:56 +0200)]
Added equiv_mark command
Clifford Wolf [Fri, 23 Oct 2015 18:11:05 +0000 (20:11 +0200)]
Disabled "Skipping blackbox module" msg in show command
Clifford Wolf [Fri, 23 Oct 2015 18:08:33 +0000 (20:08 +0200)]
Added support for ":" as comment symbol after ;-parsing
Clifford Wolf [Fri, 23 Oct 2015 13:26:58 +0000 (15:26 +0200)]
Also merge $equiv cells in equiv_struct
Clifford Wolf [Fri, 23 Oct 2015 13:11:57 +0000 (15:11 +0200)]
Improvements in equiv_struct
Clifford Wolf [Thu, 22 Oct 2015 13:40:27 +0000 (15:40 +0200)]
Added equiv_purge
Clifford Wolf [Wed, 21 Oct 2015 15:12:35 +0000 (17:12 +0200)]
Added equiv_struct command
Clifford Wolf [Wed, 21 Oct 2015 13:42:50 +0000 (15:42 +0200)]
Improved inout handling in equiv_make
Clifford Wolf [Tue, 20 Oct 2015 14:49:11 +0000 (16:49 +0200)]
Progress on cell help messages
Clifford Wolf [Sat, 17 Oct 2015 00:22:42 +0000 (02:22 +0200)]
Progress on cell help messages
Clifford Wolf [Thu, 15 Oct 2015 13:54:59 +0000 (15:54 +0200)]
Progress in yosys-smtbmc
Clifford Wolf [Thu, 15 Oct 2015 13:19:23 +0000 (15:19 +0200)]
Fixed bug in verilog parser
Clifford Wolf [Thu, 15 Oct 2015 13:08:41 +0000 (15:08 +0200)]
Improvements in yosys-smtbmc
Clifford Wolf [Thu, 15 Oct 2015 12:57:28 +0000 (14:57 +0200)]
Bugfixes in handling of "keep" attribute on wires
Clifford Wolf [Wed, 14 Oct 2015 21:23:25 +0000 (23:23 +0200)]
More "yosys-smtbmc -c" fixes
Clifford Wolf [Wed, 14 Oct 2015 21:00:46 +0000 (23:00 +0200)]
Fixed yosys-smtbmc -c
Clifford Wolf [Wed, 14 Oct 2015 20:46:41 +0000 (22:46 +0200)]
Added "prep" command
Clifford Wolf [Wed, 14 Oct 2015 18:29:47 +0000 (20:29 +0200)]
Added more cell descriptions
Clifford Wolf [Wed, 14 Oct 2015 14:27:42 +0000 (16:27 +0200)]
Added first help messages for cell types
Clifford Wolf [Tue, 13 Oct 2015 23:31:54 +0000 (01:31 +0200)]
Added yosys-smtbmc copyright
Clifford Wolf [Tue, 13 Oct 2015 23:27:55 +0000 (01:27 +0200)]
Improvements in yosys-smtbmc
Clifford Wolf [Tue, 13 Oct 2015 22:37:41 +0000 (00:37 +0200)]
Added yosys-smtbmc
Clifford Wolf [Tue, 13 Oct 2015 22:18:38 +0000 (00:18 +0200)]
Implemented smtbmc.py -i
Clifford Wolf [Tue, 13 Oct 2015 15:17:23 +0000 (17:17 +0200)]
Added smtbmc.py
Clifford Wolf [Tue, 13 Oct 2015 15:17:12 +0000 (17:17 +0200)]
Added write_smt2 -wires
Clifford Wolf [Tue, 13 Oct 2015 13:40:21 +0000 (15:40 +0200)]
Added examples/ top-level directory
Clifford Wolf [Tue, 13 Oct 2015 12:21:20 +0000 (14:21 +0200)]
SystemVerilog also has assume(), added implicit -D FORMAL
Clifford Wolf [Tue, 13 Oct 2015 09:01:19 +0000 (11:01 +0200)]
Merge branch 'master' of https://github.com/rubund/yosys
Clifford Wolf [Tue, 13 Oct 2015 08:30:23 +0000 (10:30 +0200)]
Fixed "flatten" for unconnected inout ports
Ruben Undheim [Sat, 10 Oct 2015 22:56:20 +0000 (00:56 +0200)]
Use DESTDIR as defined in https://gnu.org/prep/standards/html_node/DESTDIR.html
This is needed for painless packaging of yosys
Ruben Undheim [Sat, 10 Oct 2015 22:47:37 +0000 (00:47 +0200)]
Use LDFLAGS, CXXFLAGS and CPPFLAGS from the environment when building
Clifford Wolf [Wed, 7 Oct 2015 12:59:08 +0000 (14:59 +0200)]
Added support for "parameter" and "localparam" in global context
Clifford Wolf [Thu, 1 Oct 2015 10:15:35 +0000 (12:15 +0200)]
Fixed complexity of assigning to vectors in constant functions
Clifford Wolf [Wed, 30 Sep 2015 13:46:51 +0000 (15:46 +0200)]
Fixed detection of unconditional $readmem[hb]
Clifford Wolf [Sun, 27 Sep 2015 09:53:20 +0000 (11:53 +0200)]
Added edgetypes command
Clifford Wolf [Sat, 26 Sep 2015 08:42:27 +0000 (10:42 +0200)]
Some cleanups in qwp
Clifford Wolf [Fri, 25 Sep 2015 15:27:18 +0000 (17:27 +0200)]
Added "test_cell -noeval"
Clifford Wolf [Fri, 25 Sep 2015 15:27:06 +0000 (17:27 +0200)]
Added wreduce $mul support and fixed signed $mul opt_const bug
Clifford Wolf [Fri, 25 Sep 2015 12:22:33 +0000 (14:22 +0200)]
Bugfix in bram read-enable code
Clifford Wolf [Fri, 25 Sep 2015 11:49:48 +0000 (13:49 +0200)]
Bugfixes in $readmem[hb]
Clifford Wolf [Fri, 25 Sep 2015 11:49:26 +0000 (13:49 +0200)]
Bugfixes in writing of memories as Verilog
Clifford Wolf [Fri, 25 Sep 2015 10:38:01 +0000 (12:38 +0200)]
Fixed segfault in AstNode::asReal
Clifford Wolf [Fri, 25 Sep 2015 10:23:11 +0000 (12:23 +0200)]
Added read-enable to memory model
Clifford Wolf [Thu, 24 Sep 2015 20:16:37 +0000 (22:16 +0200)]
Added pivoting to qwp solver
Clifford Wolf [Thu, 24 Sep 2015 19:50:37 +0000 (21:50 +0200)]
Improved qwp performance
Clifford Wolf [Thu, 24 Sep 2015 19:22:24 +0000 (21:22 +0200)]
Added statistics summary to "qwp"
Clifford Wolf [Thu, 24 Sep 2015 09:37:15 +0000 (11:37 +0200)]
Fixed memory_bram for ROMs in BRAMs with write-enable inputs
Clifford Wolf [Thu, 24 Sep 2015 09:21:20 +0000 (11:21 +0200)]
Fixed AstNode::mkconst_bits() segfault on zero-sized constant
Clifford Wolf [Wed, 23 Sep 2015 06:23:38 +0000 (08:23 +0200)]
Added read_verilog -nodpi
Clifford Wolf [Wed, 23 Sep 2015 05:56:17 +0000 (07:56 +0200)]
Bugfix in handling of multi-dimensional memories
Clifford Wolf [Wed, 23 Sep 2015 05:16:03 +0000 (07:16 +0200)]
Warning for $display/$write outside initial block
Clifford Wolf [Wed, 23 Sep 2015 05:10:56 +0000 (07:10 +0200)]
Fixed support for $write system task
Clifford Wolf [Tue, 22 Sep 2015 19:34:21 +0000 (21:34 +0200)]
Fixed detection of "task foo(bar);" syntax error
Clifford Wolf [Tue, 22 Sep 2015 18:52:02 +0000 (20:52 +0200)]
Fixed multi-level prefix resolving
Clifford Wolf [Tue, 22 Sep 2015 06:13:09 +0000 (08:13 +0200)]
Fixed segfault on invalid verilog constant 1'b_
Clifford Wolf [Mon, 21 Sep 2015 10:33:36 +0000 (12:33 +0200)]
Fixed emcc build
Clifford Wolf [Mon, 21 Sep 2015 09:52:40 +0000 (11:52 +0200)]
Do not detect fsm state registers with init attribute
Clifford Wolf [Mon, 21 Sep 2015 08:27:18 +0000 (10:27 +0200)]
Bugfix in "qwp" pass
Clifford Wolf [Sun, 20 Sep 2015 23:05:13 +0000 (01:05 +0200)]
Improvements and fixes in "qwp" pass
Clifford Wolf [Sun, 20 Sep 2015 20:36:35 +0000 (22:36 +0200)]
Added "qwp -dump"
Clifford Wolf [Sun, 20 Sep 2015 16:28:46 +0000 (18:28 +0200)]
Added "qwp" command
Andrew Zonenberg [Sat, 19 Sep 2015 00:00:00 +0000 (00:00 +0000)]
Improvements to $display system task
Clifford Wolf [Fri, 18 Sep 2015 19:57:34 +0000 (21:57 +0200)]
Added nlutmap
Clifford Wolf [Fri, 18 Sep 2015 19:55:48 +0000 (21:55 +0200)]
Added lut2mux pass
Clifford Wolf [Fri, 18 Sep 2015 19:55:12 +0000 (21:55 +0200)]
Cosmetic fix in Module::addLut()
Clifford Wolf [Fri, 18 Sep 2015 18:12:56 +0000 (20:12 +0200)]
Added buffer detection to "abc -lut"
Clifford Wolf [Fri, 18 Sep 2015 10:00:37 +0000 (12:00 +0200)]
Renamed GreenPAK4 cells, improved GP4 DFF mapping
Clifford Wolf [Fri, 18 Sep 2015 09:55:57 +0000 (11:55 +0200)]
Added support for "dfflibmap -liberty +/..."
Clifford Wolf [Fri, 18 Sep 2015 09:55:31 +0000 (11:55 +0200)]
Added detection of "mux inverter" chains in opt_const
Clifford Wolf [Fri, 18 Sep 2015 08:46:50 +0000 (10:46 +0200)]
Added $logic_not handling to fsm_detect
Clifford Wolf [Fri, 18 Sep 2015 08:01:08 +0000 (10:01 +0200)]
Added $finish and $display to README
Clifford Wolf [Fri, 18 Sep 2015 07:54:49 +0000 (09:54 +0200)]
Merge branch 'feat-finish-disp'
Clifford Wolf [Fri, 18 Sep 2015 07:50:53 +0000 (09:50 +0200)]
Added AST_INITIAL checks for $finish and $display
Andrew Zonenberg [Fri, 18 Sep 2015 03:34:56 +0000 (20:34 -0700)]
Initial implementation of $display()
Andrew Zonenberg [Fri, 18 Sep 2015 03:34:56 +0000 (20:34 -0700)]
Initial implementation of $finish()
Clifford Wolf [Wed, 16 Sep 2015 07:39:31 +0000 (09:39 +0200)]
Fixed copy&paste typo in synth_greenpak4
Clifford Wolf [Wed, 16 Sep 2015 07:28:37 +0000 (09:28 +0200)]
Added GreenPAK4 skeleton
Clifford Wolf [Sat, 12 Sep 2015 14:01:20 +0000 (16:01 +0200)]
Fixed sharing of $memrd cells
Clifford Wolf [Thu, 10 Sep 2015 15:35:19 +0000 (17:35 +0200)]
Fixed ice40 handling of negclk RAM40
Clifford Wolf [Tue, 1 Sep 2015 11:10:36 +0000 (13:10 +0200)]
Fixed port ordering in "splitnets" cmd
Clifford Wolf [Tue, 1 Sep 2015 10:51:23 +0000 (12:51 +0200)]
gcc-4.6 build fixes
Andrei Errapart [Mon, 24 Aug 2015 20:44:56 +0000 (22:44 +0200)]
Removed unnecessary cast.
Andrei Errapart [Mon, 24 Aug 2015 20:49:23 +0000 (22:49 +0200)]
Microsoft Visual C++ fixes in hashlib; template specializations on int32_t and int64_t.
Andrei Errapart [Mon, 24 Aug 2015 20:52:27 +0000 (22:52 +0200)]
Microsoft Visual C++ fix for log.h.
Clifford Wolf [Mon, 31 Aug 2015 14:49:42 +0000 (16:49 +0200)]
Fixed iopadmap help message
Clifford Wolf [Mon, 31 Aug 2015 14:42:19 +0000 (16:42 +0200)]
Added SigMap::allbits()
Clifford Wolf [Mon, 31 Aug 2015 14:26:01 +0000 (16:26 +0200)]
Using dict<> and pool<> in alumacc pass
Clifford Wolf [Mon, 31 Aug 2015 00:05:58 +0000 (02:05 +0200)]
Added "yosys-smt2-wire" tag support to smt2 back-end
Clifford Wolf [Sat, 22 Aug 2015 12:46:42 +0000 (14:46 +0200)]
Fixed handling of memory read without address
Clifford Wolf [Sat, 22 Aug 2015 07:59:25 +0000 (09:59 +0200)]
Switched to Python 3
Clifford Wolf [Tue, 18 Aug 2015 15:14:30 +0000 (17:14 +0200)]
Added sat -show-regs, -show-public, -show-all
Clifford Wolf [Tue, 18 Aug 2015 12:17:50 +0000 (14:17 +0200)]
Bugfix in fsm_detect for complex muxtrees
Clifford Wolf [Tue, 18 Aug 2015 11:50:15 +0000 (13:50 +0200)]
Properly clean up unused "init" attributes
Clifford Wolf [Mon, 17 Aug 2015 14:22:53 +0000 (16:22 +0200)]
Small corrections to const2ast warning messages
Florian Zeitz [Mon, 17 Aug 2015 13:37:33 +0000 (15:37 +0200)]
Check base-n literals only contain valid digits
Florian Zeitz [Mon, 17 Aug 2015 13:27:35 +0000 (15:27 +0200)]
Warn on literals exceeding the specified bit width