Clifford Wolf
|
0d7fd2585e
|
Added "int ceil_log2(int)" function
|
2016-02-13 16:52:16 +01:00 |
Clifford Wolf
|
825b99efc1
|
Added "stat -liberty" for calculating chip area
|
2016-02-04 12:26:13 +01:00 |
Clifford Wolf
|
801c022457
|
Improved dffsr2dff pass
|
2016-02-02 19:42:49 +01:00 |
Clifford Wolf
|
d69395ca08
|
Added dffsr2dff
|
2016-02-02 17:19:01 +01:00 |
Clifford Wolf
|
d6592d5b99
|
Use alphanumerical order instead of idstring idx in opt_clean compare_signals()
|
2016-02-02 09:16:18 +01:00 |
Clifford Wolf
|
17372d8abd
|
Added "abc -luts" option, Improved Xilinx logic mapping
|
2016-02-01 12:40:32 +01:00 |
Clifford Wolf
|
9251553592
|
Improvements in dfflibmap (FFs with Q/QN outputs, DFFs from ADFFs)
|
2016-02-01 11:49:11 +01:00 |
Clifford Wolf
|
71f418c468
|
More clang sanitizer stuff
|
2016-01-31 19:55:48 +01:00 |
Clifford Wolf
|
8b3f8cd220
|
Added "equiv_struct -fwonly"
|
2016-01-08 10:59:16 +01:00 |
Clifford Wolf
|
f5008f4f8a
|
Bugfixes in equiv_struct
|
2016-01-08 09:57:28 +01:00 |
Clifford Wolf
|
d00c63c927
|
Added "submod -copy"
|
2016-01-08 09:08:12 +01:00 |
Clifford Wolf
|
c3fd03d722
|
Added "equiv_struct -maxiter <N>"
|
2016-01-06 13:54:54 +01:00 |
Clifford Wolf
|
1f8c47fb47
|
Added "equiv_add -try" mode
|
2016-01-06 13:54:00 +01:00 |
Clifford Wolf
|
1d62f8710f
|
Fixed "splitnets -ports" for hierarchical designs
|
2015-12-22 13:25:00 +01:00 |
Clifford Wolf
|
ab0c44d3ed
|
Added %R select expression
|
2015-12-20 13:35:58 +01:00 |
Clifford Wolf
|
1ea6db3db8
|
Improved proc_mux performance for huge always blocks
|
2015-12-02 22:02:20 +01:00 |
Clifford Wolf
|
e61c7f887a
|
Added torder command
|
2015-11-19 15:34:32 +01:00 |
Clifford Wolf
|
d98d99aec6
|
Added "abc -g"
|
2015-11-10 11:10:11 +01:00 |
Marcus Comstedt
|
8c2bdef36d
|
Fix a segfault in dffinit when the value has too few bits
The code was already trying to add the required number of bits, but
fell one short of the mark.
|
2015-11-08 19:16:56 +01:00 |
Clifford Wolf
|
1ec6429bad
|
Added "singleton" pass
|
2015-11-07 19:10:43 +01:00 |
Clifford Wolf
|
f401eeb0cf
|
Bugfix in mapping $tribuf to $_TBUF_
|
2015-11-05 12:37:43 +01:00 |
Clifford Wolf
|
ddf3e2dc65
|
Bugfix in memory_dff
|
2015-10-31 22:01:41 +01:00 |
Clifford Wolf
|
ccdbf41be6
|
Improvements in wreduce
|
2015-10-31 13:39:30 +01:00 |
Clifford Wolf
|
0c202a2549
|
Use mfp<> in equiv_mark
|
2015-10-27 19:15:35 +01:00 |
Clifford Wolf
|
27714acd8a
|
Improvements in equiv_struct
|
2015-10-25 22:04:20 +01:00 |
Clifford Wolf
|
d014ba2d0e
|
Major refactoring of equiv_struct
|
2015-10-25 19:31:29 +01:00 |
Clifford Wolf
|
207736b4ee
|
Import more std:: stuff into Yosys namespace
|
2015-10-25 19:30:49 +01:00 |
Clifford Wolf
|
da923c198e
|
Added "equiv_add -cell"
|
2015-10-25 14:35:40 +01:00 |
Clifford Wolf
|
83bd27bf6e
|
equiv_struct now creates equiv_merged attributes
|
2015-10-25 02:15:20 +02:00 |
Clifford Wolf
|
453736d918
|
Improvements in equiv_struct
|
2015-10-24 23:04:17 +02:00 |
Clifford Wolf
|
7f110e7018
|
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
|
2015-10-24 22:56:40 +02:00 |
Clifford Wolf
|
6af8076967
|
improvement in "stat"
|
2015-10-24 21:56:53 +02:00 |
Clifford Wolf
|
6fe48cf41e
|
equiv_purge bugfix, using SigChunk in Yosys namespace
|
2015-10-24 19:09:45 +02:00 |
Clifford Wolf
|
2a0f577f83
|
Fixed handling of driver-driver conflicts in wreduce
|
2015-10-24 13:44:35 +02:00 |
Clifford Wolf
|
4cec1c058d
|
Added equiv_mark command
|
2015-10-23 23:56:58 +02:00 |
Clifford Wolf
|
c35db8c19e
|
Disabled "Skipping blackbox module" msg in show command
|
2015-10-23 20:11:05 +02:00 |
Clifford Wolf
|
15a67392f1
|
Also merge $equiv cells in equiv_struct
|
2015-10-23 15:26:58 +02:00 |
Clifford Wolf
|
d19069b0fb
|
Improvements in equiv_struct
|
2015-10-23 15:11:57 +02:00 |
Clifford Wolf
|
84a07ffb8a
|
Added equiv_purge
|
2015-10-22 15:40:27 +02:00 |
Clifford Wolf
|
00e05b1310
|
Added equiv_struct command
|
2015-10-21 17:12:35 +02:00 |
Clifford Wolf
|
6416dfee93
|
Improved inout handling in equiv_make
|
2015-10-21 15:42:50 +02:00 |
Clifford Wolf
|
1d83854d84
|
Bugfixes in handling of "keep" attribute on wires
|
2015-10-15 14:57:28 +02:00 |
Clifford Wolf
|
eb1e3caae7
|
Fixed "flatten" for unconnected inout ports
|
2015-10-13 10:30:23 +02:00 |
Clifford Wolf
|
c58bd5dc30
|
Added edgetypes command
|
2015-09-27 11:53:20 +02:00 |
Clifford Wolf
|
281c1f4029
|
Some cleanups in qwp
|
2015-09-26 10:42:27 +02:00 |
Clifford Wolf
|
ddcfc99f8c
|
Added "test_cell -noeval"
|
2015-09-25 17:27:18 +02:00 |
Clifford Wolf
|
82028c42e0
|
Added wreduce $mul support and fixed signed $mul opt_const bug
|
2015-09-25 17:27:06 +02:00 |
Clifford Wolf
|
4864736167
|
Bugfix in bram read-enable code
|
2015-09-25 14:22:33 +02:00 |
Clifford Wolf
|
924d9d6e86
|
Added read-enable to memory model
|
2015-09-25 12:23:11 +02:00 |
Clifford Wolf
|
ec92c89659
|
Added pivoting to qwp solver
|
2015-09-24 22:16:37 +02:00 |
Clifford Wolf
|
69071bbc5f
|
Improved qwp performance
|
2015-09-24 21:50:37 +02:00 |
Clifford Wolf
|
b1e9cb332d
|
Added statistics summary to "qwp"
|
2015-09-24 21:22:24 +02:00 |
Clifford Wolf
|
3501f8e364
|
Fixed memory_bram for ROMs in BRAMs with write-enable inputs
|
2015-09-24 11:37:15 +02:00 |
Clifford Wolf
|
b66bf8bed1
|
Do not detect fsm state registers with init attribute
|
2015-09-21 11:54:00 +02:00 |
Clifford Wolf
|
11c27b5e69
|
Bugfix in "qwp" pass
|
2015-09-21 10:37:24 +02:00 |
Clifford Wolf
|
80898dcbc8
|
Improvements and fixes in "qwp" pass
|
2015-09-21 01:05:13 +02:00 |
Clifford Wolf
|
6329bea873
|
Added "qwp -dump"
|
2015-09-20 22:36:35 +02:00 |
Clifford Wolf
|
539c5eeb0f
|
Added "qwp" command
|
2015-09-20 18:28:46 +02:00 |
Clifford Wolf
|
598a475724
|
Added nlutmap
|
2015-09-18 21:57:34 +02:00 |
Clifford Wolf
|
c851f51656
|
Added lut2mux pass
|
2015-09-18 21:55:48 +02:00 |
Clifford Wolf
|
db548800b6
|
Added buffer detection to "abc -lut"
|
2015-09-18 20:12:56 +02:00 |
Clifford Wolf
|
452d4bf741
|
Added support for "dfflibmap -liberty +/..."
|
2015-09-18 11:55:57 +02:00 |
Clifford Wolf
|
51e1295d79
|
Added detection of "mux inverter" chains in opt_const
|
2015-09-18 11:55:31 +02:00 |
Clifford Wolf
|
b7535a6c75
|
Added $logic_not handling to fsm_detect
|
2015-09-18 10:46:50 +02:00 |
Clifford Wolf
|
e7c018e5d1
|
Fixed sharing of $memrd cells
|
2015-09-12 16:01:20 +02:00 |
Clifford Wolf
|
6f9a6fd783
|
Fixed port ordering in "splitnets" cmd
|
2015-09-01 13:10:36 +02:00 |
Clifford Wolf
|
b10ea0550d
|
gcc-4.6 build fixes
|
2015-09-01 12:51:23 +02:00 |
Clifford Wolf
|
24e7cf89bc
|
Fixed iopadmap help message
|
2015-08-31 16:49:42 +02:00 |
Clifford Wolf
|
92dce21f6e
|
Using dict<> and pool<> in alumacc pass
|
2015-08-31 16:26:01 +02:00 |
Clifford Wolf
|
f40d1b78b6
|
Added sat -show-regs, -show-public, -show-all
|
2015-08-18 17:14:30 +02:00 |
Clifford Wolf
|
246e362717
|
Bugfix in fsm_detect for complex muxtrees
|
2015-08-18 14:17:50 +02:00 |
Clifford Wolf
|
f43815054e
|
Properly clean up unused "init" attributes
|
2015-08-18 13:50:15 +02:00 |
Clifford Wolf
|
9c33172ece
|
Added tribuf command
|
2015-08-16 12:55:25 +02:00 |
Clifford Wolf
|
ff50bc2ac3
|
Added $tribuf and $_TBUF_ cell types
|
2015-08-16 12:54:52 +02:00 |
Clifford Wolf
|
ae09c89f62
|
Fixed opt_clean handling of inout ports
|
2015-08-16 09:50:17 +02:00 |
Larry Doolittle
|
6c00704a5e
|
Another block of spelling fixes
Smaller this time
|
2015-08-14 23:27:05 +02:00 |
Larry Doolittle
|
022f570563
|
Keep gcc from complaining about uninitialized variables
|
2015-08-14 23:26:49 +02:00 |
Clifford Wolf
|
0350074819
|
Re-created command-reference-manual.tex, copied some doc fixes to online help
|
2015-08-14 11:27:19 +02:00 |
Clifford Wolf
|
84bf862f7c
|
Spell check (by Larry Doolittle)
|
2015-08-14 10:56:05 +02:00 |
Clifford Wolf
|
80910d13a6
|
Merge branch 'master' of github.com:cliffordwolf/yosys
|
2015-08-13 09:52:06 +02:00 |
Clifford Wolf
|
08ad5409a2
|
Some ASCII encoding fixes (comments and docs) by Larry Doolittle
|
2015-08-13 09:30:20 +02:00 |
Clifford Wolf
|
e4ef000b70
|
Adjust makefiles to work with out-of-tree builds
This is based on work done by Larry Doolittle
|
2015-08-12 15:04:44 +02:00 |
Clifford Wolf
|
c43f38c81b
|
Improved handling of "keep" attributes in hierarchical designs in opt_clean
|
2015-08-12 14:10:14 +02:00 |
Clifford Wolf
|
667b015018
|
Merge pull request #70 from gaomy3832/bugfix
Remove unused blackbox modules in opt_clean.
|
2015-08-12 08:45:04 +02:00 |
Mingyu Gao
|
cbda56d178
|
Remove unused blackbox modules in opt_clean.
|
2015-08-11 09:51:08 -07:00 |
Mingyu Gao
|
8c4c62f3e1
|
Bugfix for cell hash cache option in opt_share.
|
2015-08-11 11:40:23 +02:00 |
Clifford Wolf
|
2185125760
|
Added missing ct_all setup to opt_clean
|
2015-08-11 07:54:32 +02:00 |
Mingyu Gao
|
021b4a2436
|
Bugfix for cell hash cache option in opt_share.
|
2015-08-10 13:01:44 -07:00 |
Clifford Wolf
|
883e09d8ed
|
Use MEMID as name for $mem cell
|
2015-08-09 13:35:44 +02:00 |
Clifford Wolf
|
8d6d5c30d9
|
Added WORDS parameter to $meminit
|
2015-07-31 10:40:09 +02:00 |
Clifford Wolf
|
3860c9a9f2
|
Fixed flatten $meminit handling
|
2015-07-30 21:43:41 +02:00 |
Clifford Wolf
|
4d0ba9b3b2
|
Fixed "check" command for inout ports
|
2015-07-27 09:54:58 +02:00 |
Clifford Wolf
|
2a613b1b66
|
Some cleanups in opt_rmdff
|
2015-07-25 12:09:57 +02:00 |
Clifford Wolf
|
badc5f7eb9
|
Added "miter -assert"
|
2015-07-25 12:09:57 +02:00 |
Clifford Wolf
|
2397078485
|
Keep modules with $assume (like $assert)
|
2015-07-25 12:09:57 +02:00 |
Clifford Wolf
|
914ae3401e
|
Improved $adff simplification
|
2015-07-24 14:12:50 +02:00 |
Clifford Wolf
|
ad919ae4e3
|
Fixed techmap processes error msg
|
2015-07-18 12:16:27 +02:00 |
Clifford Wolf
|
8393f70538
|
Some fixes in "select" command
|
2015-07-16 22:10:26 +02:00 |
Clifford Wolf
|
d2ff5d9994
|
Do not collect disabled $memwr cells
|
2015-07-06 13:28:00 +02:00 |
Clifford Wolf
|
766dd51447
|
Bugfix in fsm_extract
|
2015-07-03 18:42:36 +02:00 |