服务器板卡学习总结:BMC和PFR部分

本文详细介绍了AST1060芯片的配置,包括SPIMonitor、SMBBusFilter的使用,电源芯片的连接,以及各种总线如I3C、I2C、SPI的接口情况。此外,还提到了电平转换、滤波电感和电容的选择,以及BMC对CPLD和风扇的控制机制。文章还涉及了ADC、USB、PECI和JTAG等接口功能。
摘要由CSDN通过智能技术生成

一、PFR芯片

AST1060:

SPI Monitor: 4路SPIMonitor,用了1路

BMC_FWSPI_DQ2、BMC_FWSPI_DQ3是什么信号

SMB Bus Filter:4路SMB Bus Filter,使用4路

VRD:B10/A9 ,BMC(master):接5V电源芯片,3.3V电源芯片,1.8V电源芯片、2.5V电源芯片、1.2V电源芯片、连接器DCI2.0为什么要接电源芯片?

PSU:D11/C11 BMC、连接器

HSBP and SmartNIC:B16/F11 BMC、连接器

HPM CPLD and SCM CPLD:D9/A8 BMC、连接器、CPLD

为什么要用两个上拉电阻?分别为4.7K和2K?

ADC:

MISC

SPI-Mst

DBG-UART:

电平转换实例:

UART:

JTAG:

I3C:

4路1.0/1.2V I3C,只用了2路

I3C_MNG_PFR_LVC1_SCL、I3C_MNG_PFR_LVC1_SDA

I3C_BMC_PFR_LVC1_SCL、I3C_BMC_PFR_LVC1_SCL

4路1.8/3.3V I3C,只用了1路

I3C_PCIE_SCM_PFR_LVC3_SCL、I3C_PCIE_SCM_PFR_LVC3_SDA

6路3.3V I2C,只用了4路

BMC_I2C_PFR_SCL13、BMC_I2C_PFR_SDA13;

BMC_I2C_SCM_SCL1、BMC_I2C_SCM_SDA1;

BMC_I2C_SCM_SCL3、BMC_I2C_SCM_SDA3;

BMC_I2C_SCM_SCL2、BMC_I2C_SCM_SDA2;

SPI1:

6线SPI问题:

共模滤波电感的单位? 豪亨(mH)?搜搜参数

AST1060公版设计在哪找的?

UPD上电时序?

滤波电容的大小问题?一般都是1u、0.1u和0.01u吗?去耦,滤波都是这种

电源里用22U、10U多点,用作储能

AST2600:

BMC中PCIE(End Point)接口:PCIE主, PCIE (Root Complex)接口:PCIE从

BMC中MAC1和MAC2,属于内部集成的MAC,和8211一起接网口RJ45,接RTL8211

BMC中EMMC 存工具,软件

DAC:数模转换 VGA引脚数量?

FAN:PWM

为什么是CPLD输入,没有输出给风扇?BMC->CPLD->风扇

34页的灯?LED加上拉电阻,目的是为了开机期间怕灯乱闪;MOS管起隔离作用

通过控制P3V3_AUX_RGM高低,来控制MOS管导通和截止,右边CPLD先上电不会让电流倒灌到BMC

35页ADC电路分压

VGA Switch干嘛用

44页蓝色UID什么状态?蓝灯好像一直亮,隔离

ADC

USB

PECI

JTAG:5线,TCK、TDI、TDO、TMS、TRST

DCI2.0:

JTAG:5线,TCK、TDI、TDO、TMS、TRST

RTL8211:phy(物理层)芯片

通过MDI接口连接RJ45网口

通过RGMII接口与BMC通信:在 1000Mbps 传输速率下,时钟频率为 125Mhz,在时钟的上下沿同时采样数据,与RJ45为MDI接口;

25MHz为芯片工作时钟,RGMII接口时钟为125MHz

MDC、MDIO为管理时钟和管理数据引脚

TMP1075DGKR:视频开关,VGA一分二,VGA信号包含一路I2C

BMC(Bounded Model Checking)是一种用于软件验证的形式化技术,可以自动地对给定的软件模型进行验证。它通过将软件模型转化为有限状态机,并生成一个状态转换图来表示这个软件模型。然后,BMC会使用约束求解器来搜索状态转换图中的路径,以找到满足特定性质的路径。这些性质可以是关于软件的正确性、安全性以及其他属性的断言。 Docker是一种开源的容器化平台,可以将应用程序及其依赖项打包成一个独立、可移植的容器。这种容器化的方式使得应用程序在不同的环境中可以快速部署和运行,极大地提高了开发和运维的效率。 将BMC和Docker结合使用,可以将软件验证的过程更加高效和可靠。在传统的软件验证中,使用BMC需要在本地或者服务器上配置特定的环境,而且可能会面临依赖项、版本兼容性等问题。但是,通过将BMC工具和被验证的软件模型打包成Docker容器,可以将验证环境与软件模型一起打包,并在不同的环境中进行部署和运行。 使用BMC Docker可以带来以下好处: 1. 环境一致性:由于使用了Docker容器,可以确保在不同的环境中运行BMC时的环境一致性,避免了由环境差异导致的验证结果不准确问题。 2. 可移植性:使用Docker容器打包BMC工具和软件模型,可以实现在不同的平台和操作系统上进行验证。 3. 提高效率:通过将BMC工具和软件模型打包成容器,可以在需要验证的时候快速部署,并且可以并行地对多个模型进行验证,提高了验证的效率。 4. 便于共享和复用:将BMC工具和软件模型打包成Docker容器后,可以方便地共享和复用,提高了软件验证的可重复性。 综上所述,BMC Docker的使用可以提高软件验证的效率和可靠性,为软件开发人员提供更好的验证手段,同时也推动了软件验证技术的发展。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值