Andrew Zonenberg
|
e78fa157a3
|
greenpak4: Added GP_PGEN cell definition
|
2016-10-18 20:42:44 -07:00 |
Andrew Zonenberg
|
091d32b563
|
Added GLITCH_FILTER parameter to GP_DELAY
|
2016-10-18 19:53:19 -07:00 |
Andrew Zonenberg
|
a818472f0c
|
greenpak4: added model for GP_EDGEDET block
|
2016-10-18 19:33:26 -07:00 |
Andrew Zonenberg
|
2effa497a3
|
Merge https://github.com/cliffordwolf/yosys
|
2016-10-18 19:29:25 -07:00 |
Clifford Wolf
|
281a977b39
|
Ignore L_pi nets in "yosys-smtbmc --cex"
|
2016-10-18 10:54:53 +02:00 |
Clifford Wolf
|
9e980a2bb0
|
Use init value "2" for all uninitialized FFs in BLIF back-end
|
2016-10-18 10:54:04 +02:00 |
Clifford Wolf
|
0bcc617a4f
|
Added "yosys-smtbmc --cex <filename>"
|
2016-10-17 14:57:28 +02:00 |
Clifford Wolf
|
15fb56697a
|
Bugfix in "miter -assert" handling of assumptions
|
2016-10-17 14:56:58 +02:00 |
Clifford Wolf
|
6425d34e73
|
Added clk2fflogic support for $dffsr and $dlatch
|
2016-10-17 13:28:55 +02:00 |
Andrew Zonenberg
|
d6feb4b43e
|
greenpak4: Changed parameters for GP_SYSRESET
|
2016-10-16 22:53:43 -07:00 |
Clifford Wolf
|
3a09d6bb65
|
Improvements and bugfixes in clk2fflogic
|
2016-10-16 23:03:29 +02:00 |
Clifford Wolf
|
189fbd4cf8
|
cleanup in write_smt2 log messages (-bv and -mem are now default)
|
2016-10-16 23:02:51 +02:00 |
Clifford Wolf
|
74702b04c2
|
Build fixes for VS 2015
|
2016-10-16 20:37:02 +02:00 |
Clifford Wolf
|
fa535c0b00
|
Some minor build fixes for Visual C
|
2016-10-14 18:36:02 +02:00 |
Clifford Wolf
|
e4c5ee9b89
|
Avoid using strcasecmp()
|
2016-10-14 18:20:36 +02:00 |
Clifford Wolf
|
7fc69b3095
|
Fixed version string for out-of-tree builds
|
2016-10-14 17:18:18 +02:00 |
Clifford Wolf
|
512f93f866
|
Added notes about some formal features to README
|
2016-10-14 15:39:33 +02:00 |
Clifford Wolf
|
bdc316db50
|
Added $anyseq cell type
|
2016-10-14 15:24:03 +02:00 |
Clifford Wolf
|
2733994aeb
|
Added clk2fflogic
|
2016-10-14 14:55:07 +02:00 |
Clifford Wolf
|
2ef454c3f5
|
Added opt_rmdff support for $ff cells
|
2016-10-14 13:02:36 +02:00 |
Clifford Wolf
|
53655d173b
|
Added $global_clock verilog syntax support for creating $ff cells
|
2016-10-14 12:33:56 +02:00 |
Clifford Wolf
|
ffbb4e992e
|
Added MEMID handling to "flatten" pass
|
2016-10-14 10:36:37 +02:00 |
Clifford Wolf
|
09aeb9a2aa
|
Merge branch 'master' of github.com:cliffordwolf/yosys
|
2016-10-14 09:36:40 +02:00 |
Clifford Wolf
|
3c42462aa1
|
Merge pull request #246 from set-soft/abc_external_ovr
Allow to overwrite ABCEXTERNAL from the environment.
|
2016-10-14 09:36:31 +02:00 |
Clifford Wolf
|
788e51164e
|
Added YOSYS_VER_STR make variable
|
2016-10-14 09:35:18 +02:00 |
Salvador E. Tropea
|
80749f174c
|
Ugh! extra patches got here, reverting
|
2016-10-13 17:57:09 -03:00 |
Salvador E. Tropea
|
cc8f29a1e6
|
Allow to overwrite ABCEXTERNAL from the environment.
In this way Debian scripts can define it as berkeley-abc from the shell.
|
2016-10-13 17:51:14 -03:00 |
Salvador E. Tropea
|
f263b175b5
|
Modified test target name (to test-all)
As this target depends on external tools, and packagers run "make test",
I think the name should be less generic.
|
2016-10-13 17:38:42 -03:00 |
Salvador E. Tropea
|
77ce8139a5
|
Added a new configuration variable GIT_REV_WHERE
It determines from where we get the gits SHA1 value. By default is HEAD,
suitable for Clifford, but for Debian we can define it as upstream/master
|
2016-10-13 17:34:15 -03:00 |
Clifford Wolf
|
ee91350add
|
Added "zinit" pass
|
2016-10-12 12:05:19 +02:00 |
Clifford Wolf
|
8ebba8a35f
|
Added $ff and $_FF_ cell types
|
2016-10-12 01:18:39 +02:00 |
Clifford Wolf
|
4a981a3bd8
|
Fixed "make test" for git head of iverilog
|
2016-10-11 12:12:32 +02:00 |
Clifford Wolf
|
59508c99b4
|
define PATH_MAX if not defined by limits.h
|
2016-10-11 12:12:09 +02:00 |
Clifford Wolf
|
11130d581d
|
Merge branch 'master' of github.com:cliffordwolf/yosys
|
2016-10-11 03:58:27 +02:00 |
Clifford Wolf
|
5f6a838823
|
Added smtc support for top-level state with [], [N:] syntax
|
2016-10-08 12:25:34 +02:00 |
Clifford Wolf
|
5f7c5e685b
|
Bugfix in yosys-smtbmc --noincr
|
2016-10-04 00:54:44 +02:00 |
Clifford Wolf
|
1114ce9210
|
yosys-smtbmc: ABC is a QF_BV solver
|
2016-10-03 20:43:38 +02:00 |
Clifford Wolf
|
99b2093bc4
|
Added "yosys-smtbmc --noincr"
|
2016-10-03 20:30:38 +02:00 |
Clifford Wolf
|
e586e5e15a
|
Update ABV to hg rev eb6eca6807cc
|
2016-10-02 22:08:53 +02:00 |
Clifford Wolf
|
9aec8a1672
|
yosys-smtbmc: added smtc [...] support for cells
|
2016-10-02 22:08:30 +02:00 |
Clifford Wolf
|
4eb0d6fc0e
|
Added "yosys-smtbmc -s abc"
|
2016-10-01 13:54:21 +02:00 |
Clifford Wolf
|
23594597bc
|
Updated ABV to hg rev 6b74de13c57f
|
2016-10-01 12:23:24 +02:00 |
Clifford Wolf
|
76352c99c9
|
Added "prep -nokeepdc"
|
2016-09-30 17:02:52 +02:00 |
Clifford Wolf
|
ed519f578e
|
Added "opt_rmdff -keepdc"
|
2016-09-30 17:02:38 +02:00 |
Clifford Wolf
|
ca5462523e
|
Updated ABV to hg rev 2bc57cc30593
|
2016-09-30 10:56:36 +02:00 |
Clifford Wolf
|
34e2fb594d
|
Minor improvements in yosys-smtbmc
|
2016-09-24 20:40:22 +02:00 |
Clifford Wolf
|
8f5bf6de32
|
Added liberty parser support for types within cell decls
|
2016-09-23 13:53:23 +02:00 |
Clifford Wolf
|
6300c0b3c2
|
Merge branch 'master' of https://github.com/brouhaha/yosys
|
2016-09-23 13:42:08 +02:00 |
Eric Smith
|
f4240cc8a4
|
Add optional SEED=n command line option to Makefile, and -S n command line option to test scripts, for deterministic regression tests.
|
2016-09-22 11:49:29 -06:00 |
Clifford Wolf
|
0c697b9eac
|
Added autotest.sh -I
|
2016-09-20 09:29:56 +02:00 |