Transaction-Level Modeling with Systemc: Tlm Concepts and Applications for Embedded Systems

Virtual prototyping of embedded platforms for wireless and multimedia

Proceedings of the conference on Design, automation and test in Europe: Proceedings

SystemC transaction level models and RTL verification

Proceedings of the 43rd annual Design Automation Conference

Towards a C++-based design methodology facilitating sequential equivalence checking

Proceedings of the 43rd annual Design Automation Conference

Overview of the MPSoC design challenge

Proceedings of the 43rd annual Design Automation Conference

Programming models and HW-SW interfaces abstraction for multi-processor SoC

Proceedings of the 43rd annual Design Automation Conference

GreenBus: a generic interconnect fabric for transaction level modelling

Proceedings of the 43rd annual Design Automation Conference

A framework for heterogeneous specification and design of electronic embedded systems in SystemC

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL

Proceedings of the conference on Design, automation and test in Europe

System level assessment of an optical NoC in an MPSoC platform

Proceedings of the conference on Design, automation and test in Europe

Design for verification in system-level models and RTL

Proceedings of the 44th annual Design Automation Conference

System on Chips optimization using ABV and automatic generation of SystemC codes

Microprocessors & Microsystems

MOCDEX: multiprocessor on chip multiobjective design space exploration with direct execution

EURASIP Journal on Embedded Systems

Embedded software development on top of transaction-level models

CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis

Pointer re-coding for creating definitive MPSoC models

CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis

A computational reflection mechanism to support platform debugging in SystemC

CODES+ISSS '07 Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis

42: programmable models of computation for a component-based approach to heterogeneous embedded systems

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering

System-platforms-based SystemC TLM design of image processing chains for embedded applications

EURASIP Journal on Embedded Systems

An open-source binary utility generator

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Automatic re-coding of reference code into structured and analyzable SoC models

Proceedings of the 2008 Asia and South Pacific Design Automation Conference

Design space exploration of IEEE 802.11n using SystemC

IMCAS'07 Proceedings of the 6th WSEAS International Conference on Instrumentation, Measurement, Circuits and Systems

Parallel programming of multi-processor SoC: a HW-SW interface perspective

International Journal of Parallel Programming - Special Issue on Multiprocessor-based embedded systems

Challenges in using system-level models for RTL verification

Proceedings of the 45th annual Design Automation Conference

Graph based test case generation for TLM functional verification

Microprocessors & Microsystems

A method for the efficient development of timed and untimed transaction-level models of systems-on-chip

Proceedings of the conference on Design, automation and test in Europe

Industrial IP integration flows based on IP-XACT™ standards

Proceedings of the conference on Design, automation and test in Europe

A system model for formal verification of TLM based transaction properties

SpringSim '07 Proceedings of the 2007 spring simulaiton multiconference - Volume 1

Virtual Development Environment Based on SystemC for Embedded Systems

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part IV: ICCS 2007

A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS

FM '08 Proceedings of the 15th international symposium on Formal Methods

Multi-Processor SoC-Based Design Methodologies Using Configurable and Extensible Processors

Journal of Signal Processing Systems

MCF: a metamodeling-based component composition framework-composing SystemC IPs for executable system models

IEEE Transactions on Very Large Scale Integration (VLSI) Systems

System-on-chip environment: a SpecC-based framework for heterogeneous MPSoC design

EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems

Combining UML2 application and SystemC platform modelling for performance evaluation of real-time embedded systems

EURASIP Journal on Embedded Systems - C-Based Design of Heterogeneous Embedded Systems

Processor Description Languages

Processor Description Languages

A design flow based on a domain specific language to concurrent development of device drivers and device controller simulation models

Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems

An evaluation of dynamic partial reconfiguration for signal and image processing in professional electronics applications

EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing

Exploration and Rapid Prototyping of DSP Applications using SystemC Behavioral Simulation and High-level Synthesis

Journal of Signal Processing Systems

Contract-Based Coordination of Hardware Components for the Development of Embedded Software

COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages

BRICK: a multi-context expression grained reconfigurable architecture

Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes

A platform-based design framework for joint SW/HW multiprocessor systems design

Journal of Systems Architecture: the EUROMICRO Journal

Formal and executable contracts for transaction-level modeling in SystemC

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software

Using binary translation in event driven simulation for fast and flexible MPSoC simulation

CODES+ISSS '09 Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis

A novel verification technique to uncover out-of-order DUV behaviors

Proceedings of the 46th Annual Design Automation Conference

Full simulation coverage for SystemC transaction-level models of systems-on-a-chip

Formal Methods in System Design

Fast and accurate processor models for efficient MPSoC design

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Architecture level simulation of IEEE 802.11N MAC using SystemC

AsiaCSN '08 Proceedings of the Fifth IASTED International Conference on Communication Systems and Networks

Verification of an industrial systemC/TLM model using LOTOS and CADP

MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign

An open framework for rapid prototyping of signal processing applications

EURASIP Journal on Embedded Systems - Special issue on design and architectures for signal and image processing

Dynamic binary translation specialized for embedded systems

Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments

Test coverage for loose timing annotations

FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology

A systemC/TLM semantics in PROMELA and its possible applications

Proceedings of the 14th international SPIN conference on Model checking software

An automatically-retargetable time-constraint-driven instruction scheduler for post-compiling optimization of embedded code

SAMOS'07 Proceedings of the 7th international conference on Embedded computer systems: architectures, modeling, and simulation

Open-architecture system based on a reconfigurable hardware-software multi-agent platform for CNC machines

Journal of Systems Architecture: the EUROMICRO Journal

Predicting energy and performance overhead of real-time operating systems

Proceedings of the Conference on Design, Automation and Test in Europe

Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs

Proceedings of the Conference on Design, Automation and Test in Europe

Componentizing hardware/software interface design

Proceedings of the Conference on Design, Automation and Test in Europe

Test exploration and validation using transaction level models

Proceedings of the Conference on Design, Automation and Test in Europe

Sealable compile-time scheduler for multi-core architectures

Proceedings of the Conference on Design, Automation and Test in Europe

Sysfier: Actor-based formal verification of SystemC

ACM Transactions on Embedded Computing Systems (TECS)

Multiprocessor on chip: beating the simulation wall through multiobjective design space exploration with direct execution

IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing

TLM automation for multi-core design

Proceedings of the 2010 Asia and South Pacific Design Automation Conference

Platform modeling for exploration and synthesis

Proceedings of the 2010 Asia and South Pacific Design Automation Conference

Multi-objective topology synthesis and FPGA prototyping framework of application specific network-on-chip

Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI

Simulation-based equivalence checking between SystemC models at different levels of abstraction

Proceedings of the 21st edition of the great lakes symposium on Great lakes symposium on VLSI

Concurrency-oriented verification and coverage of system-level designs

ACM Transactions on Design Automation of Electronic Systems (TODAES)

Event-driven configuration of a neural network CMP system over an homogeneous interconnect fabric

Parallel Computing

Runtime verification of typical requirements for a space critical SoC patform

FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems

Correct and non-defensive glue design using abstract models

CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Standards for system level design

Proceedings of the International Conference on Computer-Aided Design

HLA-based simulation environment for distributed SystemC simulation

Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques

ESL Design and Verification: A Prescription for Electronic System Level Methodology

ESL Design and Verification: A Prescription for Electronic System Level Methodology

MoPCoM methodology: focus on models of computation

ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications

Computer-Aided Recoding to Create Structured and Analyzable System Models

ACM Transactions on Embedded Computing Systems (TECS)

Automatic RTL Test Generation from SystemC TLM Specifications

ACM Transactions on Embedded Computing Systems (TECS)

A state-based modeling approach for efficient performance evaluation of embedded system architectures at transaction level

Journal of Electrical and Computer Engineering - Special issue on ESL Design Methodology

Formal Analysis of SystemC Designs in Process Algebra

Fundamenta Informaticae

A systematic approach to configurable functional verification of HW IP blocks at transaction level

Computers and Electrical Engineering

Completeness-driven development

ICGT'12 Proceedings of the 6th international conference on Graph Transformations

Efficient execution of networked MPSoC models by exploiting multiple platform levels

International Journal of Reconfigurable Computing - Special issue on Selected Papers from the Symposium on Integrated Circuits and Systems Design (SBCCI 2011)

A HW/SW co-verification framework for SystemC

ACM Transactions on Embedded Computing Systems (TECS) - Special section on ESTIMedia'12, LCTES'11, rigorous embedded systems design, and multiprocessor system-on-chip for cyber-physical systems

A shared matrix unit for a chip multi-core processor

Journal of Parallel and Distributed Computing

PASES: An energy-aware design space exploration framework for wireless sensor networks

Journal of Systems Architecture: the EUROMICRO Journal

Automatic generation of high-speed accurate TLM models for out-of-order pipelined bus

ACM Transactions on Embedded Computing Systems (TECS) - Special Section on ESTIMedia'10

Performance evaluation of an automotive distributed architecture based on a high speed power line communication protocol using a transaction level modeling approach

Journal of Real-Time Image Processing