504 search results - page 69 / 101 » Explaining Verification Conditions |
ICFEM
1997
Springer
14 years 2 days ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
ICCAD
1994
IEEE
14 years 1 days ago
1994
IEEE
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
ACMACE
2007
ACM
13 years 12 months ago
2007
ACM
Given the interactive media characteristics and intrinsically motivating appeal, computer games are often praised for their potential and value in education. However, comprehensiv...
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
DATE
2009
IEEE
13 years 11 months ago
2009
IEEE
Traditional digital circuit synthesis flows start from an HDL behavioral definition and assume that circuit functions are almost completely defined, making don't-care conditio...