Tip of the Month
Using PSL assertions for analog circuit checks
Here is an example of a PSL assertion checking the supply current level during a power-down mode.

Here is an example of a PSL assertion checking the supply current level during a power-down mode.
Adding nonlinear characteristics to the existing phase interpolator model is super easy. Just add a 'pwl_func' primitive.
This primitive is useful when checking whether an xreal-type signal is below a certain threshold over a time interval.
This release introduces an advanced circuit partitioning algorithm with 'vsource' elements, enabling efficient supply current simulations of large circuits.
Analyzing the Power-Saving Benefits of DBI Encoding for High-Speed Transceivers and More
Measuring Open-Loop Transfer Function of DC-DC Converter, Extracting Charge-Pump Converter Models, and More
XMODEL at DAC 2025, Modeling an Asynchronous SAR-ADC, and More
Modeling NAND Flash Memory, Measuring Comparator's Offset, and More
Silicon Photonics Simulation with XMODEL, Measuring I-V Curves, and More