Clifford Wolf
|
9804ebedbf
|
Add "no driver for signal bit" error msg to btor back-end
|
2017-12-24 17:30:36 +01:00 |
Clifford Wolf
|
34005348b6
|
Bugfix in verilog_defaults argument parser
|
2017-12-24 17:21:37 +01:00 |
Clifford Wolf
|
b66d50e62d
|
Fix minor typo in "prep" help message
|
2017-12-19 21:44:05 +01:00 |
Clifford Wolf
|
292984896b
|
Simple fix BTOR memory encoding
|
2017-12-17 18:57:54 +01:00 |
Clifford Wolf
|
bbdcc1f9d4
|
Improve BTOR memory encoding
|
2017-12-17 18:55:17 +01:00 |
Clifford Wolf
|
8e22e8118a
|
Merge branch 'btor-ng'
|
2017-12-15 02:21:56 +01:00 |
Clifford Wolf
|
30f23281ed
|
Add array support to btor back-end
|
2017-12-15 02:19:06 +01:00 |
Clifford Wolf
|
ad901671c5
|
Add $anyconst/$anyseq support to btor back-end
|
2017-12-15 00:40:24 +01:00 |
Clifford Wolf
|
162c29bd6b
|
Merge branch 'master' into btor-ng
|
2017-12-14 03:13:47 +01:00 |
Clifford Wolf
|
9419de3e37
|
Add yosys-smtbmc VCD writer support for memories with async writes
|
2017-12-14 03:06:00 +01:00 |
Clifford Wolf
|
6132e6e72a
|
Fix a bug in clk2fflogic memory handling
|
2017-12-14 03:05:55 +01:00 |
Clifford Wolf
|
a48ec49017
|
Merge branch 'master' into btor-ng
|
2017-12-14 02:17:01 +01:00 |
Clifford Wolf
|
590e6961cb
|
Add clk2fflogic memory support
|
2017-12-14 02:07:31 +01:00 |
Clifford Wolf
|
2625da6440
|
Add smt2 back-end support for async write memories
|
2017-12-14 02:07:10 +01:00 |
Clifford Wolf
|
76afff7ef6
|
Add RTLIL::Const::is_fully_ones()
|
2017-12-14 02:06:39 +01:00 |
Clifford Wolf
|
96ad688849
|
Add SigSpec::is_fully_ones()
|
2017-12-14 01:29:09 +01:00 |
Clifford Wolf
|
1dad2ff682
|
Merge pull request #469 from kkiningh/master
Use quote includes for yosys.h
|
2017-12-14 00:03:26 +01:00 |
Kevin Kiningham
|
7350f7692a
|
Use quote includes for yosys.h
|
2017-12-13 13:27:52 -08:00 |
Clifford Wolf
|
88182e46d7
|
Check for memories in clk2fflogic
|
2017-12-13 19:14:34 +01:00 |
Clifford Wolf
|
07bfe8ba40
|
Merge pull request #468 from grahamedgecombe/fix-sb-io-od
Fix SB_IO_OD module
|
2017-12-13 16:55:39 +01:00 |
Clifford Wolf
|
546de7fa4f
|
Add "write_btor -s" mode
|
2017-12-13 00:15:44 +01:00 |
Clifford Wolf
|
0881bbf2e7
|
Add state initval handling to btor back-end
|
2017-12-12 23:44:08 +01:00 |
Clifford Wolf
|
f697282246
|
Add btor back-end support for 'x' constants
|
2017-12-12 21:48:55 +01:00 |
Clifford Wolf
|
2b6307547f
|
Add SigSpec::is_fully_ones()
|
2017-12-12 21:48:31 +01:00 |
Clifford Wolf
|
ca2adc30c9
|
Add warnings for driver-driver conflicts between FFs (and other cells) and constants
|
2017-12-12 17:13:27 +01:00 |
Clifford Wolf
|
82d1fd77de
|
Add btor $shift/$shiftx support
|
2017-12-11 14:24:19 +01:00 |
Graham Edgecombe
|
f93e6637aa
|
Fix port names in SB_IO_OD
|
2017-12-10 15:33:38 +00:00 |
Graham Edgecombe
|
52ace35a73
|
Remove trailing comma from SB_IO_OD port list
This isn't compatible with Icarus Verilog.
|
2017-12-10 15:33:38 +00:00 |
Clifford Wolf
|
cc119b5232
|
Fix btor back-end shift handling
|
2017-12-10 08:40:11 +01:00 |
Clifford Wolf
|
133a0f4978
|
Add support for $pmux in btor back-end
|
2017-12-10 08:11:08 +01:00 |
Clifford Wolf
|
83cf736309
|
Add support for more cell types to btor back-end
|
2017-12-10 07:16:47 +01:00 |
Clifford Wolf
|
8069118e6e
|
Merge branch 'master' into btor-ng
|
2017-12-10 01:27:41 +01:00 |
Clifford Wolf
|
ba90e08398
|
Add support for Verific PRIM_SVA_NOT properties
|
2017-12-10 01:10:03 +01:00 |
Clifford Wolf
|
e4a4c0e10c
|
Add Verific OPER_SVA_STABLE support
|
2017-12-10 00:59:44 +01:00 |
Clifford Wolf
|
27916105a9
|
Refactoring Verific SVA rewriter
|
2017-12-10 00:26:26 +01:00 |
Clifford Wolf
|
63343aeaaa
|
Fix btor concat
|
2017-12-09 05:58:14 +01:00 |
Clifford Wolf
|
fd83e3442d
|
Merge branch 'master' into btor-ng
|
2017-12-09 05:26:02 +01:00 |
Clifford Wolf
|
50da3bdbcc
|
Merge pull request #467 from mithro/patch-1
Fix spelling in -vpr help for synth_ice40
|
2017-12-09 03:46:32 +01:00 |
Tim Ansell
|
3cc31f197c
|
Fix spelling in -vpr help for synth_ice40
|
2017-12-08 18:44:45 -08:00 |
Clifford Wolf
|
8f2638ae2f
|
Use "hg ... --insecure" for cloning/pulling ABC
|
2017-12-03 06:11:11 +01:00 |
Clifford Wolf
|
d5e6a73c8a
|
Update ABC to hg rev 31fc97b0aeed
|
2017-12-02 21:24:12 +01:00 |
Clifford Wolf
|
8364f509e3
|
Fix error handling for nested always/initial
|
2017-12-02 18:52:05 +01:00 |
Clifford Wolf
|
68c6675130
|
Merge branch 'master' into btor-ng
|
2017-12-01 23:51:58 +01:00 |
Clifford Wolf
|
1f6e8f86c5
|
Merge pull request #462 from daveshah1/up5k
Add remaining UltraPlus cells to ice40 techlib
|
2017-11-28 15:53:53 +01:00 |
David Shah
|
5e8d1922a4
|
Add remaining UltraPlus cells to ice40 techlib
|
2017-11-28 11:07:49 +00:00 |
Clifford Wolf
|
10cb5172a3
|
Merge branch 'master' into btor-ng
|
2017-11-27 19:45:15 +01:00 |
Clifford Wolf
|
da91b31bb2
|
Fixed "yosys-smtbmc -g" handling of no solution
|
2017-11-27 19:43:36 +01:00 |
Clifford Wolf
|
b981e5aa69
|
Fixed "yosys-smtbmc -g" handling of no solution
|
2017-11-27 17:42:32 +01:00 |
Clifford Wolf
|
c22d0e1f53
|
Merge pull request #460 from mithro/g3-fixes
Bunch of small fixes
|
2017-11-26 07:16:06 +01:00 |
Clifford Wolf
|
8dd59bd72e
|
Merge pull request #461 from mithro/travis-rework
travis: Print branches before fetching, try both locations.
|
2017-11-26 07:14:58 +01:00 |