Posts

Showing posts from December, 2025

Assertion-First Hardware Design and Formal Verification Services

Image
  Assertion-First Hardware Design and Formal Verification Services  | Categories: AI, EDA, LUBIS EDA Introduction: Why Verification Still Dominates Hardware Schedules Generative AI has dramatically accelerated software development, and similar advances are now appearing in RTL generation for hardware. Entire RTL blocks can be produced quickly, often from high-level descriptions or prompts. However, while RTL creation is becoming faster, verification remains the dominant bottleneck in hardware development. Proving that hardware behaves correctly under all possible conditions is fundamentally more difficult than generating syntactically correct logic. This challenge has renewed interest in a long-standing idea in hardware engineering: assertion-first design —a methodology where design intent is formally specified before RTL is written. For decades, this approach was widely acknowledged as ideal but practically unattainable. Today, that reality is changing. AI Can Generate ...

3D ESD Verification: Tackling New Challenges in Advanced IC Design

Image
  3D ESD Verification: Tackling New Challenges in Advanced IC Design Categories: 3D IC, EDA, Siemens EDA Introduction As semiconductor designs evolve toward heterogeneous 2.5D and 3D integration, long-established verification methodologies are being pushed beyond their limits. One area where this shift is especially evident is electrostatic discharge (ESD) verification. While ESD protection has been well understood in traditional 2D ICs, stacked-die architectures introduce new connectivity, new failure modes, and new verification complexity. Addressing these challenges requires a fundamentally different approach. This blog explores why ESD verification is critical for 3D ICs, what makes it more complex than conventional designs, and how modern automation tools enable reliable and cost-effective verification. Why ESD Verification Is Critical for 3D IC Designs Electrostatic discharge remains one of the most common causes of IC damage throughout the product lifecycle—from wafe...

Superhuman AI for Design Verification, Delivered at Scale

Image
  Superhuman AI for Design Verification, Delivered at Scale Introduction The semiconductor industry is entering a new era—one where traditional EDA tools can no longer keep pace with the scale of data, complexity of multi-chip systems, and the verification demands of modern AI-driven architectures. As verification datasets explode and debug tasks grow more intricate, engineering teams face an unsustainable workload. In this landscape, Bronco AI introduces a superhuman, scalable AI platform designed specifically for design verification —one that integrates seamlessly into existing flows, accelerates debug, and continuously improves while protecting customer IP. This is not incremental progress. It is a paradigm shift. The Verification Challenge For decades, EDA innovation has centered on producing better chips—higher performance, lower power, faster time to market. Verification and debug have always been essential steps in this process. But the world has changed: AI model...

Hierarchically Defining Bump and Pin Regions Overcomes 3D IC Complexity

Image
  Hierarchically Defining Bump and Pin Regions Overcomes 3D IC Complexity Categories: 3D IC, Chiplet, EDA, Siemens EDA Key Takeaways Chiplets offer modular, flexible, and cost-efficient system integration but also significantly increase package assembly complexity. Hierarchical device planning is essential for abstracting and managing the rising intricacies of modern IC packaging. Early SI/PI and thermal analysis is critical to avoid costly redesigns and guide key architectural decisions throughout the design cycle. By Todd Burkholder and Per Viklund, Siemens EDA Introduction: The Rise of Chiplets and the Complexity Challenge Advanced IC packaging is undergoing a transformation. As the semiconductor industry shifts toward heterogeneous integration , designers are merging diverse chiplets, dies, interposers, and bridges into unified 3D-stacked systems. This approach delivers unprecedented flexibility and performance — but dramatically increases design complexity. ...