Text this: Finding False Paths in Sequential Circuits