Object-oriented software engineering
Object-oriented software engineering
Logic Synthesis and Verification Algorithms
Logic Synthesis and Verification Algorithms
An object-oriented design process for system-on-chip using UML
Proceedings of the 15th international symposium on System Synthesis
Using a formal specification and a model checker to monitor and direct simulation
Proceedings of the 40th annual Design Automation Conference
Verification of UML-Based Real-Time System Designs by Means of cTLA
ISORC '00 Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A SoC Design Methodology Involving a UML 2.0 Profile for SystemC
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Integrating UML into SoC Design Process
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
A UML 2.0 profile for SystemC: toward high-level SoC design
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the conference on Design, automation and test in Europe
Proceedings of the 20th annual conference on Integrated circuits and systems design
SystemC/C-based model-driven design for embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Verification Techniques for System-Level Design
Verification Techniques for System-Level Design
Reactivity in systemC transaction-level models
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
SAMOS'05 Proceedings of the 5th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Modelling systemc process behavior by the UML method state machines
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
| Hi-index | 0.00 |
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. The consistency and completeness of the specification is validated based on the formal UML model. The implementation is validated by a systematic derivation of test scenarios and specification based coverage metrics from the UML model. The method has been applied to the design of a new media-processing chip for mobile devices. The application of the method shows that it is not only effective for finding logical errors in the implementation, but also eliminates errors due to inconsistency and incompleteness of the specification.