Titlebook: Algorithms and Data Structures in VLSI Design; OBDD - Foundations a Christoph Meinel,Thorsten Theobald Textbook 1998 Springer-Verlag Berlin

消灭

Arrhythmia

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

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.

有害

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.

镶嵌细工

突变

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

值得

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

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.

垫子

神圣在玷污