公开(公告)号：US20060101369A1

公开(公告)日：2006-05-11

申请号：US11281217

申请日：2005-11-16

申请人： Albert Wang ,  Richard Ruddell ,  David Goodwin ,  Earl Killian ,  Nupur Bhattacharyya ,  Marines Medina ,  Walter Lichtenstein ,  Pavlos Konas ,  Rangarajan Srinivasan ,  Christopher Songer ,  Akilesh Parameswar ,  Dror Maydan ,  Ricardo Gonzalez

发明人： Albert Wang ,  Richard Ruddell ,  David Goodwin ,  Earl Killian ,  Nupur Bhattacharyya ,  Marines Medina ,  Walter Lichtenstein ,  Pavlos Konas ,  Rangarajan Srinivasan ,  Christopher Songer ,  Akilesh Parameswar ,  Dror Maydan ,  Ricardo Gonzalez

IPC分类号： G06F17/50

CPC分类号： G06F9/30167 ,  G06F9/30145 ,  G06F17/5045

摘要： A system for generating processor hardware supports a language for significant extensions to the processor instruction set, where the designer specifies only the semantics of the new instructions and the system generates other logic. The extension language provides for the addition of processor state, including register files, and instructions that operate on that state. The language also provides for new data types to be added to the compiler to represent the state added. It allows separate specification of reference semantics and instruction implementation, and uses this to automate design verification. In addition, the system generates formatted instruction set documentation from the language specification.

摘要翻译： 用于生成处理器硬件的系统支持用于处理器指令集的显着扩展的语言，其中设计者仅指定新指令的语义，并且系统生成其他逻辑。 扩展语言提供了添加处理器状态，包括寄存器文件和在该状态下操作的指令。 该语言还提供了要添加到编译器中以表示添加的状态的新数据类型。 它允许单独指定参考语义和指令实现，并使用它自动进行设计验证。 另外，系统从语言规范生成格式化指令集文档。