• Publications
  • Influence
A robust functional ECO engine by SAT proof minimization and interpolation techniques
TLDR
This paper proposes a robust functional ECO engine, which applies SAT proof minimization and interpolation techniques to automate patch construction to make old implementation and golden specification functionally equivalent. Expand
  • 32
  • 1
  • PDF
A robust general constrained random pattern generator for constraints with variable ordering
TLDR
We provide a preprocessing technique to analyze solution space by adaptively splitting ranges of variables and prove the feasibility of each subspace to enhance pattern generation speed and ensure the desired distribution. Expand
  • 6
  • 1
A Dynamic Cooperative Scheme with Multiple Antennas for Indoor Mobile Robot Localization
This paper proposes a spatial cooperative diversity and decision-making technique to enhance signal detection and indoor mobile robot positioning performance of a global positioning satellite systemExpand
  • 2
  • 1
  • PDF
Analysis of Performance and Implementation Complexity of Array Processing in Anti-Jamming GNSS Receivers
This paper investigates the existing spatial-temporal interference suppression methods which attempt to miti- gate interference before the GNSS receiver performs correlation. These methods compriseExpand
  • 5
Toward an extremely-high-throughput and even-distribution pattern generator for the constrained random simulation techniques
TLDR
We propose a novel Range-Splitting heuristic and a Solution-Density Estimation technique (RSSDE) to partition sample space to generate a high-throughput and evenly-distributed constrained random pattern generator. Expand
  • 6
A High-Throughput and Arbitrary-Distribution Pattern Generator for the Constrained Random Verification
TLDR
We propose a novel range-splitting heuristic and a solution-density estimation technique to conquer the challenges of random pattern generators proposed in the recent literature. Expand
  • 4
Generative Attention Learning: a "GenerAL" framework for high-performance multi-fingered grasping in clutter
TLDR
Generative Attention Learning (GenerAL) is a framework for high-DOF multi-fingered grasping that is not only robust to dense clutter and novel objects but also effective with a variety of different parallel-jaw and multi-fingerered robot hands. Expand
  • 3
  • PDF
Quantum-Computing Architecture based on Large-Scale Multi-Dimensional Continuous-Variable Cluster States in a Scalable Photonic Platform
TLDR
A scalable and experimentally viable architecture for generating timefrequency-multiplexed 3D CV cluster states and utilizing them for large-scale quantum computing. Expand
  • 6
  • PDF
VLSI Architecture for Low Power Turbo Decoder using Adaptive Sliding Window Algorithm
TLDR
In this paper, a new decoding algorithm using adaptive sliding window is proposed. Expand
  • 1
A robust constraint solving framework for multiple constraint sets in Constrained Random Verification
TLDR
We propose a technique to preprocess the solution space under each constraint set under Constrained Random Verification (CRV) to accelerate pattern generation under multiple constraint sets. Expand
  • 2