下载分类
功能分类:
语言:
功能分类:
语言:
当前位置：
EpicFV作为全球首款开源形式验证工具，“灵验”在用户输入RTL设计和SystemVerilog断言描述设计规范的情况下，可以自动进行语法解析、设计综合、断言解析，并且基于分布式计算理论自动调度引擎求解断言，加速验证收敛，从而降低形式验证工具的使用门槛。随着芯片设计行业的高速发展，行业对芯片验证
EpicSim开源仿真器是一个 Verilog 编译器。适合作为模拟器使用，推荐在 Red Hat 和 CentOS 下运行。EpicSim开源仿真器亮点：1、最快的动态仿真速度，可获得至少2倍于iVerilog的性能提升2、进一步提升的软件质量和调试能力，提升了对标准波形格式的支持，以及基本的V
Electron 16是GitHub发布的跨平台桌面应用开发工具，支持Web技术开发桌面应用，其本身是基于C++开发的，GUI核心来自于Chrome，而JavaScript引擎使用v8。Electron 16 发行说明突发的变化crashReporter API现在由Linux上的Crashpad
Electron 12是GitHub发布的跨平台桌面应用开发工具，支持Web技术开发桌面应用，其本身是基于C++开发的，GUI核心来自于Chrome，而JavaScript引擎使用v8。v12 发行说明修复修复了某些 x11 窗口管理器无法正常拖放的问题。修复了 Service Worker 中针
FFmpeg是一套可以用来记录、转换数字音频、视频，并能将其转化为流的开源计算机程序。它包括了目前领先的音/视频编码库libavcodec。 FFmpeg是在 Linux 下开发出来的，但它可以在包括 Windows 在内的大多数操作系统中编译。
FFmpeg是一套可以用来记录、转换数字音频、视频，并能将其转化为流的开源计算机程序。它包括了目前领先的音/视频编码库libavcodec。 FFmpeg是在 Linux 下开发出来的，但它可以在包括 Windows 在内的大多数操作系统中编译。这个项目是由 Fabrice Bellard 发起的
FFmpeg是一套可以用来记录、转换数字音频、视频，并能将其转化为流的开源计算机程序。它包括了目前领先的音/视频编码库libavcodec。 FFmpeg是在 Linux 下开发出来的，但它可以在包括 Windows 在内的大多数操作系统中编译。
Waifu2x-Extension-GUI是一个可以借助深度卷积神经网络对图片 & GIF & 视频进行超分辨率放大(即放大与降噪) 以及 对视频进行 插帧(即补帧)的图像处理工具。
deskflow键盘鼠标共享允许你轻松地在你办公桌上多台计算机之间共享你的鼠标和键盘。你只要将鼠标（指针）从一台计算机的屏幕边缘移出到另 一个屏幕就行了。甚至可以共享你的剪贴板。你所需要的仅仅是一个网络连接。Synergy是跨平台的（可以运行于Windows，Mac OS X和Linux）。使用它
- 1
下载排行
