排序方式: 共有2条查询结果,搜索用时 15 毫秒
1
1.
Introduction Orderedbinarydecisiondiagrams(OBDDs)[1]areefficientrepresentationsofBooleanfunctions.However,thesizeofOBDDsdependsheavilyonvariableordering[1].HowtofindasatisfyingvariableorderisthuscrucialtotheapplicationofOBDDs[211].HeuristicanddynamicmethodsarewidelyusedinorderingthevariablesforOBDDs.Heuristicmethodsusetheinformationimpliedinthecircuitstructure,whiledynamicmethodsimprovethevariableordergraduallyongivenOBDDs.Althoughadynamicmethodmaygivebetterresults,itsruntimedepen… 相似文献
2.
GFLS1是门和功能级混合的逻辑模拟系统,它允许门或功能块作为被模拟电路的基本单元。GFLS1的主要特点是:提供了一个便于使用的描述语言;使用表驱动和选择追踪算法;既可对已有的逻辑电路作正确性检查,负载检查和各种条件检查,也可支持自上而下的逻辑设计。 相似文献
1