2488 search results - page 9 / 498 » An improvement in formal verification |
ENTCS
2006
13 years 9 months ago
2006
The traditional approach to validate analog circuits is to utilize extensive SPICElevel simulations. The main challenge of this approach is knowing when all important corner cases...
ISSTA
1998
ACM
14 years 1 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
DAC
2005
ACM
13 years 11 months ago
2005
ACM