"Sequential Circuits"@cs .