Merger debuts with verification tools

被引：0

作者：

Moretti, G

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

页码：22 / 22

页数：1

共 50 条

[1] 'Lab-to-fab' merger debuts
不详
[J]. MICRO, 2002, 20 (10): : 24 - 24
[2] Molecular devices debuts detection tools
Arnaud, CH
Thayer, AM
[J]. CHEMICAL & ENGINEERING NEWS, 2006, 84 (11) : 39 - 39
[3] Merger survival tools
不详
[J]. WORKFORCE, 1999, 78 (10): : 29 - 29
[4] TransEDA debuts new verification solutions at DAC 2001
Neale, R
[J]. ELECTRONIC ENGINEERING, 2001, 73 (894): : 12 - 12
[5] Verification IP debuts for PCI-X2.0 spec
Moretti, G
[J]. EDN, 2002, 47 (22) : 18 - 18
[6] CADRE MICROCASE MERGER INTEGRATES TOOLS
HARDING, B
[J]. COMPUTER DESIGN, 1989, 28 (06): : 9 - +
[7] Tools for verification and validation
[J]. 2005, Springer Verlag, Heidelberg, D-69121, Germany (3436 LNCS):
[8] Merger announced between NAP tools and Gladu
不详
[J]. INDUSTRIAL DIAMOND REVIEW, 2006, (03): : 7 - 7
[9] SOFTWARE TOOLS AND THEIR VERIFICATION BY EXPERIMENTS
OSTERMEYER, GP
[J]. VEHICLE SYSTEM DYNAMICS, 1993, 22 (3-4) : 123 - 139
[10] Verification tools for transactional programs
Cristal, Adrian
Ozkan, Burcu Kulahcioglu
Cohen, Ernie
Kuru, Ismail
Unsal, Osman
Tasiran, Serdar
Mutluergil, Suha Orhun
Elmas, Tayfun
[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 8913 : 283 - 306