基于FPGA的二元决策树到BDD的LUT转化算法

最近在做一个万兆路由器的硬件设计，想用二元决策图（BDD）来实现一个高速查找表（LUT）。
以IP ADDRESS LOOKUP为例。
我在把路由规则所形成的决策树转化成ROBDD时，遇到了困难。
现在有两种途径：
1.把一个不大于32位的ip地址段转化成一个布尔表达式，再通过香农表达式转化成ROBDD。
  但我不能找到把一个不大于32位的ip地址段转化成一个布尔表达式的方法，或者根本不能转换？
2.直接把一个32位的ip地址段转化成一个二元决策树，再转化成ROBDD。但不能找到一个有效的算法把树转化成图。
希望高人指点..........
如果你用过BDD做过一个查找之类的程序，并且有源程序，希望能参考一下你的代码（[email protected]）
万分感谢！

参考一下你的代码，别说这点分，就是现实中100美金都没人跟你玩