Circuit verification