小组研究成果被IEEE期刊TCAD接收

清华大学软件系统安全保障小组研究成果“Knight: Optimizing Code Generation for Simulink Models with Loop Reshaping”被期刊 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 接收。

该论文提出了一种针对循环语义Simulink模型的循环重塑优化方法。Knight首先识别具有内部状态的组件，并设计了对应的关联关系分析规则。从而，Knight可以得出模型中的状态依赖组件。对于状态依赖组件，Knight采用前向推理的方法得出与内部状态无法的组件，并将这些组件重定位到循环语义之外，以此消除模型中的冗余运算。论文在多个Simulink模型上评估了Knight的性能，与Simulink Embedded Coder、DFSynth以及HCG相比，Knight生成的代码在不同的架构和编译器上执行速度分别提升了16.58倍、16.89倍以及15.38倍。该工作由博士生喻泽弘、博士后苏卓等人完成。

IEEE TCAD是中国计算机学会推荐的A类期刊，是计算机辅助设计领域中最具影响力的刊物之一。