Season's Greetings
In 2026, may you find a question that makes all the difference!
Did you know that movies started with a question, "Do all four of a horse's hooves leave the ground during a gallop?" Learn more
December 2025
Tip of the Month
Checking whether a clocked comparator has an input-referred offset within a specified range
Can you write a checker that monitors a clocked comparator’s output while tolerating a finite input-referred offset? Learn more
Primitive of the Month
check_value
This primitive checks whether the difference between an input and a reference signal lies within a specified range. Learn more
XMODEL Release Updates
XMODEL 2025.12
Starting with this release, EQCHECK can generate a testbench that embeds checker primitives to validate equivalence between the circuit and the model. Learn more
Latest Issues
December 2025
Season's Greetings, Checking a Clocked Comparator's Correct Output, and More
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