$ 0 0 This blog talks about about the Snapshots feature introduced in ADE Verifier in IC6.1.8 ISR6. (read more)