EDBT 2026 Demo / reviewers in the wild / expert
Rafael Trapani Possignolo
dblp:57/10596
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Electronic design automation › logic synthesis
incremental synthesis |
0.7 | 2 | 2019 | SMatch: Structural Matching for Fast Resynthesis in FPGAs · DAC 2019 LiveSynth: Towards an Interactive Synthesis Flow · DAC 2017 |
Electronic design automation
logic synthesis |
0.7 | 2 | 2019 | 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.5 | 2 | 2019 | 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.4 | 1 | 2019 | EMI Architectural Model and Core Hopping · MICRO 2019 |
Energy-efficient computing
power delivery |
0.2 | 1 | 2016 | Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016 |
Integrated circuit design › power delivery network
voltage regulator |
0.2 | 1 | 2016 | Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016 |
Energy-efficient computing › power delivery
voltage stacking |
0.2 | 1 | 2016 | Managing Mismatches in Voltage Stacking with CoreUnfolding · ACM Trans. Archit. Code Optim. 2016 |
Energy-efficient computing
power management |
0.1 | 1 | 2016 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2020 | LiveSim: A Fast Hot Reload Simulator for HDLsabstractWith 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 |
ISPASS | 2 |
| 2019 | SMatch: Structural Matching for Fast Resynthesis in FPGAsabstractDesigners 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 |
DAC | 1 |
| 2019 | EMI Architectural Model and Core HoppingabstractProcessors 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 |
MICRO | 2 |
| 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 FlowabstractCurrently, 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 |
DAC | 1 |
| 2017 | Level shifter design for voltage stackingabstractAs 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 |
ISCAS | 2 |
| 2017 | Liam: an actor based programming model for HDLsabstractThe 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 |
MEMOCODE | 2 |
| 2016 | Automated extra pipeline analysis of applications mapped to Xilinx UltraScale+ FPGAsabstractThis 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 |
FPL | 4 |
| 2016 | LiveSynth: Towards an interactive synthesis flowabstractThe 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 Symposium | 1 |
| 2016 | Fluid Pipelines: Elastic circuitry meets Out-of-Order executionabstractPipeline 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 |
ICCD | 1 |
| 2016 | SRAM voltage stackingabstractCurrent 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 |
ISCAS | 2 |
| 2016 | Managing Mismatches in Voltage Stacking with CoreUnfoldingabstractFive 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 AccelerationabstractSince 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 |
TrustCom | 1 |