用于设计可配置处理器的自动处理器生产系统及方法

摘要

一种生成处理器硬件的系统，支持大幅扩展处理器指令集的语言，其中，设计器只指定新指令的语义，而由系统生成其他逻辑。扩展语言提供处理器状态的增加，包括寄存器文件，以及在该状态操作的指令。该语言还提供要添加到编译程序的新的数据类型，以表示所添加的状态。它允许将参考语义的说明部分与指令实现部分分离，并用此来实现设计验证过程的自动化。此外，该系统还从语言说明部分生成格式化的指令集文档。