Synthesis or Formal Verification Developer at YosysHQ

tools and methodologies available for professionals, hobbyists and academics alike. We offer off-the-shelf software... of our software packages. We also offer custom development of individual features and entire flows based on our software components