维普期刊资源整合服务平台（V6.5）

40篇 您的检索式：期刊名="Design Automation Conference"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Fully automatic test program generation for microprocessor cores 显示文摘	Como F Cumani G Reorda M S	2003	Design Automation and Test in Europe Conference and Exhibition2003，，：	1
2	Design of a SPDIF Receiver Using Protocol Compiler显示文摘	Holtmann U Blinzer P	1998	Design Automation Conference1998，，7：	1
3	A study in coverage-driven test generation 显示文摘	Benjamin M Geist D Hartman A	1999	Design Automation Conference1999，，：	1
4	Using C based logic synthesis to bridge the productivity gap显示文摘	Sullivan C Wilson A Chappell S	2004	Design Automation Conference2004，，：	1
5	An octree based heuristic algorithm for 3-D packing显示文摘	Dai Z Cha J	1994	In Advances in Design Automation 1994: Proceedings of the 20th ASME Design Automation Conference1994，，2：	1
6	The generation of contact surfaces of indexing cam mechanisms a unified approach 显示文摘	PALACIOS G ANGELES J	1990	Proc ASME Design Automation Conference Advances in Design Automation1990，2，：	1
7	Designing systems-on-chip using cores显示文摘	Reinaldo A B William R L	2000	Annual ACM IEEE Design Automation Conference Proceedings of 37th conference on design automation2000，，：	1
8	Essential issues for IP reuse显示文摘	Gajski D D Wu A C	2000	Design Automation Conference2000，3742，：	1
9	A Synthesizablc IP Core for DVB-S2 LDPCCode Decoding显示文摘	Frank Kienle Torben Brack Norbert When	2005	Proceedings of the conference on Design Automation and Test in Europe2005，，03：	1
10	Automated synthesis of data paths in digitalsystems显示文摘	Tseng C J Siewiorek J P	1983	20th Design Automation Conference1983，31，4：	1
11	Hybrid Approach for Optimal Nesting Using a Genetic Algorithm and a Local Minimization Algorithm 显示文摘	Kikuo Fujita Shinsuke Akagi Noriyasu Hirokawa	1993	In Proceedings of the 19th Annual ASME Design Automation Conference Albuquerque NM USA1993，1993，：	1
12	Code Generation and Analysis for the Functional Verification of Microprocessor显示文摘	HOSSEINI A DIMMITRIOS	1996	Design Automation Conference Proceedings 96 ''1996，，：	1
13	Iterative and Adaptive Slack Allocation for Performance2driven Layout and FPGA Routing 显示文摘	Jon F rank le	1992	29th ACM IEEE Design Automation Conference 1992:536 - 5421992，29，：	1
14	SPIN:A Scalable,Packet Switched,On-Chip Micro-Network显示文摘	Adrijean Adriahantenaina Herve Charlery Alain Greiner	2003	Proceedings of the conference on Design Automation and Test in Europe:Designers''Forum March 03-072003，2003，20：	1
15	Dynamic power management for nonstationary service requests 显示文摘	Chung Euiyoung Benini L	1999	Design Automation and Test in Europe Conference and Exhibition1999，7781，：	1
16	Equivalence Checking Using Cuts and Heaps显示文摘	Kuehlmann Andreas	1997	Proceedings of Design Automation Conference Anaheim USA1997，1997，：	1
17	Learning from BDDs in SAT-based Bounded Model Checking 显示文摘	Gupta Aarti Ganai Malay Wang Chao Yang Zijiang Ashar Pranav	2003	Proceedings of ACM/IEEE Design Automation Conference California USA2003，2003，：	1
18	A Circuit SAT Solver with Signal Correlation Guided Learning显示文摘	Lu Feng Wang Li-C Cheng K-T Huang Ric C-Y	2003	Proceedings of Design Automation b- Test Conference in Europe Paris France2003，2003，：	1
19	A Signal Correlation Guided ATPG Solver And Its Ap- plications For Solving Difficult Industrial Cases显示文摘	Lu Feng Wang Li-C Cheng Kwang-Ting Moondanos John Hanna Ziyad	2003	Proceedings of Design Automation Conference California USA2003，，：	1
20	The generation of contact surfaces of indexing cam mechanisms a unified approach显示文摘	Angeles J	1990	Proc ASME Design Automation Conference Advances in Design Automation1990，2，：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示