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.
Silicon Photonics Simulation with XMODEL, Measuring I-V Curves, and More
Catching Elusive Voltage Spikes with Assertions, Modeling VCO with Extra Digital Inputs, and More
Modeling Delta-Sigma Digital-to-Analog Converters, XMODEL at DVCon US, and More
Modeling Mixed-Signal Processing-in-Memory Circuits, Filtering Phase Noise, and More
Modeling a Digital LDO, Tips on Modeling High-Pass Filters, and More