公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
1989 | Efficiency Analysis for the Representation of General Boolean Functions Using Ordered Binary Decision Diagrams | Liaw, H.; 林呈祥; Lin, Chen-Shang | Proceedings of National Computer Symposium | | | |
1990 | Efficient Automatic Diagnosis of Digital Circuits | Liaw, H.; Tsaih, J.; 林呈祥; Lin, Chen-Shang | International Conference on Computer Aided Design, Santa Clara, CA(1990.11) | | | |
1987 | A Graph-Based Logic Validation System | Lee, S.; Liaw, H.; 林呈祥; Lin, Chen-Shang | Proceedings of National Computer Symposium | | | |
1993 | On the OBDD-Representation of General Boolean Functions | Liaw, H.; 林呈祥; Lin, Chen-Shang | IEEE Transactions on Computers | | | |
1989 | VVDS:a Verification/Diagnosis System for VHDL | Liaw, H.; Tran, K.; 林呈祥; Lin, Chen-Shang | The 26th Design Automation Conference, Las Vegas | | | |