luke
0 Followers · 0 Following
  • Joined on 2024-06-02
Repositories
22
 Projects Packages Public Activity Starred Repositories
luke synced commits to refs/pull/7402/merge at luke/verilator from mirror 2026-04-20 15:07:21 +02:00
7e88f79837 Merge c20a6f4396ca7445657f876ed8c034bd1e0373bc into 935b2564eb70b354c9786c570a94449cce8512fe
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced commits to refs/pull/7412/merge at luke/verilator from mirror 2026-04-20 15:07:21 +02:00
e561d5dbd5 Merge f2ccffe4553e2a91080c2d847cfff3ce8635e88f into 935b2564eb70b354c9786c570a94449cce8512fe
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
Compare 4 commits »
luke synced commits to refs/pull/7117/merge at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
c4654e7bf5 Merge 1117a11d4d1244e76db4f9f28aaac697464a8ad1 into e82bd52fa334b7ee1b4073465e5f434430c7da04
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
f7a349c5a7 Fix uvm_hdl_release_and_read not reading release value or checking for success (#7425)
Compare 5 commits »
luke synced commits to refs/pull/7189/merge at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
d834dc1a7c Merge a38c513fe5745a509ae68eed5dee9185be60d7c8 into 935b2564eb70b354c9786c570a94449cce8512fe
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 7 commits »
luke synced commits to refs/pull/7193/head at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
42fe76d956 Merge branch 'master' into feature/4_state_logic_two_vars_sq
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced commits to refs/pull/7193/merge at luke/verilator from mirror 2026-04-20 15:07:20 +02:00
d11640fc83 Merge 42fe76d9564e4b0857f2e747f22853b37e314f25 into 935b2564eb70b354c9786c570a94449cce8512fe
42fe76d956 Merge branch 'master' into feature/4_state_logic_two_vars_sq
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
Compare 6 commits »
luke synced commits to refs/pull/6918/merge at luke/verilator from mirror 2026-04-20 15:07:19 +02:00
0db77d7de5 Merge 37c18031d3b0d35ab00f4eb62c085ea14353c6ae into 935b2564eb70b354c9786c570a94449cce8512fe
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced commits to refs/pull/7075/merge at luke/verilator from mirror 2026-04-20 15:07:19 +02:00
b61f618f45 Merge 60e06ddcc39486effe6b7781a7539b3d1e189eb8 into 935b2564eb70b354c9786c570a94449cce8512fe
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 9 commits »
luke synced and deleted reference refs/tags/refs/pull/7430/merge at luke/verilator from mirror 2026-04-20 15:07:18 +02:00
luke synced commits to master at luke/verilator from mirror 2026-04-20 15:07:18 +02:00
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
luke synced commits to refs/pull/6849/merge at luke/verilator from mirror 2026-04-20 15:07:18 +02:00
31d62a496f Merge 23cf8fae692d85d22212e3e8e6ee68331e6b1eb6 into 935b2564eb70b354c9786c570a94449cce8512fe
935b2564eb Use NFA in SVA pass (V3AssertNfa: NFA-based multi-lcycle SVA evaluation engine) (#7430)
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
Compare 29 commits »
luke synced and deleted reference refs/tags/refs/pull/8759/merge at luke/sbt from mirror 2026-04-20 07:27:38 +02:00
luke synced and deleted reference refs/tags/refs/pull/9052/merge at luke/sbt from mirror 2026-04-20 07:27:38 +02:00
luke synced commits to refs/pull/9056/merge at luke/sbt from mirror 2026-04-20 07:27:38 +02:00
a56beca8f5 Merge 463c006699be2d7c2f8305b42b461ff110394234 into d2da9ce1e6f33ba5dada1391c5fd31b301d54873
luke synced commits to refs/pull/4044/merge at luke/yosys from mirror 2026-04-20 07:27:29 +02:00
dd6f6b2761 Merge 6b5fbe37f054e85c483f226f6c6c3dde610ed25b into 413169663d4c59799f71c6a2b69910cc13a9c847
413169663d Merge pull request #5753 from YosysHQ/nella/carry-save-adders
4506dffa9f Fix use after free.
fc71719e6e Rename csa_tree to arith_tree.
c3c577f333 Fix test cases.
Compare 83 commits »
luke synced commits to refs/pull/7438/merge at luke/verilator from mirror 2026-04-20 06:57:28 +02:00
f8d5d24181 Merge b73407704bf554cc8a8d4089cb99a0f9cb73e0e6 into e82bd52fa334b7ee1b4073465e5f434430c7da04
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
f7a349c5a7 Fix uvm_hdl_release_and_read not reading release value or checking for success (#7425)
Compare 5 commits »
luke synced commits to refs/pull/7313/merge at luke/verilator from mirror 2026-04-20 06:57:27 +02:00
5ce2e8977d Merge 2d4073999afa5ba962e4174fbece628565844ec7 into e82bd52fa334b7ee1b4073465e5f434430c7da04
e82bd52fa3 Optimize arithmetic right shift (>>>) in DfgBreakCycles (#7447)
60b41c7822 Optimize DfgBreakCycles IndependentBits analysis ordering (#7446)
97454a1bc5 Remove multi-threaded FST tracing (#7443)
f7a349c5a7 Fix uvm_hdl_release_and_read not reading release value or checking for success (#7425)
Compare 5 commits »
luke synced commits to refs/pull/9098/merge at luke/sbt from mirror 2026-04-19 23:17:39 +02:00
771b531f68 Merge 2a7bf79bb04e5ebe857552a067ce47b75b61c363 into d2da9ce1e6f33ba5dada1391c5fd31b301d54873
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
Compare 2 commits »
luke synced commits to refs/pull/9102/merge at luke/sbt from mirror 2026-04-19 23:17:39 +02:00
ddd03afe82 Merge 6d806c723a4790d761b19104f3ff41cb6e29e3cc into d2da9ce1e6f33ba5dada1391c5fd31b301d54873
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
b721644cbc [2.x] fix: Use rootPaths to replace virtual paths in console and doc scalac options. (#9110)
af0cbaf74e Merge pull request #9112 from xuwei-k/duplicate-hedgehog
349e91da04 Remove duplicate hedgehog TestFramework setting
Compare 5 commits »
luke synced commits to refs/pull/8301/merge at luke/sbt from mirror 2026-04-19 23:17:38 +02:00
193662d967 Merge 506ef22117a9994536c30d74833e0d9fd4ff1952 into d2da9ce1e6f33ba5dada1391c5fd31b301d54873
d2da9ce1e6 [2.x] refactor: Use exists instead of find and isDefined (#9111)
b721644cbc [2.x] fix: Use rootPaths to replace virtual paths in console and doc scalac options. (#9110)
af0cbaf74e Merge pull request #9112 from xuwei-k/duplicate-hedgehog
95152f9745 Merge pull request #9083 from xuwei-k/mimaPreviousArtifacts-RC12
Compare 8 commits »