May 2024

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.

Model of the Month

Modeling a digital phase interpolator with arbitrary INL/DNL characteristics

Adding nonlinear characteristics to the existing phase interpolator model is super easy. Just add a 'pwl_func' primitive.

Primitive of the Month

meas_max

This primitive is useful when checking whether an xreal-type signal is below a certain threshold over a time interval.

XMODEL Release Updates

XMODEL 2024.05

This release introduces an advanced circuit partitioning algorithm with 'vsource' elements, enabling efficient supply current simulations of large circuits.

Latest Issues

October 2025

A UVM Testbench for Worst-Case Analysis Using Bayesian Optimization and More

September 2025

XMODEL at DVCon Europe, Evaluating Transceivers with Multi-Drop Channels, and More

August 2025

Modeling Variations in ReRAMs, Supporting RNM Nettypes, and More

July 2025

Analyzing the Power-Saving Benefits of DBI Encoding for High-Speed Transceivers and More

June 2025

Measuring Open-Loop Transfer Function of DC-DC Converter, Extracting Charge-Pump Converter Models, and More