The EPFL Combinational Benchmark Suite

GitHub - lsils/benchmarks: EPFL logic synthesis benchmarks

有许多Verilog的.v文件可以下载。mem_ctrl.v 5万多行 2MB，变量名全是n+数字，几万行assign啊！

Verilog里转义标识符(escaped identifier )可以在一个标识符中包含任何可打印字符。转义标识符以\ (反斜线)符号开头，以空白结尾（空白可以是一个空格、一个制表字符或换行符）。sin比sqrt短很多，迷惑中。也许我们以为写Verilog的都是写几千到几万行assign，但他们其实也偷偷调sin() :-)

A .BLIF file is a Berkeley Logic Interchange Format file.

AIGER is a format, library and set of utilities for And-Inverter Graphs (AIGs).

posted @ 2021-12-30 19:01 Fun_with_Words 阅读(134) 评论(0) 编辑收藏举报

刷新页面返回顶部

（评论功能已被禁用）

阅读排行：
· TypeScript + Deepseek 打造卜卦网站：技术与玄学的结合
· Manus的开源复刻OpenManus初探
· 三行代码完成国际化适配，妙~啊~
· .NET Core 中如何实现缓存的预热？
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗？

((2+3)*5)-1
4*(2-1+5)
3*(4-1+5)
4*(3-2+5)
(2-1+3)*6
3*(4-2+6)
(1-2+5)*6
(2-3+5)*6
((2+4)*5)-6
(3-4+5)*6
3*(2-1+7)
4*(1-2+7)
4-1+3*7
4*(2-3+7)
5-2+3*7
1-5+4*7
3*(5-4+7)
2*(6-1+7)
3*6-1+7
6*(1-4+7)
2-6+4*7
1+5*6-7
6*(2-5+7)
3*(6-5+7)
4*(5-6+7)
(1-2+4)*8
4*(1-3+8)
(2-3+4)*8
2*(5-1+8)
(1-3+5)*8
((5-1)*4)+8
(2-4+5)*8
4*(3-5+8)
(6-(1+2))*8
(8-(1+3))*6
3*6-2+8
(1-4+6)*8
4*(2+6)-8
6*(1-5+8)
2+5*6-8
(4+5-6)*8
(7-(1+3))*8
2*(7-3+8)
4*(1+7)-8
((7-3)*4)+8
(1-5+7)*8
3*7-5+8
4*(5-7+8)
(2-6+7)*8
6*(3-7+8)
(4+6-7)*8
6*(5+7-8)
3*(1-2+9)
2*(4-1+9)
1-4+3*9
2-5+3*9
((4-1)*5)+9
4*(2-5+9)
3*(4-5+9)
((6-1)*3)+9
2*(6-3+9)
(9-(1+4))*6
6+(4-2)*9
4*(3-6+9)
3*(5-6+9)
7-1+2*9
((7-2)*3)+9
2*(7-4+9)
3*(4+7)-9
5*7-(2+9)
5+4*7-9
6*(2-7+9)
3*(6-7+9)
6+(7-5)*9
2*8-1+9
1+4*8-9
(9-(2+4))*8
(9-(1+5))*8
2*(8-5+9)
5-8+3*9
4*(5-8+9)
6*(3-8+9)
6*(5+8-9)
8*(1-7+9)
2*(7+9)-8
3*(7-8+9)
4*(7+8-9)
5*8-(7+9)

你能用它们算出24吗？
2 3 5 1

The EPFL Combinational Benchmark Suite

随笔分类