查找： 关键词为 One hot state assignment Self starting correction Synchronous sequential circuit design 的文献