Design automation for secure, reliable and energy efficient embedded processors

该项目旨在创建一种方法来设计和生成处理器，这些处理器既安全，可靠又节能，可用于部署在物联网（IoT）系统中，几乎不需要持续维护。在这样的系统中，安全性和可靠性都是至关重要的，特别是在医疗设备、关键机械的控制设备、金融交易和汽车电子设备中。该项目将使用一个开放的RISC-V处理器，它足够灵活，可以作为基础处理器，并提供编译器和调试器等多种工具。可靠的计算机器将使系统能够在恶劣的环境中工作，并在更长的时间内保持功能正确。

This project seeks to create a methodology to design and generate processors which are both secure, reliable and energy efficient for deployment in Internet of Things (IoT) systems, which require little on-going maintenance. In such systems, both security and reliability are paramount, particularly in medical devices, control devices in critical machinery, financial transactions and automotive electronics. The project will use an open RISC-V processor which is sufficiently flexible to function as a base processor, with a myriad of tools such as compilers and debuggers available. Reliable computing machinery will enable systems to work in hostile environments and be functionally correct for longer.