加载中
Xline Jepsen 测试分析

Table of Contents 摘要 背景介绍 Xline Jepsen Checkers Nemesis Jepsen 测试设计 数据一致性 Serializability Linearizability Strict Serializability Jepsen etcd test Registers Sets A...

使用SpinalHDL和Cocotb进行敏捷数字芯片设计和验证

摘要:领域特定架构已成为计算机发展的一种趋势。在提供更高效算力的同时,它也给底层硬件的开发带来了更大的挑战。传统的芯片设计和验证技术已越来越无法应对这些新的要求和挑战。在芯片设计...

Xline v0.6.1: 一个用于元数据管理的分布式KV存储

Xline是什么?我们为什么要做Xline? Xline是一个基于Curp协议的,用于管理元数据的分布式KV存储。现有的分布式KV存储大多采用Raft共识协议,需要两次RTT才能完成一次请求。当部署在单个数据...

01/19 01:58
5
开源Bluespec bsc编译器和可重用示例设计

这篇介绍Bluespec以及设计示例的文章,是在2021年ICCAD(International Conference On Computer-Aided Design)发布的论文。达坦科技的open-rdma项目和推广的MIT体系结构学习社区都用到Blues...

01/12 18:44
17
精彩回顾 I DatenLord Hackathon 2023圆满结束!

DatenLord Hackathon 2023已经顺利完赛。达坦科技基于其跨云分布式文件系统DatenLord项目,结合AI大模型时代背景,搭建了擂台。我们邀请参赛者为DatenLord的极端场景设计并实现缓存 p2p 传输...

01/03 20:10
10
Xline command 去重机制(一)—— RIFL 介绍

为什么要对 command 去重? 在一个接收外部 command 的系统中,通常一个 command 至少要执行一次,我们称其为 at-least-once semantics。如果一个 command 执行失败,系统内部经常会实现一套...

2023/12/31 20:28
11
blue-ethernet 高性能FPGA网络数据包处理项目详解

01、简介 blue-ethernet项目使用Bluespec SystemVerilog(BSV)硬件描述语言实现了一系列在FPGA上加速网络数据包处理的硬件模块。具体来说,其提供了用于生成和解析Ethernet/IP/UDP网络报文的硬...

2023/12/21 21:23
12
Xline v0.6.0: 一个用于元数据管理的分布式KV存储

Xline是什么?我们为什么要做Xline? Xline是一个基于Curp协议的,用于管理元数据的分布式KV存储。现有的分布式KV存储大多采用Raft共识协议,需要两次RTT才能完成一次请求。当部署在单个数据...

2023/12/21 21:20
7
MIT体系结构公开课学习社区2.0版正式上线啦~

为什么要发起设立MIT体系结构公开课学习社区? 随着芯片技术自主可控成为国家重要的战略发展规划,对芯片设计相关领域的人才需求也在快速增长。体系结构课程相对于硬件设计的重要性可以类比于...

2023/12/21 21:18
15
精彩回顾:2023 SpinalHDL 应用前景探索研讨会

达坦科技通过软硬件深度融合的方式打通云间壁垒,实现数据高效跨云访问。其采用硬件加速提升存储性能,目前采用FPGA实现存储相关场景的性能加速。SpinalHDL是达坦科技在产品中使用的硬件描述...

2023/12/21 21:17
8
数据流式编程在硬件设计中的应用

01、数据流式编程的思想 数据流式编程思想简介 数据流式编程(Dataflow Programming)是一种存在已久的程序设计范式,可以追溯到19世纪60年代,由MIT的Jack Dennis教授开创。 图1 信号处理领...

2023/10/30 21:46
11
Xline 源码解读(四)—— CURP 状态机引擎

在上一篇源码解读的文章(Xline 源码解读(三) —— CURP Server 的实现)中,我们简单阐述了Xline 的 Curp Server 是如何实现的。接下来,就让我们话接上回,继续深入地来了解 Curp Serve...

2023/10/20 21:18
13
DatenLord前沿技术分享 No.38

达坦科技专注于打造新一代开源跨云存储平台DatenLord,通过软硬件深度融合的方式打通云云壁垒,致力于解决多云架构、多数据中心场景下异构存储、数据统一管理需求等问题,以满足不同行业客户...

2023/10/20 21:06
7
DatenLord前沿技术分享No.37

达坦科技专注于打造新一代开源跨云存储平台DatenLord,通过软硬件深度融合的方式打通云云壁垒,致力于解决多云架构、多数据中心场景下异构存储、数据统一管理需求等问题,以满足不同行业客户...

2023/10/13 11:40
21
软硬件协同仿真 l 原理及主要组成部分概述

软硬件联合仿真在确保高效云解决方案的质量、降低风险、节省时间和成本方面发挥着关键作用。达坦科技致力于打通云间壁垒、实现数据高效跨云访问,为云上应用提供高性能安全存储支持。在研发过...

2023/10/13 11:32
19
DatenLord前沿技术分享 No.36

达坦科技专注于打造新一代开源跨云存储平台DatenLord,通过软硬件深度融合的方式打通云云壁垒,致力于解决多云架构、多数据中心场景下异构存储、数据统一管理需求等问题,以满足不同行业客户...

2023/10/06 19:37
72
Bluespec SytemVerilog 握手协议接口转换

01、引言 由于接口控制信号上的差异,要实现Bluespec SystemVerilog(BSV)生成的代码和外部Verilog代码之间的正确交互是一件比较麻烦同时容易出错的事情。在BSV中, 模块之间的交互都是基于Act...

2023/09/30 15:20
21
计算机体系结构 l MIT课程学习新手上路宣讲

达坦科技计算机体系结构|MIT 课程学习社区的源起 无论用哪一种语言,Bluespec、Chisel、SpinalHDL来进行硬件设计,背后扎实的硬件设计基础知识都是必不可少的,特别是体系结构,因为体系结构...

2023/09/19 22:34
66
DatenLord前沿技术分享 NO.35

达坦科技专注于打造新一代开源跨云存储平台DatenLord,通过软硬件深度融合的方式打通云云壁垒,致力于解决多云架构、多数据中心场景下异构存储、数据统一管理需求等问题,以满足不同行业客户...

2023/09/15 12:42
89
第二届硬件敏捷开发与方法学研讨会 l 2023 RISC-V中国峰会同期活动顺利举办

作为2023RISC-V中国峰会的同期活动,8月25日下午,达坦科技成功在线上举办第二届硬件敏捷开发与验证方法学研讨会。长达三小时的就新一代HDL在数字芯片设计开发和验证效率方面的实践经验分享,...

2023/09/07 23:24
90

没有更多内容

加载失败,请刷新页面

返回顶部
顶部