154 search results - page 7 / 31 » A Formal Verification Approach for IP-based Designs |
131
click to vote
CCS
2009
ACM
15 years 5 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
104
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
133
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
125
click to vote
DAC
2009
ACM
16 years 2 months ago
2009
ACM
Continuously shrinking feature sizes result in an increasing susceptibility of circuits to transient faults, e.g. due to environmental radiation. Approaches to implement fault tol...
157
Voted
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...