Join Our Newsletter
19 search results - page 1 / 4 » Deriving a simulation input generator and a coverage metric ... |
DAC
2002
ACM
11 years 3 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
ICCD
2001
IEEE
10 years 11 months ago
2001
IEEE
We present a simulation-based semi-formal veriļ¬cation method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
CODES
2004
IEEE
10 years 6 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
UM
2001
Springer
10 years 7 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
UML
2004
Springer
10 years 8 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
