基于形式化分析的信号处理模块设计

• 作者: 冯艳清 熊爱金 周慧
• 来源期刊: 电脑编程技巧与维护
• 关键词: 嵌入式 形式化分析 信号处理 TMS320C6678芯片
• 年，卷（期）: 2022,（2）
• 所属期刊栏目: 网络通信与安全维护
• 页码范围: 170-172
• 页数: 3页
• 语种: 中文
• DOI: 10.3969/j.issn.1006-4052.2022.02.056

摘要

形式化技术是系统开发过程中提高可靠性的一种行之有效的途径,随着形式化技术的发展与普及,它在系统软硬件设计方面得到了一定的应用.以某超短波监测系统中的数字信号处理模块软硬件开发为例,介绍了信号处理模块的硬件设计,描述了该模块的软件设计及使用形式化分析技术在软件开发过程中的应用步骤,为形式化技术在类似产品的开发过程中的应用提供了一定的借鉴.