Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Rafael Trapani Possignolo

dblp:57/10596 · DBLP profile ↗
← Back
14ranked-venue papers
7as first author
0since 2021 · last 2020
0000-0002-5777-474XORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Systems, architecture and hardware · 10 · 5 first-authorSoftware engineering, systems software and programming languages · 2Theory of computation · 2 · 1 first-authorSecurity and privacy · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Computer architecture, parallel and distributed computing, and storage systems
4 papers
Electronic design automation · 39% Integrated circuit design · 19% Energy-efficient computing · 17%
Computer networks
1 paper
Wireless networking · 100%

Topics — the 8 heaviest of 10, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Electronic design automation › logic synthesis
incremental synthesis
0.722019
SMatch: Structural Matching for Fast Resynthesis in FPGAs · DAC 2019
LiveSynth: Towards an Interactive Synthesis Flow · DAC 2017
Electronic design automation
logic synthesis
0.722019
SMatch: Structural Matching for Fast Resynthesis in FPGAs · DAC 2019
LiveSynth: Towards an Interactive Synthesis Flow · DAC 2017
Reconfigurable computing and FPGAs
FPGA design flow
0.522019
SMatch: Structural Matching for Fast Resynthesis in FPGAs · DAC 2019
LiveSynth: Towards an Interactive Synthesis Flow · DAC 2017
Integrated circuit design › electromagnetic compatibility
electromagnetic interference
0.412019
EMI Architectural Model and Core Hopping · MICRO 2019
Energy-efficient computing
power delivery
0.212016
Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016
Integrated circuit design › power delivery network
voltage regulator
0.212016
Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016
Energy-efficient computing › power delivery
voltage stacking
0.212016
Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016
Energy-efficient computing
power management
0.112016
Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016

Methods — techniques the papers use, named apart from their topics

EMI modeling · 0.8structural matching · 0.4incremental elaboration · 0.4incremental synthesis · 0.3voltage stacking · 0.2
YearPublicationVenuePosition
2020 LiveSim: A Fast Hot Reload Simulator for HDLs
abstract
With the increased complexity of digital architectures and aggregation of specialized hardware, functional simulation has become a major bottleneck in digital design. During functional and performance verification of a design, engineers make several iterations to determine the impact of code changes into the simulation result. These iterations are time-consuming both because the compilation time of hardware description to binary is slow and because simulation can take several hours until the point of interest is reached. In contrast, live programming environments allow developers to manipulate the system under development as it is being run. They have become increasingly popular as they provide rapid feedback, yet there is no available live environment for hardware development. In this paper, we propose a live programming and simulation environment that targets hardware design. Our approach is language-independent and leverages incremental compilation, hot binary reloading, and checkpointing to provide fast feedback to the user. We take special care to not replicate code for multiple instances of the same module and thus prevent code bloat, for instance, for multi-and many-core architectures. Our framework also is careful in verifying the consistency across checkpoints, to leverage parallel execution and reduce the amount of code that requires compilation. Our results show that this approach can provide simulation feedback in under 2 seconds, even when simulating a 256 RISC-V multicore architecture. As a reference, Verilator did not finish compiling this architecture after 24 hours of runtime.
Haven Blake Skinner, Rafael Trapani Possignolo, Sheng-Hong Wang, Jose Renau
ISPASS2
2019 SMatch: Structural Matching for Fast Resynthesis in FPGAs
abstract
Designers wait several hours to get synthesis, placement and routing results even for small changes. Commercial FPGA flows allow for resynthesis after code changes, however, they target large code changes with not so effective incremental flows. Wepropose SMatch, a flow for FPGAs that has a novel incremental elaboration and novel incremental FPGA placement and routing that improves the state-of-the-art by reducing the amount of placement and routing work needed. We evaluate our approach against commercial FPGAs flows. Our method finishes synthesis, placement, and routing in under 30s for most changes of publicly available benchmarks with negligible QoR impact, being over 20× faster than existing incremental FPGA flows.
Rafael Trapani Possignolo, Jose Renau
DAC1
2019 EMI Architectural Model and Core Hopping
abstract
Processors radiate electromagnetic interference (EMI), which affects wireless communication technologies. However, despite the fact that the EMI generated by a processor is deterministic, architecturally modeling the EMI has proven to be a complex challenge. Moreover, EMI depends on the physical layout of the processor and on the binary being executed (both the application and its compilation options).
Daphne I. Gorman, Rafael Trapani Possignolo, Jose Renau
MICRO2
2018 GPU NTC Process Variation Compensation With Voltage Stacking
Rafael Trapani Possignolo, Elnaz Ebrahimi 0001, Ehsan K. Ardestani, Alamelu Sankaranarayanan, José Luis Briz, Jose Renau
IEEE Trans. Very Large Scale Integr. Syst.1
2017 LiveSynth: Towards an Interactive Synthesis Flow
abstract
Currently, one of the major bottlenecks in digital design is synthesis. Each iteration of a design takes several hours to synthesize, putting pressure on designers to carefully consider when to submit jobs and wait for the delayed feedback. This delay is especially important in FPGA emulation, when synthesis is performed frequently while fixing the system functionality. This work proposes LiveSynth, a different approach for digital design with relatively quick feedback after small, incremental changes. Our approach delivers results with close-to-optimal quality--within a few seconds of processing time in most cases. LiveSynth was able to improve synthesis time by about 10x with minimal impact on QoR.
Rafael Trapani Possignolo, Jose Renau
DAC1
2017 Level shifter design for voltage stacking
abstract
As chips increase in complexity with ever increasing power consumption, pressure in efficient power delivery mechanism such as multi-VDD, voltage stacked and DVS continues to rise. The main objective is to reduce the overall current delivered to the chip. For instance, in voltage stacking, if the circuit is stacked in 2 levels and supply voltage is doubled, the current drawn will be reduced by half. Hence, the same amount of power is delivered, but with half the current. With the prevalence of systems using those techniques, level shifters will have to be optimally designed to perform fast with low power. As the number of level shifters grows, area consumption becomes another design factor. This study explores different types of existing level shifters for voltage stacking application, their optimal sizing and energy, delay and area trade-offs. It includes effect the of PVT variation as another design factor and its impact on delay and energy consumption. We will also propose modifications to the best energy-delay level shifter to reduce its area overhead.
Elnaz Ebrahimi 0001, Rafael Trapani Possignolo, Jose Renau
ISCAS2
2017 Liam: an actor based programming model for HDLs
abstract
The Liam paradigm is a collection of constructs aimed at managing latency-insensitive behavior. These constructs are language-agnostic, although implementing them requires integrating them into the compilater. For this paper, we use a custom, Python-like HDL called Pyrope to both provide concise code samples, and because the Pyrope compiler was designed with Liam-integration in mind.
Haven Blake Skinner, Rafael Trapani Possignolo, Jose Renau
MEMOCODE2
2016 Automated extra pipeline analysis of applications mapped to Xilinx UltraScale+ FPGAs
abstract
This paper describes the methodology and algorithms behind extra pipeline analysis tools released in the Xilinx Vivado Design Suite version 2015.3. Extra pipelining is one of the most effective ways to improve performance of FPGA applications. Manual pipelining, however, often requires significant efforts from FPGA designers who need to explore various changes in the RTL and re-run the flow iteratively. The automatic pipelining approach described in this paper, in contrast, allows FPGA users to explore latency vs. performance trade-offs of their designs before investing time and effort into modifying RTL. We describe algorithms behind these tools which use simple cut heuristics to maximize performance improvement while minimizing additional latency and register overhead. To demonstrate the effectiveness of the proposed approach, we analyse a set of 93 commercial FPGA applications and IP blocks mapped to Xilinx UltraScale+ and UltraScale generations of FPGAs. The results show that extra pipelining can provide from 18% to 29% potential Fmax improvement on average. It also shows that the distribution of improvements is bimodal, with almost half of benchmark suite designs showing no improvement due to the presence of large loops. Finally, we demonstrate that highly-pipelined designs map well to UltraScale+ and UltraScale FPGA architectures. Our approach demonstrates 19% and 20% Fmax improvement potential for the UltraScale+ and UltraScale architectures respectively, with the majority of applications reaching their loop limit through pipelining.
Ilya Ganusov, Henri Fraisse, Aaron Ng, Rafael Trapani Possignolo, Sabya Das
FPL4
2016 LiveSynth: Towards an interactive synthesis flow
abstract
The incremental step of LiveSynth reduces synthesis time by about 95% for incremental changes. LiveSynth shifts the paradigm to small, incremental changes and more iterations per day. We advocate for an interactive synthesis flow as a way to boost design productivity.
Rafael Trapani Possignolo, Jose Renau
Hot Chips Symposium1
2016 Fluid Pipelines: Elastic circuitry meets Out-of-Order execution
abstract
Pipeline depth and cycle time are fixed early in the chip design process but their impact can only be assessed when the implementation is mostly done and changing them is impractical. Elastic Systems are latency insensitive systems, and allow changes in the pipeline depth late in the design process with little design effort. Nevertheless, they have significant throughput penalty when new stages are added in the presence of pipeline loops. We propose Fluid Pipelines, an evolution that allows pipeline transformations without a throughput penalty. Formally, we introduce “or-causality” in addition to the already existing “and-causality” in Elastic Systems. It gives more flexibility than previously possible at the cost of having the designer to specify the intended behavior of the circuit. In an Out-of-Order core benchmark, Fluid Pipelines improve the optimal energy-delay point by shifting both performance (by 17%) and energy (by 13%). We envision a scenario where tools would be able to generate different pipeline configurations from the same RTL e.g., low power, high performance.
Rafael Trapani Possignolo, Elnaz Ebrahimi 0001, Haven Blake Skinner, Jose Renau
ICCD1
2016 SRAM voltage stacking
abstract
Current delivery is a major challenge in chip design. Reduction of the nominal voltage due to technology scaling has worsened the problem. Voltage stacking has been proposed as a way to alleviate the problem by delivering power in a serial rather than the conventional parallel way. Several studies have proposed techniques to stack logic designs. This paper applies the voltage stacking technique to SRAMs. By dividing the SRAM into two logic domains, we are able to double the supply voltage VDD while reducing the current draw significantly. Since SRAMs have a predictable activity pattern, each stack consumes the same amount of power, therefore, the stack voltage 2VDD will distribute evenly between the stacks and the current demand will decrease up to 44%. The combined effects of increasing VDD and decreasing current allow the design of Voltage Regulators to be 10%-15% more efficient.
Elnaz Ebrahimi 0001, Rafael Trapani Possignolo, Jose Renau
ISCAS2
2016 Managing Mismatches in Voltage Stacking with CoreUnfolding
abstract
Five percent to 25% of power could be wasted before it is delivered to the computational resources on a die, due to inefficiencies of voltage regulators and resistive loss. The power delivery could benefit if, at the same power, the delivered voltage increases and the current decreases. This article presents CoreUnfolding , a technique that leverages voltage Stacking to improve power delivery efficiency. Our experiments show that about 10% system-wide power can be saved, the voltage regulator area can be reduced by 30%, di / dt improves 49%, and the power pin count is reduced by 40% (≈ 20% reduction in packaging costs), with negligible performance degradation.
Ehsan K. Ardestani, Rafael Trapani Possignolo, José Luis Briz, Jose Renau
ACM Trans. Archit. Code Optim.2
2015 Quantum-assisted QD-CFS signatures
Rafael Trapani Possignolo, Cíntia B. Margi, Paulo S. L. M. Barreto
J. Comput. Syst. Sci.1
2012 A Quantum-classical Hybrid Architecture for Security Algorithms Acceleration
abstract
Since the discovery of Shor's algorithm, the anxiety about quantum computation has increased. A large amount of research has been conducted to discover new algorithms and to build a quantum computer. But it seems that a general purpose quantum computer is far from being achieved. Meanwhile, cryptographers around the world started to look for security algorithms that resist to quantum attacks, but these still need improvement to achieve practical execution time. This work proposes a quantum-classical hybrid architecture, focusing on photonic quantum computers. A small quantum coprocessor implementing the Grover search algorithm is used to perform the search for roots of polynomials in Fpq. This coprocessor is used to accelerate the decoding process of the McEliece cryptosystem.
Rafael Trapani Possignolo, Cíntia B. Margi
TrustCom1