找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

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

[復(fù)制鏈接]
查看: 44775|回復(fù): 52
樓主
發(fā)表于 2025-3-21 18:37:11 | 只看該作者 |倒序?yàn)g覽 |閱讀模式
期刊全稱Algorithms and Data Structures in VLSI Design
期刊簡稱OBDD - Foundations a
影響因子2023Christoph Meinel,Thorsten Theobald
視頻videohttp://file.papertrans.cn/154/153163/153163.mp4
發(fā)行地址First 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
圖書封面Titlebook: Algorithms and Data Structures in VLSI Design; OBDD - Foundations a Christoph Meinel,Thorsten Theobald Textbook 1998 Springer-Verlag Berlin
影響因子One of the main problems in chip design is the huge number of possible combinations of individual chip elements, leading to a combinatorial explosion as chips become more complex. New key results in theoretical computer science and in the design of data structures and efficient algorithms, can be applied fruitfully here. The application of ordered binary decision diagrams (OBDDs) has led to dramatic performance improvements in many computer-aided 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.
Pindex Textbook 1998
The information of publication is updating

書目名稱Algorithms and Data Structures in VLSI Design影響因子(影響力)




書目名稱Algorithms and Data Structures in VLSI Design影響因子(影響力)學(xué)科排名




書目名稱Algorithms and Data Structures in VLSI Design網(wǎng)絡(luò)公開度




書目名稱Algorithms and Data Structures in VLSI Design網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Algorithms and Data Structures in VLSI Design被引頻次




書目名稱Algorithms and Data Structures in VLSI Design被引頻次學(xué)科排名




書目名稱Algorithms and Data Structures in VLSI Design年度引用




書目名稱Algorithms and Data Structures in VLSI Design年度引用學(xué)科排名




書目名稱Algorithms and Data Structures in VLSI Design讀者反饋




書目名稱Algorithms and Data Structures in VLSI Design讀者反饋學(xué)科排名




單選投票, 共有 0 人參與投票
 

0票 0%

Perfect with Aesthetics

 

0票 0%

Better Implies Difficulty

 

0票 0%

Good and Satisfactory

 

0票 0%

Adverse Performance

 

0票 0%

Disdainful Garbage

您所在的用戶組沒有投票權(quán)限
沙發(fā)
發(fā)表于 2025-3-21 21:39:03 | 只看該作者
https://doi.org/10.1007/978-3-658-01451-3he elements of the underlying domain, each finite problem can be fully expressed by means of ., i.e., functions mapping bit vectors to single bits. Consequently, manipulations over finite domains can be entirely reduced to the treatment of switching functions.
板凳
發(fā)表于 2025-3-22 04:06:12 | 只看該作者
地板
發(fā)表于 2025-3-22 05:09:29 | 只看該作者
5#
發(fā)表于 2025-3-22 10:38:21 | 只看該作者
6#
發(fā)表于 2025-3-22 16:23:23 | 只看該作者
7#
發(fā)表于 2025-3-22 17:14:44 | 只看該作者
8#
發(fā)表于 2025-3-22 22:52:21 | 只看該作者
Introductionhe elements of the underlying domain, each finite problem can be fully expressed by means of ., i.e., functions mapping bit vectors to single bits. Consequently, manipulations over finite domains can be entirely reduced to the treatment of switching functions.
9#
發(fā)表于 2025-3-23 01:58:33 | 只看該作者
10#
發(fā)表于 2025-3-23 06:41:10 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-7 01:43
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
新余市| 房产| 老河口市| 达拉特旗| 潞城市| 扬中市| 浑源县| 二连浩特市| 芒康县| 大洼县| 安达市| 道真| 临安市| 浠水县| 刚察县| 墨脱县| 昂仁县| 甘谷县| 苗栗县| 高邑县| 天柱县| 化隆| 蒲城县| 镇安县| 凤台县| 本溪市| 尼玛县| 波密县| 阿城市| 马公市| 威远县| 墨脱县| 金寨县| 新沂市| 镇巴县| 西乌| 盐源县| 开远市| 六盘水市| 陇南市| 轮台县|