第 1 到 5 筆結果,共 5 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2011 | Bi-decomposition Using SAT and Interpolation | Ruei-Rung Lee; Jie-Hong Rol Jiang; Wei-Lun Hung; JIE-HONG JIANG | ||||
2 | 2011 | Ashenhurst Decomposition Using SAT and Interpolation | Hsuan-Po Lin; Jie-Hong Rol Jiang; Ruei-Rung Lee; JIE-HONG JIANG ; Hsuan-Po Lin;Jie-Hong Rol Jiang;Ruei-Rung Lee | ||||
3 | 2011 | Extracting Functions from Boolean Relations Using SAT and Interpolation | Jie-Hong Rol; Jiang, Hsuan-Po Lin; Wei-Lun Hung; JIE-HONG JIANG | ||||
4 | 2010 | Hardware Equivalence and Property Verification | Jie-Hong R. Jiang; Tiziano Villa; JIE-HONG JIANG | ||||
5 | 2009 | Logic Synthesis in a Nutshell | Jie-Hong R. Jiang; Srinivas Devadas; JIE-HONG JIANG |