220 search results - page 7 / 44 » Estimating functional coverage in bounded model checking |
UAI
2004
15 years 12 days ago
2004
Recent research has made significant progress on the problem of bounding log partition functions for exponential family graphical models. Such bounds have associated dual paramete...
ICNP
2007
IEEE
15 years 5 months ago
2007
IEEE
—We propose a new probabilistic coverage protocol (denoted by PCP) that considers probabilistic sensing models. PCP is fairly general and can be used with different sensing model...
111
click to vote
DATE
2009
IEEE
15 years 5 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
DSD
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— We study the downlink coverage of a base station terminal (BST), which has access to a relay node. Continuing a previous study in which the BST is assumed to provide a variable...