- 博客(133)
- 资源 (1)
- 收藏
- 关注
RSS订阅
原创 Gem5模拟器，全流程运行Chiplet-Gem5-SharedMemory-main（十）
记录一下在跑Chiplet-Gem5-SharedMemory-main代码时遇到的一些关键问题
2023-01-01 15:58:24
2951
6
原创 傻白探索Chiplet，Gem5实例程序分析（九）
介绍在运行Chiplet-Gem5-SharedMemory-main项目时，遇到的关于C++线程的一些知识，主要是多线程
2022-12-30 22:15:29
1810
原创 论文阅读，CFD Vision 2030 Study: A Path to Revolutionary Computational Aerosciences（七）
论文阅读，CFD Vision 2030 Study: A Path to Revolutionary Computational Aerosciences（七）
2024-04-12 23:40:02
1603
1
原创 论文阅读，The Lattice Boltzmann Method: Principles and Practice（六）(1)
论文阅读，The Lattice Boltzmann Method: Principles and Practice（六）
2024-03-29 22:44:45
2448
1
原创 论文阅读，Accelerating the Lattice Boltzmann Method（五）
论文阅读，Accelerating the Lattice Boltzmann Method（五）
2024-03-28 01:47:04
1577
1
原创 论文阅读，HieraGen: Automated Generation of Concurrent,Hierarchical Cache Coherence Protocols（四）
论文阅读，HieraGen: Automated Generation of Concurrent,Hierarchical Cache Coherence Protocols（四）
2024-02-27 23:58:35
1188
2
原创 论文阅读，ProtoGen: Automatically Generating Directory Cache Coherence Protocols（三）
论文阅读，ProtoGen: Automatically Generating Directory Cache Coherence Protocols（三）
2024-02-13 22:58:14
1893
3
原创 论文阅读，HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols（二）
论文阅读，HeteroGen: Automatic Synthesis of Heterogeneous Cache Coherence Protocols（二）
2024-01-31 23:34:03
1205
1
原创 论文阅读，Domain Specific ML Prefetcher for Accelerating Graph Analytics（一）
Domain Specific ML Prefetcher for Accelerating Graph Analytics，论文阅读笔记
2024-01-29 23:32:45
1565
2
原创 形式化验证，Path Predicate Abstraction for Sound System-LevelModels of RT-Level Circuit Designs（六）
形式化验证，Path Predicate Abstraction for Sound System-LevelModels of RT-Level Circuit Designs阅读笔记
2023-07-06 19:52:04
199
原创 形式化验证，Complete Formal Verification of TriCore2 and Other Processors（五）
形式化验证，Complete Formal Verification of TriCore2 and Other Processors阅读笔记
2023-07-04 18:45:13
565
原创 形式化验证，A Theoretical Framework for SymbolicQuick Error Detection（四）
形式化验证，A Theoretical Framework for SymbolicQuick Error Detection阅读笔记
2023-07-03 21:42:13
273
原创 形式化验证，Unlocking the Power of Formal HardwareVerification with CoSA and Symbolic QED（三）
形式化验证，Unlocking the Power of Formal HardwareVerification with CoSA and Symbolic QED阅读笔记
2023-07-02 19:22:21
601
原创 形式化验证，QED: Quick Error Detection Tests for Effective Post-Silicon Validation（二）
形式化验证，QED: Quick Error Detection Tests for Effective Post-Silicon Validation阅读笔记
2023-07-01 17:03:07
541
原创 形式化验证，Gap-free Processor Verifification by S2QED and Property Generation（一）
形式化验证领域，Gap-free Processor Verifification by S2QED and Property Generation阅读笔记
2023-06-29 23:02:12
653
原创 傻白入门芯片设计，SystemVerilog Assertion（SVA）学习（二十一）
对SVA(SystemVerilogt Assertion)有了更深刻的认识，对经典的AveMC形式验证工具进行了介绍
2023-06-15 11:19:44
5632
原创 Gem5模拟器，如何在linux系统中查看内存、CPU、硬盘、进程、网络等信息（十二）
记录如何在linux系统中查看内存、CPU、硬盘、进程、网络等信息
2023-03-06 14:51:58
1019
原创 傻白探索Chiplet，Chiplet Heterogeneous IntegrationTechnology—Status and Challenges（十四）
Chiplet Heterogeneous IntegrationTechnology—Status and Challenges论文笔记，核心是Chiplet的优点、挑战、互连和封装技术的概述
2023-02-17 18:56:12
1018
2
原创 傻白探索Chiplet，Design Space Exploration for Chiplet-Assembly-Based Processors（十三）
Design Space Exploration for Chiplet-Assembly-Based Processors论文笔记，核心是chiplet设计空间探索和成本模型。
2023-02-15 20:41:14
2269
1
原创 傻白探索Chiplet，Modular Routing Design for Chiplet-based Systems（十一）
Modular Routing Design for Chiplet-based Systems论文笔记，核心是deadlock-freedom in multi-chiplet system
2023-02-12 12:11:19
1676
3
原创 傻白探索Chiplet，A Methodology for Simulating Multi-chiplet Systems UsingOpen-source Simulators（十）
A Methodology for Simulating Multi-chiplet Systems UsingOpen-source Simulators论文笔记，核心是关于多chiplet的通信
2023-01-03 12:04:58
1936
4
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人