aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| | * | | | | | | | | | | | | | | | Fix submod -hiddenEddie Hung2019-11-261-5/+6
| | * | | | | | | | | | | | | | | | clkpart to use 'submod -hidden'Eddie Hung2019-11-261-1/+1
| | * | | | | | | | | | | | | | | | Add -hidden option to submodEddie Hung2019-11-261-20/+40
| | * | | | | | | | | | | | | | | | Fold loopEddie Hung2019-11-251-6/+3
| | * | | | | | | | | | | | | | | | Do not sigmap keep bits inside write_xaigerEddie Hung2019-11-251-1/+1
| | * | | | | | | | | | | | | | | | Fix debugEddie Hung2019-11-251-3/+3
| | * | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaig_dffEddie Hung2019-11-2510-18/+83
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | * | | | | | | | | | | | | | | | | Special abc9_clock wire to contain only clock signalEddie Hung2019-11-251-12/+10
| | * | | | | | | | | | | | | | | | | abc9 to contain time callEddie Hung2019-11-251-1/+1
| | * | | | | | | | | | | | | | | | | abc9 to no longer to clock partitioning, operate on whole modules onlyEddie Hung2019-11-251-139/+32
| | * | | | | | | | | | | | | | | | | clkpart to analyse async flops tooEddie Hung2019-11-251-0/+8
| | * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-231-2/+3
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |_|_|_|/ / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | More oopsiesEddie Hung2019-11-231-2/+3
| | * | | | | | | | | | | | | | | | | Conditioning abc9 on POs not accurate due to cellsEddie Hung2019-11-231-15/+6
| | * | | | | | | | | | | | | | | | | For abc9, run clkpart before ff_map and after abc9Eddie Hung2019-11-231-0/+2
| | * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-231-13/+27
| | |\| | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | Print ".en=" only if there is an enable signalEddie Hung2019-11-231-1/+1
| | | * | | | | | | | | | | | | | | | Escape IdStringsEddie Hung2019-11-231-3/+2
| | | * | | | | | | | | | | | | | | | More sane naming of submodEddie Hung2019-11-231-2/+2
| | | * | | | | | | | | | | | | | | | Add -set_attr option, -unpart to take attr nameEddie Hung2019-11-231-10/+25
| | * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-231-18/+34
| | |\| | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | Do not use log_signal() for empty SigSpec to prevent "{ }"Eddie Hung2019-11-221-2/+4
| | | * | | | | | | | | | | | | | | | Call submod once, more meaningful submod names, ignore largest domainEddie Hung2019-11-221-18/+32
| | * | | | | | | | | | | | | | | | | Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dffEddie Hung2019-11-233-11/+11
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Merge pull request #1505 from YosysHQ/eddie/xaig_dff_adffEddie Hung2019-11-235-13/+53
| | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \
| | | | * | | | | | | | | | | | | | | | | Another sloppy mistake!Eddie Hung2019-11-211-1/+1
| | | | * | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adffEddie Hung2019-11-217-13/+22
| | | | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |/ / / / / / / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | | |
| | | | * | | | | | | | | | | | | | | | | async2sync -> clk2fflogicEddie Hung2019-11-211-1/+1
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-223-1/+1
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |_|/ / / / / / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | Move clkpart into passes/hierarchyEddie Hung2019-11-223-1/+1
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-222-51/+39
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |_|_|_|_|_|/ / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | Remove redundant flattenEddie Hung2019-11-221-2/+0
| | | * | | | | | | | | | | | | | | | | | submod to bitty rather bussy, for bussy wires used as input and outputEddie Hung2019-11-221-48/+39
| | | * | | | | | | | | | | | | | | | | | Stray dumpEddie Hung2019-11-221-1/+0
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-222-2/+38
| | |\| | | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | Constant driven signals are also an input to submodulesEddie Hung2019-11-221-2/+10
| | | * | | | | | | | | | | | | | | | | | Add another test with constant driverEddie Hung2019-11-221-0/+28
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-221-1/+0
| | |\| | | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | OopsEddie Hung2019-11-221-1/+0
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/clkpart' into xaig_dffEddie Hung2019-11-221-8/+9
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |/ / / / / / / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | Only action if there is more than one clock domainEddie Hung2019-11-221-7/+8
| | | * | | | | | | | | | | | | | | | | | Replace TODOEddie Hung2019-11-221-1/+1
| | * | | | | | | | | | | | | | | | | | | Add testcase for signal used as part input part outputEddie Hung2019-11-221-0/+5
| | * | | | | | | | | | | | | | | | | | | write_xaiger back to working with whole modules onlyEddie Hung2019-11-221-5/+2
| | * | | | | | | | | | | | | | | | | | | Merge remote-tracking branch 'origin/eddie/submod_po' into xaig_dffEddie Hung2019-11-222-1/+44
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |/ / / / / / / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | | Cleanup spacingEddie Hung2019-11-221-2/+1
| | | * | | | | | | | | | | | | | | | | | sigmap(wire) should inherit port_output status of POsEddie Hung2019-11-221-1/+19
| | | * | | | | | | | | | | | | | | | | | Add testcaseEddie Hung2019-11-221-0/+26
| | | | |_|_|_|_|/ / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | |
| | * | | | | | | | | | | | | | | | | | Merge branch 'eddie/clkpart' into xaig_dffEddie Hung2019-11-222-1/+2
| | |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | |/ / / / / / / / / / / / / / / / | | | |/| | | | | | | | | | | | | | | |
| | | * | | | | | | | | | | | | | | | | BracketsEddie Hung2019-11-221-1/+1