1.3 形式验证 二者的结合 形式验证补充了模拟验证的不足，二者各有优 势，互为补充，缺一不可。 2 形式验证的主要方法 形式验证工具可分为三大类： • 等效性检验 • 模型检验 • 理论证明

科大讯飞 语音识别 模块 基于RK3308

rockchip RK3308 蓝牙wif的移植说明文档

硬件设计参考，官方资料，很是要那个

下载（git），编译，烧录基于RK3308的整个Linux系统（uboot kernel rootfs等），详细的wifi 蓝牙配置方法，官方资料，很使用

30页的文档，把3308的所有音频接口都做了详细解释，官方文档，简单实用

官方配置流程，简单实用一次过

RK3308参考设计 原理图及PCB源文件 RK3308核心模板 原理图及PCB源文件 RK3308_AI-VA_MB_REF_V11_20180703 RK3308_AI-VA_MIC_REF_V11_20180703 RK3308_AI-VA_REF_V11_20180703_SCH_Modify_Notes Rockchip RK3308 Datasheet V1.4-20180812.pdf RK3308_IO_LIST_V1.0_20180511.xlsx 重要器件规格书

RK3308硬件设计指南_V1.0_20180914，1 1 RK3308&RK3308G; 系统概述 1.1 概述 RK3308/RK3308G是一颗高性能四核Cotex-A35处理器，64位架构，可应用于智能音频交互和其他数字多 媒体设备。芯片内置丰富的音频接口，如8路ADC输入，2路DAC输出，I2S，PDM，TDM，SPDIF TX/RX等接口， 能满足不同音频应用需求，极大的优化外围硬件设计，降低整机硬件成本。 同时，RK3308/RK3308G还内置VAD（语音活动检测）功能，能够在休眠状态下实时监听语音信号，及时 响应语音唤醒请求，此功能可大大降低传统智能音箱的语音监听功耗，降低发热，提高电池的续航能力。

PK3308官方器件手册,PK3308官方器件手册