Sciweavers

Share
DAC   2002 Design Automation Conference
Wall of Fame | Most Viewed DAC-2002 Paper
DAC
2002
ACM
9 years 11 months ago
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
Mike Bartley, Darren Galpin, Tim Blackmore
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
IdReadViewsTitleStatus
1Download preprint from source233
2Download preprint from source179
3Download preprint from source171
4Download preprint from source170
5Download preprint from source169
6Download preprint from source162
7Download preprint from source161
8Download preprint from source152
9Download preprint from source152
10Download preprint from source151
11Download preprint from source149
12Download preprint from source148
13Download preprint from source143
14Download preprint from source142
15Download preprint from source142
16Download preprint from source140
17Download preprint from source138
18Download preprint from source137
19Download preprint from source136
20Download preprint from source136
21Download preprint from source135
22Download preprint from source134
23Download preprint from source134
24Download preprint from source132
25Download preprint from source131
26Download preprint from source131
27Download preprint from source129
28Download preprint from source128
29Download preprint from source127
30Download preprint from source126
31Download preprint from source126
32Download preprint from source124
33Download preprint from source123
34Download preprint from source122
35Download preprint from source116
36Download preprint from source116
37Download preprint from source114
38Download preprint from source114
39Download preprint from source114
40Download preprint from source113
41Download preprint from source112
42Download preprint from source111
43Download preprint from source111
44Download preprint from source110
45Download preprint from source108
46Download preprint from source108
47Download preprint from source106
48Download preprint from source103
49Download preprint from source102
50Download preprint from source101
51Download preprint from source101
52Download preprint from source100
53Download preprint from source99
54Download preprint from source98
55Download preprint from source98
56Download preprint from source95
57Download preprint from source95
58Download preprint from source95
59Download preprint from source95
60Download preprint from source95
61Download preprint from source95
62Download preprint from source94
63Download preprint from source93
64Download preprint from source93
65Download preprint from source92
66Download preprint from source92
67Download preprint from source91
68Download preprint from source89
69Download preprint from source89
70Download preprint from source89
71Download preprint from source88
72Download preprint from source88
73Download preprint from source86
74Download preprint from source86
75Download preprint from source86
76Download preprint from source85
77Download preprint from source82
78Download preprint from source81
79Download preprint from source76
80Download preprint from source70
81Download preprint from source67
82Download preprint from source67
books