Clifford Wolf [Thu, 14 Dec 2017 01:07:31 +0000 (02:07 +0100)]
Add clk2fflogic memory support
Clifford Wolf [Thu, 14 Dec 2017 01:07:10 +0000 (02:07 +0100)]
Add smt2 back-end support for async write memories
Clifford Wolf [Thu, 14 Dec 2017 01:06:39 +0000 (02:06 +0100)]
Add RTLIL::Const::is_fully_ones()
Clifford Wolf [Tue, 12 Dec 2017 20:48:31 +0000 (21:48 +0100)]
Add SigSpec::is_fully_ones()
Clifford Wolf [Wed, 13 Dec 2017 23:03:26 +0000 (00:03 +0100)]
Merge pull request #469 from kkiningh/master
Use quote includes for yosys.h
Kevin Kiningham [Wed, 13 Dec 2017 21:27:52 +0000 (13:27 -0800)]
Use quote includes for yosys.h
Clifford Wolf [Wed, 13 Dec 2017 18:14:34 +0000 (19:14 +0100)]
Check for memories in clk2fflogic
Clifford Wolf [Wed, 13 Dec 2017 15:55:39 +0000 (16:55 +0100)]
Merge pull request #468 from grahamedgecombe/fix-sb-io-od
Fix SB_IO_OD module
Clifford Wolf [Tue, 12 Dec 2017 16:13:27 +0000 (17:13 +0100)]
Add warnings for driver-driver conflicts between FFs (and other cells) and constants
Graham Edgecombe [Sat, 9 Dec 2017 21:49:07 +0000 (21:49 +0000)]
Fix port names in SB_IO_OD
Graham Edgecombe [Sat, 9 Dec 2017 21:39:20 +0000 (21:39 +0000)]
Remove trailing comma from SB_IO_OD port list
This isn't compatible with Icarus Verilog.
Clifford Wolf [Sun, 10 Dec 2017 00:10:03 +0000 (01:10 +0100)]
Add support for Verific PRIM_SVA_NOT properties
Clifford Wolf [Sat, 9 Dec 2017 23:59:44 +0000 (00:59 +0100)]
Add Verific OPER_SVA_STABLE support
Clifford Wolf [Sat, 9 Dec 2017 23:26:26 +0000 (00:26 +0100)]
Refactoring Verific SVA rewriter
Clifford Wolf [Sat, 9 Dec 2017 02:46:32 +0000 (03:46 +0100)]
Merge pull request #467 from mithro/patch-1
Fix spelling in -vpr help for synth_ice40
Tim Ansell [Sat, 9 Dec 2017 02:44:45 +0000 (18:44 -0800)]
Fix spelling in -vpr help for synth_ice40
Clifford Wolf [Sun, 3 Dec 2017 05:11:11 +0000 (06:11 +0100)]
Use "hg ... --insecure" for cloning/pulling ABC
Clifford Wolf [Sat, 2 Dec 2017 20:24:12 +0000 (21:24 +0100)]
Update ABC to hg rev
31fc97b0aeed
Clifford Wolf [Sat, 2 Dec 2017 17:52:05 +0000 (18:52 +0100)]
Fix error handling for nested always/initial
Clifford Wolf [Tue, 28 Nov 2017 14:53:53 +0000 (15:53 +0100)]
Merge pull request #462 from daveshah1/up5k
Add remaining UltraPlus cells to ice40 techlib
David Shah [Tue, 28 Nov 2017 11:07:49 +0000 (11:07 +0000)]
Add remaining UltraPlus cells to ice40 techlib
Clifford Wolf [Mon, 27 Nov 2017 16:42:32 +0000 (17:42 +0100)]
Fixed "yosys-smtbmc -g" handling of no solution
Clifford Wolf [Sun, 26 Nov 2017 06:16:06 +0000 (07:16 +0100)]
Merge pull request #460 from mithro/g3-fixes
Bunch of small fixes
Clifford Wolf [Sun, 26 Nov 2017 06:14:58 +0000 (07:14 +0100)]
Merge pull request #461 from mithro/travis-rework
travis: Print branches before fetching, try both locations.
Tim 'mithro' Ansell [Sun, 26 Nov 2017 03:44:41 +0000 (19:44 -0800)]
travis: Print branches before fetching, try both locations.
Tim 'mithro' Ansell [Fri, 24 Nov 2017 04:37:35 +0000 (15:37 +1100)]
minisat: Make update script executable.
Tim 'mithro' Ansell [Fri, 24 Nov 2017 04:34:46 +0000 (15:34 +1100)]
minisat: Only define __STDC_XXX_MACROS if not already defined.
Replace;
#define __STDC_LIMIT_MACROS
#define __STDC_FORMAT_MACROS
With
#ifndef __STDC_LIMIT_MACROS
#define __STDC_LIMIT_MACROS
#endif
#ifndef __STDC_FORMAT_MACROS
#define __STDC_FORMAT_MACROS
#endif
This fixes a compile warning if you are defining these macros in your
CXXFLAGS (as some distros do).
Tim 'mithro' Ansell [Fri, 24 Nov 2017 04:30:55 +0000 (15:30 +1100)]
minisat: Remove template with gzFile specialization.
All the other gzFile functions have been removed but this template was
still left around.
Tim 'mithro' Ansell [Fri, 24 Nov 2017 04:26:56 +0000 (15:26 +1100)]
subcircuit: Class with virtual methods should have virtual destructor.
Fixes a compile warning.
* https://stackoverflow.com/questions/
1123044/when-should-your-destructor-be-virtual
Clifford Wolf [Fri, 24 Nov 2017 05:49:15 +0000 (06:49 +0100)]
Merge pull request #446 from mithro/travis-rework
Reworking the Travis CI for Yosys.
Tim 'mithro' Ansell [Thu, 26 Oct 2017 21:37:38 +0000 (14:37 -0700)]
travis: Use the cache.
Tim 'mithro' Ansell [Thu, 26 Oct 2017 19:07:26 +0000 (12:07 -0700)]
travis: Adding gcc-4.8 and gcc-6 on Linux.
Tim 'mithro' Ansell [Thu, 26 Oct 2017 03:01:54 +0000 (20:01 -0700)]
travis: Reworking travis setup.
* Move the code into scripts inside .travis directory.
* Build on multiple compiler versions.
Fixes #442 - Make travis build pass
Fixes #441 - Fix git version information on travis build
Fixes #440 - Make travis cache the iverilog build
Clifford Wolf [Thu, 23 Nov 2017 07:57:55 +0000 (08:57 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Thu, 23 Nov 2017 07:48:17 +0000 (08:48 +0100)]
Add Verilog "automatic" keyword (ignored in synthesis)
Clifford Wolf [Sat, 18 Nov 2017 18:12:48 +0000 (19:12 +0100)]
Merge pull request #455 from daveshah1/up5k
Add UltraPlus specific cells to ice40 techlib
David Shah [Sat, 18 Nov 2017 17:53:21 +0000 (17:53 +0000)]
Remove unnecessary keep attributes
Clifford Wolf [Sat, 18 Nov 2017 09:01:30 +0000 (10:01 +0100)]
Accept real-valued delay values
Clifford Wolf [Sat, 18 Nov 2017 08:58:40 +0000 (09:58 +0100)]
Merge pull request #452 from cr1901/master
Accommodate Windows-style paths during include-file processing.
Clifford Wolf [Sat, 18 Nov 2017 08:56:36 +0000 (09:56 +0100)]
Merge pull request #453 from dh73/master
Updating Intel FPGA subsystem with Cyclone 10, minor changes in examples/intel directory and Speedster cells
David Shah [Fri, 17 Nov 2017 15:15:39 +0000 (15:15 +0000)]
Merge branch 'master' into up5k
Clifford Wolf [Thu, 16 Nov 2017 20:37:02 +0000 (21:37 +0100)]
Add "synth_ice40 -vpr"
David Shah [Thu, 16 Nov 2017 12:24:35 +0000 (12:24 +0000)]
Add some UltraPlus cells to ice40 techlib
dh73 [Wed, 15 Nov 2017 04:55:48 +0000 (22:55 -0600)]
Fixed the -vout flag to -vqm in examples/intel directory
William D. Jones [Tue, 14 Nov 2017 21:16:24 +0000 (16:16 -0500)]
Accommodate Windows-style paths during include-file processing.
dh73 [Thu, 9 Nov 2017 04:45:21 +0000 (22:45 -0600)]
Initial Cyclone 10 support
dh73 [Thu, 9 Nov 2017 02:24:01 +0000 (20:24 -0600)]
Merge https://github.com/cliffordwolf/yosys
dh73 [Thu, 9 Nov 2017 02:23:55 +0000 (20:23 -0600)]
Organizing Speedster file names
Clifford Wolf [Wed, 8 Nov 2017 01:54:24 +0000 (02:54 +0100)]
Add support for editline as replacement for readline
Clifford Wolf [Tue, 31 Oct 2017 11:40:25 +0000 (12:40 +0100)]
Add "ltp" command
Clifford Wolf [Sun, 29 Oct 2017 12:21:20 +0000 (13:21 +0100)]
Fix SMT2 handling of initstate in sub-modules
Clifford Wolf [Thu, 26 Oct 2017 16:02:15 +0000 (18:02 +0200)]
Fix memory corruption bug in opt_rmdff
Clifford Wolf [Thu, 26 Oct 2017 16:01:48 +0000 (18:01 +0200)]
Fix typo in opt_clean log message
Clifford Wolf [Wed, 25 Oct 2017 23:01:55 +0000 (01:01 +0200)]
Improve smtio performance by using reader thread, not writer thread
Clifford Wolf [Wed, 25 Oct 2017 17:59:56 +0000 (19:59 +0200)]
Use separate writer thread for talking to SMT solver to avoid read/write deadlock
Clifford Wolf [Wed, 25 Oct 2017 13:45:32 +0000 (15:45 +0200)]
Improve p_* functions in smtio.py
Clifford Wolf [Wed, 25 Oct 2017 13:17:29 +0000 (15:17 +0200)]
Disable OSX in .travis.yml
Clifford Wolf [Wed, 25 Oct 2017 12:57:16 +0000 (14:57 +0200)]
Add ENABLE_DEBUG config flag
Clifford Wolf [Wed, 25 Oct 2017 12:51:59 +0000 (14:51 +0200)]
Update ABC to hg rev
f6838749f234
Clifford Wolf [Wed, 25 Oct 2017 12:50:22 +0000 (14:50 +0200)]
Remove vhdl2verilog
Clifford Wolf [Wed, 25 Oct 2017 11:37:11 +0000 (13:37 +0200)]
Capsulate smt-solver read/write in separate functions
Clifford Wolf [Wed, 25 Oct 2017 11:05:14 +0000 (13:05 +0200)]
Fix a bug in yosys-smtbmc in ROM handling
Clifford Wolf [Fri, 20 Oct 2017 11:16:24 +0000 (13:16 +0200)]
Remove PSL example from tests/sva/
Clifford Wolf [Fri, 20 Oct 2017 11:14:04 +0000 (13:14 +0200)]
Remove all PSL support code from verific.cc
Clifford Wolf [Fri, 20 Oct 2017 09:44:54 +0000 (11:44 +0200)]
Merge pull request #437 from mithro/master
Adding COPYING file with license information.
Tim 'mithro' Ansell [Thu, 19 Oct 2017 22:45:09 +0000 (18:45 -0400)]
Adding COPYING file with license information.
This allows GitHub and other tools to detect the license info. Providing
a COPYING for LICENSE file is also pretty standard.
Clifford Wolf [Sat, 14 Oct 2017 09:57:04 +0000 (11:57 +0200)]
Revert
90be0d8 as it causes endless loops for some designs
Clifford Wolf [Fri, 13 Oct 2017 18:23:19 +0000 (20:23 +0200)]
Add "verific -vlog-libdir"
Clifford Wolf [Fri, 13 Oct 2017 18:12:51 +0000 (20:12 +0200)]
Add "verific -vlog-incdir" and "verific -vlog-define"
Clifford Wolf [Fri, 13 Oct 2017 15:11:46 +0000 (17:11 +0200)]
Update Verific README
Clifford Wolf [Thu, 12 Oct 2017 10:16:47 +0000 (12:16 +0200)]
Merge pull request #434 from Kmanfi/vector_fix
Fix input vector for reduce cells.
Kaj Tuomi [Thu, 12 Oct 2017 10:05:10 +0000 (13:05 +0300)]
Fix input vector for reduce cells.
Clifford Wolf [Thu, 12 Oct 2017 09:59:11 +0000 (11:59 +0200)]
Add Verific fairness/liveness support
Clifford Wolf [Wed, 11 Oct 2017 11:58:51 +0000 (13:58 +0200)]
Update ABC to hg rev
6283c5d99b06
Clifford Wolf [Tue, 10 Oct 2017 13:16:45 +0000 (15:16 +0200)]
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Tue, 10 Oct 2017 13:16:39 +0000 (15:16 +0200)]
Start work on pre-processor for Verific SVA properties
Clifford Wolf [Tue, 10 Oct 2017 11:32:58 +0000 (13:32 +0200)]
Rewrite ABC output to include proper net names in timing report
Clifford Wolf [Tue, 10 Oct 2017 11:32:04 +0000 (13:32 +0200)]
Add timing constraints to osu035 example
Clifford Wolf [Tue, 10 Oct 2017 10:00:48 +0000 (12:00 +0200)]
Remove some dead code
Clifford Wolf [Tue, 10 Oct 2017 09:59:32 +0000 (11:59 +0200)]
Allow $past, $stable, $rose, $fell in $global_clock blocks
Clifford Wolf [Sat, 7 Oct 2017 11:40:54 +0000 (13:40 +0200)]
Add $shiftx support to verilog front-end
Clifford Wolf [Fri, 6 Oct 2017 08:07:33 +0000 (10:07 +0200)]
Update ABC to hg rev
0fc1803a77c0
Larry Doolittle [Thu, 5 Oct 2017 00:01:30 +0000 (17:01 -0700)]
Clean whitespace and permissions in techlibs/intel
Clifford Wolf [Thu, 5 Oct 2017 12:38:32 +0000 (14:38 +0200)]
Improve handling of Verific errors
Clifford Wolf [Wed, 4 Oct 2017 16:56:28 +0000 (18:56 +0200)]
Improve Verific error handling, check VHDL static asserts
Clifford Wolf [Wed, 4 Oct 2017 16:30:42 +0000 (18:30 +0200)]
Add blackbox command
Clifford Wolf [Wed, 4 Oct 2017 15:23:42 +0000 (17:23 +0200)]
Fix nasty bug in Verific bindings
Clifford Wolf [Tue, 3 Oct 2017 16:23:45 +0000 (18:23 +0200)]
Merge branch 'pr_ast_const_funcs' of https://github.com/udif/yosys
Clifford Wolf [Tue, 3 Oct 2017 16:20:08 +0000 (18:20 +0200)]
Merge branch 'fix_shift_reduce_conflict' of https://github.com/udif/yosys
Clifford Wolf [Tue, 3 Oct 2017 15:33:43 +0000 (17:33 +0200)]
Merge branch 'dh73-master'
Clifford Wolf [Tue, 3 Oct 2017 15:31:21 +0000 (17:31 +0200)]
Rename "write_verilog -nobasenradix" to "write_verilog -decimal"
dh73 [Mon, 2 Oct 2017 00:59:45 +0000 (19:59 -0500)]
Tested and working altsyncarm without init files
dh73 [Sun, 1 Oct 2017 16:11:32 +0000 (11:11 -0500)]
Fixed wrong declaration in Verilog backend
dh73 [Sun, 1 Oct 2017 16:04:17 +0000 (11:04 -0500)]
Adding Cyclone IV (E, GX), Arria 10, Cyclone V and LPM functions (ALTPLL and M9K); M9K is not finished yet. Achronix Speedster also in this commit. Both Arria10 and Speedster-i are still experimental due complexity, but you can experiment around those devices right now
Udi Finkelstein [Sat, 30 Sep 2017 04:37:38 +0000 (07:37 +0300)]
Turned a few member functions into const, esp. dumpAst(), dumpVlog().
Udi Finkelstein [Sat, 30 Sep 2017 03:39:07 +0000 (06:39 +0300)]
Resolved classical Bison IF/THEN/ELSE shift/reduce conflict using the textbook solution
(Oreilly 'Flex & Bison' page 189)
Clifford Wolf [Fri, 29 Sep 2017 15:53:43 +0000 (17:53 +0200)]
Add first draft of eASIC back-end
Clifford Wolf [Fri, 29 Sep 2017 15:52:57 +0000 (17:52 +0200)]
Fix synth_ice40 doc regarding -top default
Clifford Wolf [Fri, 29 Sep 2017 09:56:43 +0000 (11:56 +0200)]
Allow $size and $bits in verilog mode, actually check test case
Clifford Wolf [Fri, 29 Sep 2017 09:39:36 +0000 (11:39 +0200)]
Merge pull request #425 from udif/udif_dollar_bits
Add $bits() and $size()