Volume 24; Issue 2

IEEE Design & Test of Computers

Volume 24; Issue 2
1

Combining Theorem Proving with Model Checking through Predicate Abstraction

Year:
2007
Language:
english
File:
PDF, 575 KB
english, 2007
2

A Survey of Hybrid Techniques for Functional Verification

Year:
2007
Language:
english
File:
PDF, 456 KB
english, 2007
3

Advertiser/Product Index

Year:
2007
Language:
english
File:
PDF, 131 KB
english, 2007
4

Call for Papers

Year:
2007
Language:
english
File:
PDF, 28 KB
english, 2007
5

Call for Papers

Year:
2007
File:
PDF, 444 KB
2007
6

Call for Papers: Special Issue on Design and Test of RFIC Chips

Year:
2007
Language:
english
File:
PDF, 28 KB
english, 2007
7

CEDA Currents

Year:
2007
Language:
english
File:
PDF, 96 KB
english, 2007
8

CiSE Subscription Information

Year:
2007
File:
PDF, 62 KB
2007
9

Conference Reports

Year:
2007
Language:
english
File:
PDF, 358 KB
english, 2007
10

DATC Newsletter

Year:
2007
Language:
english
File:
PDF, 128 KB
english, 2007
11

Economic Aspects of Memory Built-in Self-Repair

Year:
2007
Language:
english
File:
PDF, 1.07 MB
english, 2007
12

Cocktail approach to functional verification

Year:
2007
Language:
english
File:
PDF, 224 KB
english, 2007
13

[Front cover]

Year:
2007
File:
PDF, 260 KB
2007
14

FSA SiP Market and Patent Analysis Report

Year:
2007
Language:
english
File:
PDF, 828 KB
english, 2007
17

Hybrid Verification of Protocol Bridges

Year:
2007
Language:
english
File:
PDF, 791 KB
english, 2007
19

IEEE Computer Society Digital Library Information

Year:
2007
File:
PDF, 272 KB
2007
20

IEEE Computer Society Information

Year:
2007
Language:
english
File:
PDF, 193 KB
english, 2007
21

IEEE Computer Society Membership Information

Year:
2007
File:
PDF, 380 KB
2007
22

Losing control

Year:
2007
Language:
english
File:
PDF, 69 KB
english, 2007
23

Masthead

Year:
2007
Language:
english
File:
PDF, 38 KB
english, 2007
24

On the cusp of a validation wall

Year:
2007
Language:
english
File:
PDF, 885 KB
english, 2007
25

Panel Summaries

Year:
2007
Language:
english
File:
PDF, 97 KB
english, 2007
27

Table of Contents

Year:
2007
Language:
english
File:
PDF, 243 KB
english, 2007
28

Test Technology TC Newsletter

Year:
2007
Language:
english
File:
PDF, 109 KB
english, 2007