Paper-Conference

A Unified Approach to Canonical Form-based Boolean Matching
In this paper, we face the problem of P-equivalence Boolean matching. We outline a formal framework that unifies some of the canonical …
Cite DOI
An efficient cost-based canonical form for Boolean matching
Cite
A Data-Path Oriented, IP-Based Framework for flexible Design Exploration
Cite
Adaptive Metrics for System-Level Functional Partitioning
Cite
A Data Oriented Approach to the Design of Reconfigurable Stream Decoders
Cite DOI
A SoC-Based Methodology for Cycle-Accurate RTOS System Call Timing Characterization
Cite
AES power attack based on induced cache miss and countermeasure
This paper presents a new attack against a software implementation of the Advanced Encryption Standard. The attack aims at flushing …
Cite DOI URL
An Area Estimation Methodology for FPGA Based Designs at SystemC-Level
This paper presents a parametric area estimation methodology ‘at SystemC level for FPGA-based designs. The ap proach is conceived …
Cite DOI URL
Analysis and Modeling of Energy Reducing Source Code Transformations
This paper presents a methodology and a set of models supporting energy-driven source-to-source transformations. The most promising …
Cite DOI URL
A Flexible Framework for Fast Multi-Objective Design Space Exploration of Embedded Systems
The evaluation of the best system-level architecture in terms of energy and performance is of mainly importance for a broad range of …
Cite DOI URL