消灭 发表于 2025-3-26 23:34:28

http://reply.papertrans.cn/16/1532/153163/153163_31.png

Arrhythmia 发表于 2025-3-27 04:56:09

https://doi.org/10.1007/978-3-476-05617-7In this chapter we analyze the influence of the variable order on the complexity of OBDDs. The following two theorems, which immediately follow from the Theorems and Corollaries 6.9 to 6.12, are applied several times.

Peculate 发表于 2025-3-27 05:32:38

https://doi.org/10.1007/978-3-658-31813-0The design of increasingly complex electronic systems makes it more and more difficult to verify their correct behavior. At the same time it becomes more and more important that the systems work correctly, as nowadays human lives seriously depend on them, e.g., in traffic or in medicine.

有害 发表于 2025-3-27 11:47:07

https://doi.org/10.1007/978-3-658-31813-0In the verification methods presented in Chapter 10, the model of finite state machine was the center of attention. Based on this, we now consider the more general verification concept of model checking. This concept is not strictly tied to the model of finite state machine, but is capable in addition of handling logic-based specifications.

镶嵌细工 发表于 2025-3-27 14:04:16

http://reply.papertrans.cn/16/1532/153163/153163_35.png

突变 发表于 2025-3-27 18:14:22

Basics. The theme of . is to investigate simple logical connections among elementary statements. Such elementary statements are for example

值得 发表于 2025-3-27 22:07:32

Requirements on Data Structures in Formal Circuit VerificationIn the previous chapter, we have introduced several representation types for switching functions. In particular, we have described the switching functions under consideration based on the following ideas:

TRUST 发表于 2025-3-28 02:51:25

Influence of the Variable Order on the Complexity of OBDDsIn this chapter we analyze the influence of the variable order on the complexity of OBDDs. The following two theorems, which immediately follow from the Theorems and Corollaries 6.9 to 6.12, are applied several times.

垫子 发表于 2025-3-28 09:07:04

http://reply.papertrans.cn/16/1532/153163/153163_39.png

神圣在玷污 发表于 2025-3-28 12:43:06

http://reply.papertrans.cn/16/1532/153163/153163_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Algorithms and Data Structures in VLSI Design; OBDD - Foundations a Christoph Meinel,Thorsten Theobald Textbook 1998 Springer-Verlag Berlin