Alan Armstrong sold CDNS · INSIDER