Michael Hsiao

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 5

Top Topics

Test Generation

Natural Language

Reachability Analysis

Bounded Model Checking

Top Venues

Publications

Aravind Krishnan Varadarajan, Michael Hsiao
RTL Test Generation on Multi-core and Many-Core Architectures. VLSI Design (2019)
Tania Khanna, Michael Hsiao
Guiding RTL Test Generation Using Relevant Potential Invariants. ICCD (2018)
Yue Zhan, Michael Hsiao
A Natural Language Programming Application for Lego Mindstorms EV3. AIVR (2018)
Takondwa Kakusa, Michael Hsiao
Converting Natural Language Text to ROS-Compatible Instruction Base. AIVR (2018)
Tonmoy Roy, Michael Hsiao
Reachability analysis in RTL circuits using k-induction bounded model checking. HLDVT (2017)