Month: January 2024

Design Exploration of RF GaN Amplifier, 3D Packaging, and Thermal Analysis

Join us for this webinar on RF GaN amplifier design using electromagnetic/thermal 3D solvers. We will discuss the step-by-step process of building a GaN amplifier, beginning with the transistor model in the circuit simulator.The webinar will outline the steps required to convert this to a physical layout for electromagnetic simulation…
Read More

AI-Powered Proof Generator Helps Debug Software

Not all software is perfect—many apps, programs, and websites are released despite bugs. But the software behind critical systems like cryptographic protocols, medical devices, and space shuttles must be error-free, and ensuring the absence of bugs requires going beyond code reviews and testing. It requires formal verification.Formal verification involves writing…
Read More

Action restricted!