News

Semicircle Technology Launches Formal Verification Services & Training Programs

Post date 16/05/2025

At Semicircle Technology, we believe that a bug-free chip is not just an aspiration — it's an expectation. Today, we're excited to announce the expansion of our offerings to include: - Formal Verification as a Service - Training Courses for Design & Verification Engineers

Formal Verification as a Service

We now provide Formal Verification (FV) as a Service to chipmakers seeking reliable, mathematically proven verification of their designs. Whether you're building next-gen processors, AI accelerators, or safety-critical SoCs, our FV team brings deep expertise and cutting-edge tools to help you:

  • Verify complex RTL designs with exhaustive property checking

  • Identify corner-case bugs that traditional simulation may miss

  • Accelerate time-to-tapeout with confidence in design correctness

  • Ensure spec compliance across power, performance, and safety domains

Our engineers are also building reusable Verification IP (VIP) for common design patterns and popular protocols, dramatically improving verification efficiency and coverage across projects.

Training Courses for Design & Verification Engineers

We’re also launching hands-on training programs designed to upskill hardware design and verification engineers in formal techniques. These courses are tailored to help teams:

  • Transition from simulation-first to formal-first verification strategies

  • Learn to write and prove properties using industry-standard formal tools

  • Integrate FV into your CI/CD and verification workflows

  • Adopt best practices for scalability, modularity, and reuse in formal verification

Whether you're new to formal or looking to deepen your expertise, our programs offer practical, real-world training to bring your team up to speed quickly.

Our Mission: Enabling Reliable Silicon Through Formal

Semicircle Technology’s vision is to raise the bar for chip reliability. By combining world-class formal services, targeted training, and reusable VIPs, we're empowering semiconductor teams to verify smarter, earlier, and more completely than ever before.

Contact us today to learn more about how our formal verification services or training programs can fit into your chip development pipeline.

info@semici.com

or visit our course at: SEMICIRCLE TECHNOLOGY

icon contact

+49 1728332297

Call us now

icon contact

Facebook

(8h00- 22h00)

icon-contact phone icon-contact facebook