Aniah provides an IC verification tool for easily cleaning up all electrical errors in chip designs. Aniah detects all errors on the full IC using an electrically accurate analysis at the transistor level, covers all possible power states in a single run, and allows users to focus on correcting real errors rather than filtering out false errors.