Assertion Based Self-checking of Analog Circuits for Circuit Verification and Model Validation in SPICE and Co-simulation Environments

Author(s):
Lakshmanan Balasubramanian, Pooja Sundar, and Timothy W Fischer