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)
  • Liang-Jen Wang, Kang-Chung Yang, Sheng-Yu Lee, Chun-Ju Yang, Ting-Shuo Huang, Tung-Liang Lee +2 others
  • 2016
BACKGROUND Pharmacotherapy is an effective therapeutic option for attention deficit hyperactivity disorder (ADHD). Understanding the patterns of medication treatment is crucial for clinical practice. This study employed nationwide population-based data to elucidate the initiation and persistence of pharmacotherapy (immediate-release methylphenidate(More)
  • 1