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

November 2025

Checking the Settling of an Analog Signal, Handling Inherited Nets with Legacy SPICE Netlisters, and More

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