Search Results for author:
Found 4 papers, 0 papers with code
Adaptive Reconvergence-driven AIG Rewriting via Strategy Learning
Rewriting is a common procedure in logic synthesis aimed at improving the performance, power, and area (PPA) of circuits.
Fast Exact NPN Classification with Influence-aided Canonical Form
NPN classification has many applications in the synthesis and verification of digital circuits.
$Radar^2$: Passive Spy Radar Detection and Localization using COTS mmWave Radar
Specifically, we propose a novel \textit{Frequency Component Detection} method to detect the existence of mmWave signals, distinguish between mmWave radar and WiGig signals using a waveform classifier based on a convolutional neural network (CNN), and localize spy radars using triangulation based on the detector's observations at multiple anchor points.
Enhanced Fast Boolean Matching based on Sensitivity Signatures Pruning
In this paper, we introduce Boolean sensitivity into Boolean matching and design several sensitivity-related signatures to enhance fast Boolean matching.
