logic synthesis and sequential circuits 5301602