过去的一年致力于IEEE 802.3bj的前向纠错编码模块(FEC),发现可以把我的对偶综合工作扩展到FEC上,包括FEC的形式化验证和对偶综合。
这就导致了我需要学习纠错码,而相关的多项式环和有限域操作需要在计算代数系统上进行操作,这就导致了我需要学习计算代数系统。
常见的计算代数系统由Singular(www.singular.uni-kl.de)和GAP(www.gap-system.org)。
Singular被几个相关的工作使用,比如发表于FMCAD12的Formal Verification of Error Correcting Circuits Using Computational Algebraic Geometry。
不过Singul

在参与IEEE 802.3bj前向纠错编码模块开发中,作者发现需要深入学习纠错码和计算代数系统。文章介绍了Singular和GAP这两个计算代数系统,特别指出GAP在学习纠错码时提供的资源和支持更为丰富,包括代数背景和实际应用示例。

339

被折叠的 条评论
为什么被折叠?



