Skip to main content

8 Result(s)

within Nicola Bombieri Remove this filter Engineering Remove this filter

and

  1. No Access

    Book

    Smart Systems Integration and Simulation

    Nicola Bombieri, Massimo Poncino… (2016)

  2. No Access

    Chapter

    Introduction

    Smart Systems represent a broad class of systems defined as intelligent, miniaturized devices incorporating functionality like sensing, actuation, and control. In order to support these functions, they must in...

    Nicola Bombieri, Graziano Pravadelli in Smart Systems Integration and Simulation (2016)

  3. No Access

    Article

    Reusing RTL Assertion Checkers for Verification of SystemC TLM Models

    The recent trend towards system-level design gives rise to new challenges for reusing existing (RTL) intellectual properties (IPs) and their verification environment in (TLM). While techniques and tools to abs...

    Nicola Bombieri, Franco Fummi, Valerio Guarnieri… in Journal of Electronic Testing (2015)

  4. No Access

    Article

    On the Reuse of Heterogeneous IPs into SysML Models for Integration Validation

    The paper proposes an integrated methodology to abstract already existing heterogeneous IPs into SysML behavioral equivalent models. This approach aims at integrating the abstracted components with partially s...

    Nicola Bombieri, Emad Ebeid, Franco Fummi, Michele Lora in Journal of Electronic Testing (2013)

  5. No Access

    Article

    On the Reuse of TLM Mutation Analysis at RTL

    Mutation analysis has gained consensus during the last decades as being an efficient technique for measuring the quality of SW testbench. More recently, it has been efficiently applied for validating testbench...

    Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri… in Journal of Electronic Testing (2012)

  6. No Access

    Article

    FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction

    Functional verification techniques based on fault injection and simulation at register-transfer level (RTL) have been largely investigated in the past years. Although they have various advantages such as scala...

    Nicola Bombieri, Franco Fummi, Valerio Guarnieri in Journal of Electronic Testing (2012)

  7. No Access

    Article

    HDTLib: an efficient implementation of SystemC data types for fast simulation at different abstraction levels

    SystemC is the de-facto standard language for system-level modeling, architectural exploration, performance analysis, software development, and functional verification of embedded systems. Nevertheless, it has...

    Nicola Bombieri, Franco Fummi, Valerio Guarnieri… in Design Automation for Embedded Systems (2012)

  8. Article

    Open Access

    HIFSuite: Tools for HDL Code Conversion and Manipulation

    HIFSuite ia a set of tools and application programming interfaces (APIs) that provide support for modeling and verification of HW/SW systems. The core of HIFSuite is the HDL Intermediate Format (HIF) language ...

    Nicola Bombieri, Giuseppe Di Guglielmo… in EURASIP Journal on Embedded Systems (2010)

    Download PDF (655 KB) View Article