加速器设计语言（ADLs）是一类高级语言，可编译为硬件单元，帮助领域专家快速设计高效的特定应用硬件……

本文提出了一种技术，帮助在一组备选方案中选择最佳的形式规范候选。给定一组规范，我们的技术……

一种广为人知的用于汽车软件系统（ASSs）安全评估和实时验证的测试方法是故障注入（Fault Injection，FI）。根据……

Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highli...

Deep Learning（DL）编译器已被广泛用于优化 DL 模型，以实现跨各种硬件的高效部署。由于它们在 DL...

内在函数是编译器提供的专用函数，能够高效地在特定架构的硬件上运行，使程序员能够编写…

大型语言模型（LLMs）即使在基准测试中表现强劲，也常常生成带有细微实现层面错误的代码。这些错误对LLMs来说很难……