research
∙
09/21/2023
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP
Arbitrary-precision integer multiplication is the core kernel of many ap...
share
research
∙
08/19/2023
Accelerating Exact Combinatorial Optimization via RL-based Initialization – A Case Study in Scheduling
Scheduling on dataflow graphs (also known as computation graphs) is an N...
research
∙
06/20/2023
LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks
To lower the barrier to diffractive optical neural networks (DONNs) desi...
research
∙
04/25/2023
Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture
Recently, there are increasing efforts on advancing optical neural netwo...
research
∙
04/10/2023
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs
Deep neural networks (DNNs) have substantial computational and memory re...
research
∙
04/04/2023
Physics-aware Roughness Optimization for Diffractive Optical Neural Networks
As a representative next-generation device/circuit technology beyond CMO...
research
∙
03/14/2023
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks
Reasoning high-level abstractions from bit-blasted Boolean networks (BNs...
research
∙
09/28/2022
Physics-aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks
Diffractive optical neural networks (DONNs) have attracted lots of atten...
research
∙
02/15/2022
End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit
Recent years have seen increasing employment of decision intelligence in...
research
∙
12/16/2020
Multi-Task Learning in Diffractive Deep Neural Networks via Hardware-Software Co-design
Deep neural networks (DNNs) have substantial computational requirements,...
research
∙
11/17/2020
Contrastive Weight Regularization for Large Minibatch SGD
The minibatch stochastic gradient descent method (SGD) is widely applied...
research
∙
04/15/2019
Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets
Physical design process commonly consumes hours to days for large design...
research
∙
01/09/2019
Spectral Approach to Verifying Non-linear Arithmetic Circuits
This paper presents a fast and effective computer algebraic method for a...
research
∙
11/14/2018
Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning
Due to the increasing complexity of Integrated Circuits (ICs) and System...
research
∙
09/17/2018
Algorithmic Obfuscation over GF(2^m)
Galois Field arithmetic blocks are the key components in many security a...
research
∙
04/16/2018
Developing Synthesis Flows Without Human Knowledge
Design flows are the explicit combinations of design transformations, pr...
research
∙
02/16/2018
Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering
Galois field (GF) arithmetic circuits find numerous applications in comm...
research
∙
08/31/2017
Advanced Datapath Synthesis using Graph Isomorphism
This paper presents an advanced DAG-based algorithm for datapath synthes...
research
∙
12/14/2016
Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic
Current techniques for formally verifying circuits implemented in Galois...
research
∙
11/16/2016
