存储器中非对齐数据传输方法、写入方法和装置

    公开(公告)号:CN115374032A

    公开(公告)日:2022-11-22

    申请号:CN202211304565.X

    申请日:2022-10-24

    Abstract: 本公开涉及计算机技术领域,具体涉及一种存储器中非对齐数据传输方法、写入方法和装置,所述存储器基于AHB总线进行数据传输,所述方法包括:获取源地址与第一地址之间的第一字节差p1,所述第一地址为所述源地址的首地址的上一个双字对齐首地址;获取所述源地址的位宽L1,所述源地址的位宽为源地址中包含的字节数;基于所述第一字节差p1和源地址的位宽L1对所述源地址中的数据进行拼接,得到包括N个双字的待传输数据,其中,N=[L1/4]+1,[]为向下取整运算;将所述待传输数据传输至目标地址,实现了使不满足双字对齐的源地址中的数据也可在使用了DMA控制器的存储器中采用AHB总线进行双字传输,提高了数据传输的效率。

    电路形式化模型简化方法及系统

    公开(公告)号:CN115358175A

    公开(公告)日:2022-11-18

    申请号:CN202211270682.9

    申请日:2022-10-18

    Abstract: 本发明实施例提供一种电路形式化模型简化方法及系统,用于集成电路设计过程中的电路形式化模型简化,属于集成电路验证技术领域。所述方法包括:获取集成电路的设计信息,并基于所述设计信息进行形式化模型构建;基于所述形式化模型进行电路模型解构,获得多个电路子模块并组成子模块集;基于所述子模块集中各子模块之间的信号联动关系提取出所有存在交互影响的信号,作为交互关键信号;基于所述交互关键信号进行所有子模块重构,删除其中冗余状态,完成电路模型简化。本发明方案可以实现完全的自动化,不需要验证人员的手动操作,能够降低时间成本,提高验证精度。

Patent Agency Ranking