sequential logic circuits and logic synthesis 3153869