原始存储库位于我自己的git服务器上，为
每次推送都会将其镜像到github，因此两者应该同步。
formal_hw_verification
使用形式验证来检查数字硬件设计正确性的测试和示例。 所有测试均使用完成， 是基于正式验证流程的。
master分支中的所有内容都使用和作为（Symbi）Yosys的VHDL前端插件。 使用GHDL作为综合前端可以使用PSL作为验证语言。
中的一些示例使用的商业VHDL / SystemVerilog前端插件，它不是免费的SW，也不包含在免费的Yosys版本中。 有关更多信息，请参见。
您可以使用提供的hdlc/formal:all docker映像（推荐）。 或者您使用我在自己的机器上构建。 两者都有可用的最新工具版本。
铝
VHDL中的简单ALU设计。 形式检查包含由assert＆cover指令使用的各种简单属性，这些属性已通过Symb
2022-02-08 15:05:54
181KB
1
软件介绍:
hw_pdf_ocr_81是之前80版本的升级版，是汉王发布的一款免费的OCR文字识别软件，可以直接从扫描仪中扫描并识别为文字，支持自动倾斜及手动倾斜校正，支持图像反白及旋转，识别后可以将结果保存为TXT/HTML/XLS/RTF文件类型，也可直接输出到外部编辑器。识别速度快正确率高，支持批量识别，支持处理多种色彩图像文件，能够识别出简繁及英文三种语言。可启用灰度彩色图像扫描保存为JPG格式。也可以将PDF文件转换为RTF/TXT文件，注意，如果文件所在目录不可写，则请把文件拷贝到本软件安装目录的IMAGE子目录下面再打开文件。
2022-01-20 11:52:40
34.96MB
1
专用海康威视录像机，型号：DS-7808HW-SNH升级固件 主控V3.0.1 build 140524程序升级包.zip
2022-01-07 09:18:33
10.62MB
1
包括接口设计，概要设计，详细设计，需求设计，及项目管理（IPD项目管理培训资料，项目管理10个模板）
2021-12-27 19:14:56
15.8MB
1
红蓝紫实战攻防演习手册、护网方案简介、防守基础安全指引v5.4、红队视角下的防御体系构建、蓝队视角下的防御体系突破、一次攻防实战演习复盘-君哥、2021HW参考_防守方经验总结、2021HW行动红队作战手册
2021-12-23 20:00:06
75.56MB