45 search results - page 2 / 9 » Automatic Modeling and Validation of Pipeline Specifications... |
HT
2004
ACM
13 years 10 months ago
2004
ACM
In this paper, we present a model-driven methodology and toolset for automatic generation of hypertext system repositories. Our code generator, called Bamboo, is based on a Contai...
FIW
1998
13 years 6 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
DAC
1999
ACM
14 years 5 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
ER
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
FDL
2007
IEEE
13 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...