包含C语言中的菱形，百马百担，达依尔要小麦，递归，迭代，猴子吃桃，杨辉三角形，斐波那契数列，十进制数字转换为二进制，冒泡排序，选择排序，桶排序，输入一段字符串，计算出字符串中的字符数，行数和单词数。
2022-02-09 18:02:33
6KB
1
原始存储库位于我自己的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
详细见https://blog.csdn.net/weixin_47595471/article/details/122637405?spm=1001.2014.3001.5501
2022-01-28 09:07:25
5.16MB
1
这是一款毕业设计，考场安排系统，由于考场安排的不确定因素太多，比如受时间段，教师，教室的限制，这个系统设计的不是很好，但是可以参考。
2022-01-26 14:50:02
1.79MB
1