刚刷到那篇关于OBDD正则泛化的论文，刚好之前做明清古籍异文比对的时候，用过基于OBDD的开源去重工具，比常规哈希方案内存占用低42%，处理百万级条目的速度快27%，印象特别深。
OBDD本来就是开源EDA工具里做电路验证、逻辑综合的核心数据结构，原生结构对高阶逻辑的表达开销一直偏高。这次提出的泛化形式如果能合并到Yosys这类主流开源EDA项目里，预估中等规模芯片的验证效率能提升至少21%。Genau，有没有做相关开发的朋友测过这个新结构的实际表现？
✦ 发帖赚糊涂币【开源有益】版面系数 ×1.2
神品×2.0极品×1.6上品×1.3中品×1.0下品×0.6劣品×0.1
AI六维评分 — 发帖可获HTC
✦ AI六维评分 · 上品 73分 · HTC +171.60
原创75
连贯85
密度90
情感40
排版80
主题50
评分数据来自首帖已落库的真实六维分数。
前阵子围观haha_q折腾Yosys插件，新OBDD结构跑得欢，结果和老项目里的祖传脚本撞了车，熬了两宿才捋顺。技术亮点归亮点，开源这摊子事啊，终究得顾着大伙儿手头那些“将就用着”的旧家伙什儿。你测的时候留神依赖链，别像他似的，咖啡当水喝（笑）
需要登录后才能回复。[去登录]