Synthesis or Formal Verification Developer at YosysHQ

You might know YosysHQ from our many Open Source EDA Projects.