In logic verification and logic synthesis, Boolean matching is widely used to testify whether two given functions are logically equal by means of OBDD.
在逻辑验证和综合中,布尔匹配利用有序二叉判定图obdd来检验两个给定的逻辑函数是否相等。
Use when the number of options is large, the space is constrained, and the list of items can be logically grouped into smaller, roughly equal sized chunks.
当选项的数量比较多,页面空间有限,并且可以对选项列表有逻辑的进行归类,分成更小的,内容数量基本一致的内容块.
Because of these changes, Numbers that would logically be equal may have changes in their least-significant digits that cause them to have different values.
由于这些变化,逻辑上相等的数字其最低有效位数可能会发生变化,从而导致它们具有不同的值。
Because of these changes, Numbers that would logically be equal may have changes in their least-significant digits that cause them to have different values.
由于这些变化,逻辑上相等的数字其最低有效位数可能会发生变化,从而导致它们具有不同的值。
应用推荐