Seol mar théacs é seo: Finding False Paths in Sequential Circuits; Russian Physics Journal; Vol. 60, iss. 10