Chun-Ju Yang

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)
  • Zheng Wanga, Hai Yanb, Zongxing Wangc, Yi Zou, Chun-Ju Yang, Swapnajit Chakravartyc +6 others
  • 2015
Integrating photonic waveguide sensors with microfluidics is promising in achieving high-sensitivity and cost-effective biological and chemical sensing applications. One challenge in the integration is that an air gap would exist between the microfluidic channel and the photonic waveguide when the micro-channel and the waveguide intersect. The air gap(More)
A photonic crystal (PC) waveguide based optical filter that enables dense integration of high sensitivity L55 PC microcavities for biosensor microarrays is demonstrated. Photonic crystal (PC) cavities side-coupled to photonic crystal waveguide (PCW) have been demonstrated as a competitive candidate for high-sensitivity biosensors [1-5]. In ref. [5], a(More)
  • 1