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

这个令人信服的项目旨在更容易地在指令集体系结构和微体系结构(“框图”)级别绘制新的体系结构概念。我们设计了用于表达指令集语义和编码的语言(CISL，令人信服的指令集语言)，以及描述微体系结构组件、连接和时序的语言(CASL，令人信服的体系结构规范语言)。Coent现在正在完成语言处理器和运行时环境，以便我们可以从CISL和CASL机器描述生成功能和时序模拟器，以及合格的(但不是自动创新的)编译器。在其他方面，我们正在解决为编译器端自动生成可证明正确的代码生成器和寄存器分配器的问题，并在模拟器端自动生成类似正确的模拟器。(当然，正确性与CISL和CASL描述的正确性相关。)科金特还致力于为建立和运行模拟实验提供一个强大的模拟器环境和工具。我们的希望是给建筑设计探索和模拟带来革命性的变化，产生研究、工业和教学方面的影响。我们正专注于在该奖项下实现最大限度的功能。

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.