1856 search results - page 93 / 372 » Formal Dialectic Specification |
129
click to vote
IV
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
118
click to vote
DSD
2002
IEEE
15 years 9 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
123
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
123
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
168
Voted
CLA
2004
15 years 5 months ago
2004
Ontologies, often defined as an explicit specification of conceptualization, are necessary for knowledge representation and knowledge exchange. Usually this means that ontology des...