Grosse, Daniel and Ebendt, Rüdiger and Drechsler, Rolf (2007) Improvements for Constraint Solving in the SystemC Verification Library. In: Great Lakes Symposium on VLSI, pp. 493-496. GLSVLSI 2007, 2007-03-11, Stresa (Italien).
Full text not available from this repository.
Official URL: http://www.informatik.uni-bremen.de/agra/doc/konf/07glsvlsi_scv_improvements.pdf
Abstract
For verification of complex system-on-chip designs often constraint-based randomization is used. This allows to simulate scenarios that may be difficult to generate manually. For the system description language SystemC the SystemC Verification (SCV) Library has been introduced. Besides advanced verification features like data introspection and transaction recording the SCV library enables constraint-based randomization for SystemC models. However, the SystemC library has two disadvantages that restrict the practical use: There is no support of bit operators in SCV constraints and the SCV constraint solver cannot guarantee a uniform distribution of the constraint solutions. In this paper we provide a detailed analysis of these problems and present solutions that have been integrated in the library.
Item URL in elib: | https://elib.dlr.de/49841/ | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Paper) | ||||||||||||
Additional Information: | Die Arbeit ist an der Universität Bremen entstanden und wurde nach dem Wechsel von Rüdiger Ebendt zum DLR BA veröffentlicht. | ||||||||||||
Title: | Improvements for Constraint Solving in the SystemC Verification Library | ||||||||||||
Authors: |
| ||||||||||||
Date: | 11 March 2007 | ||||||||||||
Journal or Publication Title: | Great Lakes Symposium on VLSI | ||||||||||||
Refereed publication: | Yes | ||||||||||||
Open Access: | No | ||||||||||||
Gold Open Access: | No | ||||||||||||
In SCOPUS: | No | ||||||||||||
In ISI Web of Science: | No | ||||||||||||
Page Range: | pp. 493-496 | ||||||||||||
Status: | Published | ||||||||||||
Keywords: | Computer-Aided Design, VLSI, Verification, SystemC, SCV | ||||||||||||
Event Title: | GLSVLSI 2007 | ||||||||||||
Event Location: | Stresa (Italien) | ||||||||||||
Event Type: | international Conference | ||||||||||||
Event Dates: | 2007-03-11 | ||||||||||||
Organizer: | ACM SIGDA, IEEE CASS | ||||||||||||
HGF - Research field: | Aeronautics, Space and Transport (old) | ||||||||||||
HGF - Program: | Transport | ||||||||||||
HGF - Program Themes: | other | ||||||||||||
DLR - Research area: | Transport | ||||||||||||
DLR - Program: | V - no assignment | ||||||||||||
DLR - Research theme (Project): | V - no assignment | ||||||||||||
Location: | Berlin-Adlershof | ||||||||||||
Institutes and Institutions: | Institute of Transportation Systems > Traffic Management | ||||||||||||
Deposited By: | Ebendt, Dr.rer.nat. Rüdiger | ||||||||||||
Deposited On: | 11 Nov 2008 | ||||||||||||
Last Modified: | 27 Apr 2009 14:04 |
Repository Staff Only: item control page