19 search results - page 2 / 4 » fmcad 2004 |
141
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
128
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...
150
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
We present a functional approach, based on the ACL2 logic, for the specification of system on a chip communication architectures. Our decomposition of the communications allows the...
132
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Late changes in silicon design (ECO) is a common although undesired practice. The need for ECO exists even in high-level design flows since bugs may occur in the specifications, ...
139
click to vote
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...