Author Search Results

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

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 or Workshop Item