Synthesis or Formal Verification Developer at YosysHQ

tools and methodologies available for professionals, hobbyists and academics alike. We offer off-the-shelf software packages... that seamlessly integrate our tools in industry design environments and provide support and training for users of our software