Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Popular repositories
1,117 contributions in the last year
Contribution activity
May 2020
Created a pull request in YosysHQ/yosys that received 1 comment
Add support for non-power-of-two mem chunks in verific importer
Test case:
module test ( input logic clock, input logic reset, input logic [0:0] A, input logic [1:0] B, input logic [2:0] C, input logic [15:0] di…
+12
−2
•
1
comment
Created an issue in upscale-project/cosa2 that received 2 comments
Build broken with latest smt-switch
Looks like makaimann/smt-switch@4858959 broke cosa2 build. This worked as a quick-and-dirty work-around for me:
diff --git a/contrib/setup-smt-swit…
2
comments