aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Wrap LUTRAMs in order to capture comb/seq behaviourEddie Hung2019-08-205-36/+200
|
* Minor refactorEddie Hung2019-08-201-7/+6
|
* Add LUTRAM delaysEddie Hung2019-08-201-3/+6
|
* Fix use of {CLK,EN}_POLARITY, also add a FIXMEEddie Hung2019-08-201-65/+13
|
* Remove mapping rulesEddie Hung2019-08-201-33/+0
|
* Remove -icellsEddie Hung2019-08-201-2/+2
|
* Use abc_{map,unmap,model}.vEddie Hung2019-08-208-141/+334
|
* Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-2024-112/+857
|\
| * Merge pull request #1304 from YosysHQ/eddie/abc9_refactorEddie Hung2019-08-206-104/+138
| |\ | | | | | | Refactor abc9 to use port attributes, not module attributes
| | * Clarify with 'only'Eddie Hung2019-08-191-1/+1
| | |
| | * Update docEddie Hung2019-08-191-3/+4
| | |
| | * Unify abc_carry_{in,out} into abc_carry and use port dir, as @mithroEddie Hung2019-08-194-12/+12
| | |
| * | Merge pull request #1298 from YosysHQ/clifford/pmgenClifford Wolf2019-08-2012-93/+790
| |\ \ | | | | | | | | Improvements in pmgen
| | * \ Merge branch 'master' into clifford/pmgenClifford Wolf2019-08-2013-39/+85
| | |\ \ | | |/ / | |/| |
| * | | Add test case for real parametersClifford Wolf2019-08-201-1/+10
| | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | Merge pull request #1308 from jakobwenzel/real_paramsClifford Wolf2019-08-201-1/+4
| |\ \ \ | | | | | | | | | | Handle real values when deriving ast modules
| | * | | handle real values when deriving ast modulesJakob Wenzel2019-08-191-1/+4
| | | | |
| * | | | Merge pull request #1309 from whitequark/proc_clean-fix-1268whitequark2019-08-206-2/+37
| |\ \ \ \ | | | | | | | | | | | | proc_clean: fix order of switch insertion
| | * | | | proc_clean: fix order of switch insertion.whitequark2019-08-196-2/+37
| | |/ / / | | | | | | | | | | | | | | | Fixes #1268.
| | | * | Merge branch 'master' of github.com:YosysHQ/yosys into clifford/pmgenClifford Wolf2019-08-19110-2078/+3173
| | | |\ \
| | | * | | Add test for pmtest_test "reduce" demo patternClifford Wolf2019-08-171-0/+21
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Refactor pmgen rollback mechanismClifford Wolf2019-08-171-32/+21
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Improvements in "test_pmgen -generate"Clifford Wolf2019-08-171-3/+23
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add pmgen "fallthrough" statementClifford Wolf2019-08-172-3/+17
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add help() callEddie Hung2019-08-161-0/+1
| | | | | |
| | | * | | Minor bugfix in "test_pmgen -generate"Clifford Wolf2019-08-161-1/+1
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add pmgen finish statement, return number of matchesClifford Wolf2019-08-164-82/+116
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Redesign pmgen backtracking for recursive matchingClifford Wolf2019-08-162-33/+38
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add pmgen "generate" featureClifford Wolf2019-08-163-13/+208
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Refactor demo_reduce into test_pmgenClifford Wolf2019-08-164-14/+83
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add doc for pmgen semioptional statement, Add pmgen changes to CHANGELOGClifford Wolf2019-08-152-0/+4
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Update pmgen documentationClifford Wolf2019-08-151-4/+58
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Change pmgen default rule to reject, switch peepopt behavior to acceptClifford Wolf2019-08-155-7/+5
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Add demo_reduce pass to demonstrace recursive pattern matchingClifford Wolf2019-08-154-0/+187
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| | | * | | Improvements in pmgen for recursive patternsClifford Wolf2019-08-155-26/+137
| | | | | | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-08-1912-71/+81
|\| | | | |
| * | | | | Fix typoEddie Hung2019-08-191-1/+1
| | | | | |
| * | | | | Fix typoEddie Hung2019-08-191-1/+1
| | | | | |
| * | | | | ID({A,B,Y}) -> ID::{A,B,Y} for opt_share.ccEddie Hung2019-08-191-30/+30
| |/ / / /
| * | | | Merge pull request #1306 from mmicko/gitignore_fixClifford Wolf2019-08-191-2/+1
| |\ \ \ \ | | | | | | | | | | | | Ignore all generated headers for pmgen pass
| | * | | | Ignore all generated headers for pmgen passMiodrag Milanovic2019-08-181-2/+1
| | | | | |
| * | | | | Add *.sv to tests/simple_abc9/.gitignoreClifford Wolf2019-08-191-0/+1
| | |_|/ / | |/| | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | | | Merge pull request #1305 from YosysHQ/clifford/testfastClifford Wolf2019-08-198-38/+48
| |\ \ \ \ | | |/ / / | |/| | | Speed up "make test" and related cleanups
| | * | | Merge remote-tracking branch 'origin/master' into clifford/testfastEddie Hung2019-08-1891-1110/+2215
| | |\ \ \ | | |/ / / | |/| | |
| | * | | Removal of more `stat` calls from testsEddie Hung2019-08-183-26/+26
| | | | |
| | * | | Speed up "make test" and related cleanupsClifford Wolf2019-08-176-12/+22
| | | | | | | | | | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | | | | Add arrival times for SRL outputsEddie Hung2019-08-191-3/+5
| | | | |
* | | | | Output i/o/h extensions even if no boxes or flopsEddie Hung2019-08-191-65/+66
| | | | |
* | | | | Add BRAM arrival timesEddie Hung2019-08-191-8/+10
| | | | |
* | | | | Remove debugEddie Hung2019-08-191-1/+1
| | | | |