Sequential Logic Design - Search