DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Improvements for Constraint Solving in the SystemC Verification Library

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


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
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Grosse, DanielUniversität BremenUNSPECIFIED
Drechsler, RolfUniversität BremenUNSPECIFIED
Date:11 March 2007
Journal or Publication Title:Great Lakes Symposium on VLSI
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 493-496
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
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

Help & Contact
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.