The Use of UML Sequence Diagram for System-on-Chip System Level Transaction-based Functional Verification

Yu, Jie; Li, Tun; Tan, Qing

doi:10.1109/wcica.2006.1714269

Cited by 8 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Most of them, like [24], [13] and [1] favor formal specification languages as UML or SDL. However, in the hardware domain, which constitutes an important portion of embedded systems, most of the designs are specified in a document-based way.…”

Section: Related Workmentioning

confidence: 99%

Specification-based Verification of Embedded Systems by Automated Test Case Generation

Kirchsteiger

Trummer

Steger

et al.

Distributed Embedded Systems: Design, Middleware and Resources

View full text Add to dashboard Cite

It is time and resource intensive to derive test cases manually from the requirements specification to fully verify that the embedded system design fulfills its specification. However, automatic parsing to generate test cases is often not possible due to the informal, non-machine readable structure of the specification document. Formal specification languages would ease the parsing process, however they are difficult to use and rarely accepted. A promising trade-off are semi-formal specification languages, which are both easy-to-parse and easy-to-use. This paper presents a novel approach developed in the SIMBA 1 project to tightly integrate a semi-formal requirements specification document into the design flow of embedded system designs. It considers the specification as a series of semiformal textual use cases and automatically generates specification-based SystemC test cases. During a simulation with the System-under-Verification (SuV) the test cases are executed to determine whether the SuV fulfills the specification. A demonstration is given by a case study of an RFID controller. It shows that errors in the specification and discrepancies between the design and its specification are detected.

show abstract

Section: Related Workmentioning

confidence: 99%