Interpreting Local Variables in AMS Assertions During Simulation
Antara Ain, Pallab Dasgupta · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2018
The support for local variables in SystemVerilog assertions significantly enhances its expressive power. Handling local variables in analog and mixed-signal (AMS) extensions of assertion languages is tricky due to the dense time interpretation of AMS assertions, and has not been adequately treated in existing literature. This paper presents an approach for interpreting local variables in AMS assertions during simulation and a tool flow that works with standard mixed-mode simulators.