Andreas Vielhaber,Synopsys 公司,意大利米兰 摘要 当今的片上系统 (SoC) 设计非常复杂,要求新的 SoC 设计项目采用更快、更简单的流程和方法。为了以更快、更低成本将更多 SoC 推向市场,意法半导体与 Synopsys® 专业服务部门联手,为数字音频系统平台设计了一种新的流程和方法。本文介绍了 SYNOPSYS® coreAssembler 如何通过自动化配置和互连步骤、提供实现 AMBA 平台的自动化路径以及使用 VIP 改进验证来简化使用 AMBA DesignWare® 组装 AMBA 系统的过程。该流程已用于设计和验证由意法半导体数字广播无线电部门 (汽车产品组) 开发的数字无线电系统控制器和音频解码器架构。
高级数字系统设计 (PC – I) 单元 - I 处理器算法:二进制补码系统 - 算术运算;定点数系统;浮点数系统 - IEEE 754 格式,基本二进制代码。单元 - II 组合电路:CMOS 逻辑设计,组合电路的静态和动态分析,时序风险。功能块:解码器、编码器、三态设备、多路复用器、奇偶校验电路、比较器、加法器、减法器、进位超前加法器 - 时序分析。组合乘法器结构。单元 - III 序贯逻辑 - 锁存器和触发器,序贯逻辑电路 - 时序分析(建立和保持时间),状态机 - Mealy & Moore 机,分析,使用 D 触发器的 FSM 设计,FSM 优化和分区;同步器和亚稳态。 FSM 设计示例:自动售货机、交通信号灯控制器、洗衣机。单元 - IV 使用功能块进行子系统设计 (1) - 设计(包括时序分析)不同复杂程度的不同逻辑块,主要涉及组合电路:
4.1.电气特性 ................................................................................................................................................................ 4 4.2.时序图 ................................................................................................................................................................ 5 4.3.时序特性 ................................................................................................................................................................ 5 4.4.典型特性 ................................................................................................................................................................ 6
Xilinx Virtex V5、Kintex US 以及 Microchip RTG4 和 RTPolarFire FPGA 的 RadHard 72M 和 144M QDRII+ SRAM 设备均可免费获得内存控制器。QDR-II+ SRAM 控制器管理基于 DDR 的源同步时序架构的复杂时序细节,并确保 FPGA 和 QDRII+ SRAM 内存之间的可靠数据传输。如果需要更高级别的辐射抗扰度来减轻单粒子干扰,控制器嵌入式 ECC (SECDEC) 也可作为 RTL 选项提供。请联系 hirel-memory@infineon.com 获取 RTL 代码和测试台的副本。
算法验证领域一直以模型检查时序逻辑公式的决策程序为中心。时序逻辑 [MP95] 是一种严格的规范形式主义,用于描述系统所需的行为。已经开发了许多将时序逻辑公式转换为相应自动机的有效算法 [VW86、SB00、GPVW95、GO01],从而成功开发了 L TL 和 C TL 等逻辑,并将它们共同集成到主要验证工具中。基于时序逻辑的形式主义已被硬件行业采用,并成为标准 P SL [HFE04] 规范语言。为了推理定时系统,人们提出了许多实时形式化方法,它们要么是时间逻辑的扩展(M TL [Koy90]、M ITL [AFH96]、T CTL [Y97]),要么是正则表达式(定时正则表达式 [ACM02])。然而,与非定时情况不同,这些逻辑与定时验证工具中使用的定时自动机 [AD94] 之间没有简单的对应关系。随着混合自动机 [MMP92] 的出现,连续域中的验证成为可能,混合自动机作为描述具有带开关的连续动态系统的模型,以及用于探索其状态空间的算法。尽管最近取得了很大进展 [ADF + 06],但由于状态空间的爆炸式增长,可扩展性仍然是混合系统穷举验证的主要问题。此外,基于属性的混合系统验证才刚刚起步 [FGP06]。因此,连续系统的首选验证方法仍然是模拟/测试。然而,有人指出,验证的规范元素
• LPDDR5 中的关键时序关系及其在 LPDDR5-6400 系统中的数据速率 • 整个演示过程中将使用 LPDDR5-6400 比特率作为示例
GSV2008 兼容 HDMI1.4/2.0,支持 HDCP 1.4/2.2,可配置 4 进 2 出中继器。所有 4 个输入在接收器功能上相同,所有 2 个输出在发射器功能上相同。GSV2008 的 2 个 HDMI 输出可以从任何 HDMI 输入端口独立路由。HDMI 输入和输出最大处理像素时钟频率为 600MHz,这意味着视频分辨率最高可支持 4kx2k@60Hz 4:4:4 8 位。非压缩时序的最大处理音频采样频率为 192K Hz。GSV2008 支持 HDR10 和 Dolby Vision HDR 作为输入和输出。对于音频插入和提取,GSV2008 的 2 个多功能 TTL 引脚总线可以根据平台要求配置为输入模式或输出模式。 GSV2008 最多可支持 8 通道 I2S、2 通道 S/PDIF、3D 和多流音频。在 TDM 模式下,每个音频引脚最多支持 8 个通道。内部缩放器和颜色空间转换器使输入和输出具有独立于时序格式的功能,并能够进行长距离传输。凭借强大的 HDMI Rx 均衡器和 Tx 预加重功能,GSV2008 可以级联自身(或 GSV2000 系列芯片),至少有 7 级适用于所有 HDMI 1.3/1.4/2.0 时序。1.2 功能
1 简介1-1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ................. ... . . . . . . 1.3.2 接口 1-2 . . . . . . . . . . . . . . . . . 1.3.3 电气和物理 1-2 . . . . . . . . . . . . . . . . 1.4 应用 1-2 . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.4.1 数字音频控制 1-2 . . . . . . . . . . . . . . . 1.4.2 均衡 1-2 . . . . . . . . . . . . . . . . . . . . 1.4.3 扬声器有源分频器 1-2 . . . . . . . . . . . . . . . 1.5 功能框图 1−3 . . . . . . . . . . . . . . . . 1.6 混频/输入缩放 1−3 . . . . . . . . . . . . . . . . . . . . 1.7 高精度二阶双二阶滤波器结构 1−4 . . . . . . . . . 1.8 低音和高音控制 1−6 . . . . . . . . . . . . . . . . . 1.9 软音量和真正软静音 1−6 . . . . . . . . . . . . . . . . . 1.10 数字滤波的可靠性和灵活性 1−7 . . . . . . . . . . . . . . 1.11 引脚分配 1-7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.12 引脚功能 1-8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.14 电源 1−8 . . . . . . . . . . . . . . . . . . . . . . . 2 音频数据格式 2−1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .... .... .... .... .... 3.1 I 2 C 协议 3−1 . .... .... ..................... ... . . . . . . . . . 3.2.2 I 2 C 时序和等待周期3−2. . . . . . . . . . . . . . 3.2.3 重置 TAS3001 I 2 C 接口3−3. . . . . . . . . . . . 3.2.4 上电条件3−3. . . . . . . . . . . . . . . . 3.2.5 I 2 C 串行端口时序 3−4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 数字音频处理器 4−1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ................................................................................................................................................................