可编程超曲面的形式化验证
Formal Verification of a Programmable Hypersurface
摘要：
超材料表面是由称为超材料的人造材料组成的表面，具有可配置的电磁特性。本文介绍了正在进行的工作的设计和形式化验证的可编程元表面，超表面，作为VISORSURF研究计划（HORIZON 2020 FET开放）的要求的一部分。超表面设计涉及负责配置超材料的开关控制器网络的开发。然而，超曲面的设计具有苛刻的要求，需要在有限资源的情况下交付。本文分享了一个严格的超曲面网络设计过程的经验，涉及设计网络和协议之间的迭代和每个设计的正式评估。到目前为止，正式的评估已经提供了结果，推动开发团队进行更稳健的设计，并全面帮助降低超曲面制造成本。本文介绍了作为VISORSURF研究计划（HORIZON 2020 FET-OPEN）要求的一部分，可编程超曲面的设计和形式化验证的进展情况。
英文摘要：
A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable metasurface, the Hypersurface, as part of the requirements of the VISORSURF research program (HORIZON 2020 FET-OPEN). The Hypersurface design is concerned with the development of a network of switch controllers that are responsible for configuring the metamaterial. The design of the Hypersurface, however, has demanding requirements that need to be delivered within a context of limited resources. This paper shares the experience of a rigorous design procedure for the Hypersurface network, that involves iterations between designing a network and its protocols and the formal evaluation of each design. Formal evaluation has provided results that, so far, drive the development team in a more robust design and overall aid in reducing the cost of the Hypersurface manufacturing. This paper presents work in progress on the design and formal verification of a programmable Hypersurface as part of the requirements of the VISORSURF research programme (HORIZON 2020 FET-OPEN).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
