Bo-Han Wu

Learn More
Functional rectification in late design stages has been a crucial process in modern complex system design. 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. The SAT proof minimization(More)
Constrained random simulation is becoming the mainstream methodology in functional verification. In order to achieve the verification closure, a high-throughput and evenly-distributed constrained random pattern generator has become a must. In this paper, we propose a novel Range-Splitting heuristic and a Solution-Density Estimation technique (RSSDE) to(More)
To verify system-wide properties on SoC designs in Constrained Random Verification (CRV), the default set of constraints to generate patterns could be overridden frequently through the complex testbench. It usually results in the degradation of pattern generation speed because of low hit-rate problems. In this paper, we propose a technique to preprocess the(More)
  • Korea Kang, Sang-Gu, Kim Kyung-Ii, Adnan Al-Jaber, Anoop Nautiyal, Bo-Han Wu +10 others
  • 2013
communications and global connectivity for all your unmanned applications. The possibilities are unlimited. Coordinates is an initiative of cGIT that aims to broaden the scope of positioning, navigation and related technologies. cGIT does not neccesarily subscribe to the views expressed by the authors in this magazine and may not be held liable for any(More)
Constrained random verification (CRV) methodology has been identified as an efficient solution to functional verification challenges. In practical cases, it is required to implement constraints with variable ordering to put essential efforts on cared patterns. However, handling constraints with variable ordering may encounter performance degradation of(More)
This paper investigates the existing spatial-temporal interference suppression methods which attempt to mitigate interference before the GNSS receiver performs correlation. These methods comprise non-blind signal processing techniques and blind signal processing techniques by using the antenna array. Also, an extensive comparison of these techniques for(More)
—A useful graphical output from the statistical inventory mathematics is the expected cost versus service level exchange curve. Such graphs demonstrate the nonlinear relationship between increasing cost and service level given the constraints on the business. The curve represents the operating objective and many managers refer to this curve as the efficient(More)
  • 1