注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. bluespec.pdf bluespec教程

  2. bluespec.pdf bluespec教程

  3. 所属分类：讲义

    • 发布日期：2014-07-24
    • 文件大小：1mb
    • 提供者：libin0410

  1. BSV By Examples

  2. Bluespec SystemVerilog 说明文档，Bluespec 是一种新型的HLS系统

  3. 所属分类：硬件开发

  1. Bluespec-user-guide.pdf

  2. Bluespec SystemVerilog的入门手册，Bluespec SystemVerilog是一种新的硬件描述语言，但它是一种面向对象的高级语言，熟悉高级语言编程的同学想从事IC编程，可能从Bluespec SystemVerilog入手更容易一些，比Verilog HDL更容易理解。新手记得收藏呦。

  3. 所属分类：互联网

  1. 消费电子中的emulation仿真工具由Bluespec与HyperSilicon宣布推出

  2. 据报道，Bluespec 公司与北京亚科鸿禹电子有限公司（HyperSilicon Co.,Ltd. ）经过紧密合作，以HyperSilicon的FPGA原型验证平台VeriTiger-DH2000TQ与Bluespec Semu完美连接，为Bluespec的Semu emulation解决方案增加了新的 4000万ASIC门级的选项。自此，正式宣布Bluespec与HyperSilicon联手推出emulation仿真工具。 　　对于如今复杂的设计，仅仅使用软件仿真，仿真速度过于缓慢，并且完

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：52kb
    • 提供者：weixin_38738511

  1. 片上系统加速器SoC-源码

  2. 使用Xilinx ZynqMP-SoC ultra96 FPGA的SoC加速器 从AXI-Lite到AXI-Full 作者：Minh Quang Tran和Nguyen Tien Dat Tran 主题：使用Xilinx Ultra96 FPGA加速图像处理领域的运营商 任务1有两个文件： 1_bitsteam file: Bitstream of MysteryReg IP core 2_mmap file: Test the MysteryReg IP core by reading

  3. 所属分类：其它

  1. agc6375：6.375最终项目：阿波罗制导计算机-源码

  2. 6.375最终项目：阿波罗制导计算机 麻省理工学院6.375最终项目的Apollo指导计算机的Bluespec系统Verilog实现。 这个项目要归功于Ron Burkey的 ； 特别是，它使用了他的UI组件（例如yaDSKY2 ），他的汇编器和验证套件，当然还有他关于AGC本身的文档。 新工作 在2020年冠状病毒流行病Val期间，我使用开源编译器再次开始了这项工作。 我们已经开始清理几年前在6.375上所做的工作，但是事情仍然很混乱。 先决条件 Bluespec：按照的安装说明进行操作，并

  3. 所属分类：其它

  1. bsvtokami：将Bluespec SystemVerilog转换为Kami以与coq证明助手一起使用-源码

  2. bsvtokami Bsvtokami将BSV源代码转换为Kami，以便在Coq证明助手中使用。

  3. 所属分类：其它

    • 发布日期：2021-02-10
    • 文件大小：326kb
    • 提供者：weixin_42144199

  1. awesome-coq：精选的Coq框架，库和软件的精选清单-源码

  2. 很棒的 精选的Coq框架，库和软件的精选清单。 经过正式认证的CompCert C编译器 此coq库旨在使用单价观点形式化大量数学。 -Coq中用于个人学习和实践工作的范畴论的无公理形式化 用于正式验证Coq中的分布式系统实现的框架 数学组件 您希望Coq手册告诉您的技巧 将Haskell源代码转换为Coq源代码 -Vellvm（已验证LLVM）coq开发。 - 对Coq中单价数学基础的原始发展 -FSCQ是在Coq中编写并证明的经过认证的文件系统 使用Coq证明助手进行定理证明的

  3. 所属分类：其它

  1. p4fpga：P4-1416 Bluespec编译器-源码

  2. 加入P4FPGA电子邮件列表： 作为P4FPGA-dev的成员，您可以将支持请求发送至 引导环境 bash bootstrap_env.sh 从源代码构建P4FPGA git submodule update --init --recursive bash bootstrap.sh cd build make -j8 生成的Bluespec组织 Main.bsv ：包含用于连接框架的顶级模块。 运行库 程式库 Board.bsv ：包含p4程序的运行时环境 物理层+ MAC Channe

  3. 所属分类：其它

    • 发布日期：2021-01-31
    • 文件大小：265kb
    • 提供者：weixin_42143221

  1. 如何让数字硬件设计简单化

  2. VHDL和Verilog是用于描述可综合数字硬件的两种主流语言。但我们不应忘记，它们初可不是为了这个目的创建的，而是为了模拟和归档。这个事实加之许多其它语法弱点，引发了许多问题，比如设计参数化能力弱；设计可重用性差；代码冗长、方法繁复；以及使可综合和不可综合特征之间的边界模糊不清。为了应对这些限制和问题，一些新的替代解决方案已经出现，如Bluespec、Chisel、CλaSH、Migen、MyHDL和SpinalHDL等。 　　以不同方式描述硬件 　　与VHDL和Verilog一样，Spi

  3. 所属分类：其它

    • 发布日期：2021-01-20
    • 文件大小：225kb
    • 提供者：weixin_38582793

  1. emulation仿真工具由Bluespec与HyperSilicon宣布推出

  2. 据报道，Bluespec 公司与北京亚科鸿禹电子有限公司（HyperSilICon Co.,Ltd. ）经过紧密合作，以HyperSilicon的FPGA原型验证平台VeriTiger-DH2000TQ与Bluespec Semu完美连接，为Bluespec的Semu emulation解决方案增加了新的 4000万ASIC门级的选项。自此，正式宣布Bluespec与HyperSilicon联手推出emulation仿真工具。 　　对于如今复杂的设计，仅仅使用软件仿真，仿真速度过于缓慢，并且完

  3. 所属分类：其它

    • 发布日期：2021-01-19
    • 文件大小：50kb
    • 提供者：weixin_38577551