找回密碼
 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ù) 返回頂部 返回列表
碌曲县| 湘乡市| 霸州市| 宜阳县| 普宁市| 永州市| 田阳县| 兰溪市| 东平县| 麻栗坡县| 富蕴县| 深圳市| 云龙县| 苍南县| 华蓥市| 林芝县| 龙海市| 岳阳县| 周至县| 六安市| 迭部县| 上林县| 平原县| 大埔区| 崇阳县| 西丰县| 仁寿县| 安福县| 马边| 南开区| 七台河市| 巴彦淖尔市| 平泉县| 萍乡市| 丘北县| 东乌珠穆沁旗| 五寨县| 祁东县| 武功县| 凌海市| 鹰潭市|