Text this: Finding False Paths in Sequential Circuits; Russian Physics Journal; Vol. 60, iss. 10