Ahmed Irfan
|
9a689f33a5
|
verilog default options pull
shift operator width issues
|
2014-01-17 19:32:35 +01:00 |
Ahmed Irfan
|
fc3f2961be
|
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
|
2014-01-17 19:07:41 +01:00 |
Ahmed Irfan
|
f2ee57f798
|
Merge pull request #4 from cliffordwolf/master
verilog defaults
|
2014-01-17 10:07:05 -08:00 |
Clifford Wolf
|
6170cfe9cd
|
Added verilog_defaults command
|
2014-01-17 17:22:29 +01:00 |
Clifford Wolf
|
2e370d5a2f
|
Added support for $adff with undef data inputs to opt_rmdff
|
2014-01-17 16:42:40 +01:00 |
Clifford Wolf
|
651ce67d97
|
Added select -assert-none and -assert-any
|
2014-01-17 16:34:50 +01:00 |
Ahmed Irfan
|
be7707c5cf
|
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
|
2014-01-17 10:50:59 +01:00 |
Ahmed Irfan
|
2d7bcaf2f2
|
Merge pull request #3 from cliffordwolf/master
memory_unpack
|
2014-01-17 01:48:55 -08:00 |
Clifford Wolf
|
f3154f5694
|
Added automatic memid generation to memory_unpack command
|
2014-01-17 00:15:15 +01:00 |
Clifford Wolf
|
4d8318ad1b
|
Added memory_unpack command
|
2014-01-17 00:05:02 +01:00 |
Ahmed Irfan
|
c7a2e582aa
|
slice error corrected
|
2014-01-16 20:16:01 +01:00 |
Ahmed Irfan
|
3a1490888d
|
width issues
dff cell for more than one registers
|
2014-01-15 17:36:33 +01:00 |
Ahmed Irfan
|
8661626157
|
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
|
2014-01-15 11:26:44 +01:00 |
Ahmed Irfan
|
66198d8591
|
Merge pull request #2 from cliffordwolf/master
hierarchy
|
2014-01-15 02:20:34 -08:00 |
Clifford Wolf
|
11c7df40c3
|
Merge pull request #20 from mschmoelzer/master
Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))
|
2014-01-14 11:51:28 -08:00 |
Martin Schmölzer
|
aa17f16fec
|
Include unistd.h in passes/hierarchy/hierarchy.cc (required for access(3))
This fixes compilation errors on Arch Linux.
Signed-off-by: Martin Schmölzer <martin.schmoelzer@student.tuwien.ac.at>
|
2014-01-14 20:12:45 +01:00 |
Clifford Wolf
|
0c5b1f32d4
|
Added hierarchy -libdir option
|
2014-01-14 19:28:20 +01:00 |
Clifford Wolf
|
9a00980129
|
renamed LibertyParer to LibertyParser
|
2014-01-14 18:57:47 +01:00 |
Clifford Wolf
|
c1da7661a5
|
Added "+" to list of liberty token characters
|
2014-01-14 18:56:29 +01:00 |
Ahmed Irfan
|
661b5a993e
|
BTOR backend
|
2014-01-14 12:03:53 +01:00 |
Ahmed Irfan
|
1091c24d00
|
Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor
|
2014-01-14 11:25:06 +01:00 |
Ahmed Irfan
|
b4ce7fee06
|
Merge pull request #1 from cliffordwolf/master
Added "opt_const -mux_undef"
|
2014-01-14 02:22:10 -08:00 |
Clifford Wolf
|
54275c61ee
|
Added "opt_const -mux_undef"
|
2014-01-14 11:10:29 +01:00 |
Clifford Wolf
|
a3d94bf888
|
Fixed typo in frontends/ast/simplify.cc
|
2014-01-12 21:04:42 +01:00 |
Clifford Wolf
|
bc541b47ea
|
Improved performance of freduce input cone reduction
|
2014-01-04 13:10:51 +01:00 |
Clifford Wolf
|
b791af174e
|
Improved freduce performance on const signals
|
2014-01-04 00:06:36 +01:00 |
Clifford Wolf
|
10f45b8c8e
|
Performance improvements in freduce pass
|
2014-01-03 21:29:28 +01:00 |
Clifford Wolf
|
c44e1bec6d
|
More freduce cleanups
|
2014-01-03 18:17:28 +01:00 |
Clifford Wolf
|
8f11eaaca6
|
Added updating of RTLIL::autoidx to ilang frontend
|
2014-01-03 17:51:05 +01:00 |
Clifford Wolf
|
03f0ab9de2
|
Cleanups in freduce command
|
2014-01-03 17:50:39 +01:00 |
Clifford Wolf
|
7354a1718e
|
Fixed SAT and ConstEval undef handling for $pmux and $safe_pmux
|
2014-01-03 17:30:50 +01:00 |
Clifford Wolf
|
8a8d444648
|
Tiny cleanup in proc_mux.cc
|
2014-01-03 16:54:59 +01:00 |
Ahmed Irfan
|
09f16c9d0c
|
splitnet -driver feature
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
|
2014-01-03 16:54:32 +01:00 |
Clifford Wolf
|
60fbca9970
|
Added "splitnets -driver"
|
2014-01-03 14:01:06 +01:00 |
Clifford Wolf
|
bf5e5429c1
|
Use selection in freduce command
|
2014-01-03 13:15:11 +01:00 |
Clifford Wolf
|
c3e9f0712f
|
Another small freduce cleanup/bugfix
|
2014-01-03 12:34:18 +01:00 |
Clifford Wolf
|
914e208aa3
|
Added "connect" command
|
2014-01-03 12:33:00 +01:00 |
Ahmed Irfan
|
06482c046b
|
Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor
|
2014-01-03 10:54:54 +01:00 |
Ahmed Irfan
|
5da334fc2e
|
makefile
|
2014-01-03 10:54:30 +01:00 |
Ahmed Irfan
|
ffd768ce86
|
btor
|
2014-01-03 10:52:44 +01:00 |
Clifford Wolf
|
67d155078d
|
More freduce cleanups and bugfixes
|
2014-01-03 02:44:05 +01:00 |
Clifford Wolf
|
eec2cd1e78
|
Added RTLIL::SigSpec::optimized() API
|
2014-01-03 02:43:31 +01:00 |
Clifford Wolf
|
fb2bf934dc
|
Added correct handling of $memwr priority
|
2014-01-03 00:22:17 +01:00 |
Clifford Wolf
|
536e20bde1
|
Fixed more complex undef cases in freduce
|
2014-01-02 23:40:20 +01:00 |
Clifford Wolf
|
5a0f561d9c
|
Now */ is optional in */<mode>:<arg> selections
|
2014-01-02 20:35:37 +01:00 |
Clifford Wolf
|
456ae31a8a
|
Added "rename -hide" command
|
2014-01-02 20:23:34 +01:00 |
Clifford Wolf
|
1f80557ade
|
Added SAT undef model for $pmux and $safe_pmux
|
2014-01-02 19:58:59 +01:00 |
Clifford Wolf
|
0759c97748
|
More "freduce" related fixes and improvements
|
2014-01-02 19:37:34 +01:00 |
Clifford Wolf
|
ced4d7b321
|
Added support for module->connections to select %ci, %co and %x handling
|
2014-01-02 18:44:24 +01:00 |
Clifford Wolf
|
c6b33f81eb
|
Some cleanups in freduce -inv mode (and switched from -noinv to -inv)
|
2014-01-02 18:11:01 +01:00 |