Charlatan 发表于 2025-3-23 10:29:17

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

–吃 发表于 2025-3-23 16:16:01

Optimizing the Variable Orderer can lead to a very compact representation and hence to small running times, whereas a bad representation may exceed the physically ex-isting memory and hence causes the whole computation to abort. Even in the cases where bad variable orders do not cause a memory overflow, they lead to unacceptably large running times.

出血 发表于 2025-3-23 18:09:18

Variants and Extensions of OBDDstant developments in this area, although the relevant research efforts have not been completed yet. The search for more compact representations of switching functions, which preserve the valuable properties of OBDDs, is still ongoing.

Monotonous 发表于 2025-3-23 22:29:30

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

PANIC 发表于 2025-3-24 04:06:40

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

Scintillations 发表于 2025-3-24 09:17:28

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

暂时休息 发表于 2025-3-24 12:44:26

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

大包裹 发表于 2025-3-24 18:49:23

Textbook 1998 design projects. This textbook provides an introduction to the foundations of this interdisciplinary research area with an emphasis on applications in computer-aided circuit design and formal verification.

荣幸 发表于 2025-3-24 20:31:06

Christoph Meinel,Thorsten TheobaldFirst full presentation of the theory and practice of chip design using OBDDs..A new method for simulating and testing complex chips..Based on latest techniques such as chip error recognition, maximal

葡萄糖 发表于 2025-3-25 00:06:51

http://image.papertrans.cn/a/image/153163.jpg
页: 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