A Framework for the Functional Verification of SystemC Models

Bruschi, Francesco; Ferrandi, Fabrizio; Sciuto, Donatella
December 2005
International Journal of Parallel Programming;Dec2005, Vol. 33 Issue 6, p667
Academic Journal
The problems of error simulation, error model evaluation, and test generation are faced considering the peculiar features of SystemC. In particular, error simulation are considered in the perspective of the transaction level modelling (TLM) capabilities of this emerging system level design language to obtain a coherent, environment for functional verification. The error simulation is accomplished without any modification of the native simulation engine, thus avoiding the problem of upgrading the error simulator together with the language simulation engine. Moreover, error modelling and error simulation tasks are orthogonalized in this approach. With the support of this environment, a test pattern generation algorithm for SystemC descriptions of systems made of interacting Finite State Machines (FSMs) is developed. The approach is based on the definition of the transitions, that represent ordered sets of statements executed within one clock cycle. Through different state sequence paths enumeration strategies, interesting behaviors of the system are obtained.


Related Articles

  • PIPELINED LANGUAGE MODEL CONSTRUCTION FOR POLISH SPEECH RECOGNITION. SAS, JERZY; ŻOŁNIEREK, ANDRZEJ // International Journal of Applied Mathematics & Computer Science;Sep2013, Vol. 23 Issue 3, p649 

    The aim of works described in this article is to elaborate and experimentally evaluate a consistent method of Language Model (LM) construction for the sake of Polish speech recognition. In the proposed method we tried to take into account the features and specific problems experienced in...

  • Networks of evolutionary processors: the power of subregular filters. Dassow, Jürgen; Manea, Florin; Truthe, Bianca // Acta Informatica;Feb2013, Vol. 50 Issue 1, p41 

    In this paper, we propose a hierarchy of families of languages generated by networks of evolutionary processors where the filters belong to several special classes of regular sets. More precisely, we show that the use of filters from the class of ordered, non-counting, power-separating,...

  • Computer Simulation of Nonuniform MTLs via Implicit Wendroff and State-Variable Methods.  // Radioengineering;Apr2011, Vol. 20 Issue 1, p221 

    No abstract available.

  • Effective Fault Diagnosis Approaches for Multipath Networks. Po-Jen Chuang; Huey-Ming Hsu // Computer Journal;Jul1999, Vol. 42 Issue 5, p409 

    Fault diagnosis is important for the immediate elimination of faults in a network. Over the years the diagnosis of faults for a single path network is frequently reported but that for a multipath network remains relatively unattended. The goal of this research is to detect faults in the gamma...

  • A Hybrid Approach to Chinese Word Segmentation. Bing Chen; Xiaoying Tai // Proceedings of the International Symposium on Information System;2009, p154 

    Proposed an approach of Chinese word segmentation based on statistic and rules. The approach tags the potential named entities that like personal name, place name, organization name etc at first, then uses the segmentation approach based on lexicon and employs segmentation based on statistics...

  • UML-Based Performance Engineering Possibilities and Techniques. Dimitrov, Evgeni; Schmietendorf, Andreas; Dumke, Reiner // IEEE Software;Jan/Feb2002, Vol. 19 Issue 1, p74 

    Analyzes Uniform Modeling Language (UML)-based approach to performance modeling. Examination of a system's performance from the earliest phases of development; Requirements for a UML-based approach; Group of tools that support UML expansions.

  • An Approach and Mechanism for Auditable and Testable Advanced Transaction Processing Systems. Schultz, Roger D.; Cardenas, Alfonso F. // IEEE Transactions on Software Engineering;Jun87, Vol. 13 Issue 6, p666 

    An architectural approach and a software mechanism is presented to enhance the auditability and testability of advanced transaction processing EUP systems. A high degree of auditability can be achieved through integrated support of auditability mechanisms as op- posed to the traditional...

  • Comparative Study of Performance in Cryptography Algorithms (Blowfish and Skipjack). Milad, Ali Ahmad; Muda, Hjh Zaiton; Noh, Zul Azri Bin Muhamad; Algaet, Mustafa Almahdi // Journal of Computer Science;2012, Vol. 8 Issue 7, p1191 

    Problem statement: The main goal guiding the design of any encryption algorithm needs to be secured against unauthorized attacks. For all applied applications, performance and the cost of implementations are also important concerns. A data encryption algorithm would not be of much use if it is...

  • Modelling and Verification of Compensating Transactions using the Spin Tool. Kaiyu Wan; Kapoor, Hemangee K.; Das, Shirshendu; Raju, B.; Krilavičius, Tomas; Ka Lok Man // International MultiConference of Engineers & Computer Scientists;2012, Vol. 2, p1 

    Complex transactions are part of the most commonly used systems. Substantial part of such transactions are business transactions. Usually, they coordinate complex interaction among multiple systems, so called Long Running Transactions (LRT). Well known roll-back mechanism does not suffice to...


Read the Article


Sign out of this library

Other Topics