Showing 1 - 2 results of 2 for search 'Phone, Thet Khaing.', query time: 0.02s Refine Results
  1. 1
    Design and implementation of formal verification methodology using Boolean satisfiability

    Design and implementation of formal verification methodology using Boolean satisfiability by Phone, Thet Khaing.

    Published 2011
    Get full text
    Final Year Project (FYP)
  2. 2
    Extracting functional modules from flattened gate-level netlist

    Extracting functional modules from flattened gate-level netlist by Shi, Yiqiong, Gwee, Bah Hwee, Ren, Ye, Phone, Thet Khaing, Ting, Chan Wai

    Published 2013
    Get full text
    Get full text
    Conference Paper

Search Tools: