CSR-SMA: CoGenT: Co-Generating Tools for Modeling Next Generation Systems

CoGenT项目旨在使绘制新的 指令集架构的架构思想， 微体系结构（“框图”）级别。我们设计了语言 用于表达指令集语义和编码（CISL，CoGenT 指令集语言），并用于描述微体系结构 组件、连接和时序（CASL，CoGenT架构 规范语言）。CoGenT现在正在完成语言 处理器和运行时环境，以便我们可以从CISL生成 和CASL机器描述，功能和时序模拟器，以及 有能力的（但不是自动创新的）编译器。除其他 我们正在解决生成可证明正确的代码的问题， 生成器和寄存器分配器，对于编译器端， 并自动生成类似正确的模拟器 模拟器侧。(Of课程的正确性是相对于正确的 CISL和CASL说明。）CoGenT还旨在提供一种能够 用于设置和运行仿真的仿真器环境和工具 实验我们的希望是彻底改变建筑设计 探索和模拟，结合研究、工业和教学 冲击我们专注于实现最大的功能 在这个奖项下。

The CoGenT project aims to make it much easier to sketch new architectural ideas at the instruction set architecture and micro-architecture ("block diagram") levels. We have designed languages for expressing instruction set semantics and encoding (CISL, the CoGenT Instruction Set Language), and for describing micro-architecture components, connections, and timing (CASL, the CoGenT Architecture Specification Language). CoGenT is now completing the language processors and run-time environments so that we can generate, from CISL and CASL machine descriptions, functional and timing simulators, and competent (but not automatically innovative) compilers. Among other things we are solving the problem of generating provably correct code generators and register allocators automatically, for the compiler side, and generating similarly correct simulators automatically on the simulator side. (Of course correctness is relative to correctness of the CISL and CASL descriptions.) CoGenT also aims to provide a capable simulator environment and tools for setting up and running simulation experiments. Our hope is to revolutionize architecture design exploration and simulation, with research, industrial, and teaching impact. We are focusing on getting the maximum functionality implemented under this award.