一句话：提出 ShakeFlow，用延迟不敏感接口组合子在函数式硬件描述中组合 valid/ready 等电路。
函数式编程在硬件描述中的优势已被广泛认可，函数式硬件描述语言常借助 map、filter 等组合子支持电路的组合式描述。然而，将这类组合子方法用于具有延迟不敏感接口（如 valid/ready 接口）的复杂电路存在困难，因为其前向与后向端口形成环状依赖。ShakeFlow 针对这一问题，提出以延迟不敏感接口组合子进行函数式硬件描述，力图在保留组合子组合优势的同时处理 valid/ready 等接口的双向、环状连接。给出的摘要未展开具体实现、形式化细节与实验评估。
Functional programming’s benefits for hardware description have long been recognized in the literature. In particular, functional hardware description languages provide combinators such as maps and filters to facilitate the compositional description of circuits. However, it is challenging to apply functional programming with combinators to complex circuits with latency-insensitive interfaces such as valid/ready interfaces due to the cyclic nature of their forward and backward ports.