Guided lightweight Software test qualification for IP integration using Virtual Prototypes

Große, Daniel; Le, Hoang M.; Hassan, Muhammad; Drechsler, Rolf

doi:10.1109/iccd.2016.7753347

Search citation statements

Order By: Relevance

Paper Sections

Select...

Challenges1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2022

Publication Types

Select...

Book2

Other1

Relationship

Self Cite1

Independent2

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Further reading: [26], [27], [28], [29], [30], [31] Formal verification at ESL: Formal verification at the Electronic System Level (ESL) is inevitable since virtual prototyping has become industrial practice today. Despite the substantial progress on formal VP verification as discussed in Section III-A, the existing techniques still need further improvements to scale to full VP systems.…”

Section: Challengesmentioning

confidence: 99%

Verifying next generation electronic systems

Drechsler

Grose

2017

2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS)

Self Cite

View full text Add to dashboard Cite

The application domains of electronic systems range from consumer devices to safety-critical systems. Of course, for systems of the latter areas a thorough verification is required. However, due to increasing complexity, verification is still the major bottleneck. Hence, new approaches are required. In this paper the state-of-theart on verification is reported. Furthermore, recent developments are listed and finally the most pressing challenges for industry and academia are identified. I.

show abstract