1446 search results - page 154 / 290 » Formal analysis of hardware requirements |
NGITS
1999
Springer
14 years 2 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
BMCBI
2006
13 years 10 months ago
2006
Background: The analysis of biochemical networks using a logical (Boolean) description is an important approach in Systems Biology. Recently, new methods have been proposed to ana...
CAV
2009
Springer
14 years 11 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
CAV
1999
Springer
14 years 2 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
ACSD
2004
IEEE
14 years 2 months ago
2004
IEEE
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...