51 search results - page 1 / 11 » Automatic Verification of Parametric Specifications with Com... |
CORR
2010
Springer
13 years 11 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
CSREAESA
2004
14 years 18 days ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
ENTCS
2008
13 years 11 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
ACSD
2006
IEEE
14 years 2 months ago
2006
IEEE
Dynamic communication systems (DCS) are complex because of their unboundedness in several dimensions. They have an unbounded and changing number of objects, a dynamically changing...
DAC
2002
ACM
15 years 5 days ago
2002
ACM
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...