| 國立臺灣大學 |
1992-11 |
Test Reduction in Scan-Designed Circuits
|
Lai, W.; Kung, C.; 林呈祥; Lai, W.; Kung, C.; Lin, Chen-Shang |
| 國立臺灣大學 |
1992-11 |
Test Set Compaction for Combinational Circuits
|
Chang, J.; 林呈祥; Chang, J.; Lin, Chen-Shang |
| 淡江大學 |
1992-06-01 |
On the OBDD-representation of general Boolean functions
|
廖賀田; Liaw, Heh-tyan; Lin, Chen-shang |
| 國立臺灣大學 |
1992-03 |
A realization algorithm of asynchronous circuits from STG
|
Lin, Kuan-Jen; Lin, Chen-Shang |
| 國立臺灣大學 |
1992-03 |
Parallel sequence fault simulation for synchronous sequential circuits
|
Kung, Chen-Pin; Lin, Chen-Shang |
| 國立臺灣大學 |
1992-03 |
A Realization Algorithm for Asynchronous Circuits From STG
|
Lin, K.; 林呈祥; Lin, K.; Lin, Chen-Shang |
| 國立臺灣大學 |
1992 |
自動高階合成系統(II)
|
林呈祥; Lin, Chen-Shang |
| 國立臺灣大學 |
1992 |
Identifiability of an Imbedding Unknown Subnetwork
|
林呈祥; Liu, R.; Lin, Chen-Shang; Liu, R. |
| 國立臺灣大學 |
1992 |
On the Verification of State Coding in STGs
|
Lin, K.; 林呈祥; Lin, K.; Lin, Chen-Shang |
| 國立臺灣大學 |
1992 |
智慧型超大型積體電路設計自動化系統(V)
|
闕志達; 龐台銘; 馮武雄; 楊武純; 林呈祥; 賴飛羆(Lai, Fei-Pei); 陳良基(Chen, Liang-Gee); 陳少傑(Chen, Sao-Jie); 郭斯彥(Kuo, Sy-Yen); Chiueh, Tzi-Dar; Parng, Tai-Ming; 馮武雄; Yang, Wu-Chun; Lin, Chen-Shang; 賴飛羆(Lai, Fei-Pei); 陳良基(Chen, Liang-Gee); 陳少傑(Chen, Sao-Jie); 郭斯彥(Kuo, Sy-Yen) |
| 淡江大學 |
1991-12 |
Boolean resubstitution with ATPG
|
張昭憲; Chang, Jau-shien ; 林呈祥; Lin, Chen-shang |
| 國立臺灣大學 |
1991-12 |
Bollean Resubstition with ATPG
|
Chang, J.; 林呈祥; Chang, J.; Lin, Chen-Shang |
| 國立臺灣大學 |
1991-09 |
Automatic Synthesis of Asynchronous Circuits
|
Lin, K.; 林呈祥; Lin, K.; Lin, Chen-Shang |
| 國立臺灣大學 |
1991-05 |
Parallel sequence fault simulation for synchronous sequential circuits
|
Kung, Chen-Pin; Lin, Chen-Shang |
| 國立臺灣大學 |
1991 |
智慧型超大型積體電路設計自動化系統
|
林呈祥; Lin, Chen-Shang |
| 國立臺灣大學 |
1991 |
Parallel Sequence Fault Simulation for Synchronous Sequential Circuits
|
Kung, C.; 林呈祥; Kung, C.; Lin, Chen-Shang |
| 國立臺灣大學 |
1991 |
總計畫:智慧型超大型積體電路設計自動化系統 分項計畫:自動高階合成系統
|
林呈祥; Lin, Chen-Shang |
| 國立臺灣大學 |
1990-12 |
FIPOC:a Finite State Machine Synthesizer
|
Wang, J. P.; 林呈祥; Wang, J. P.; Lin, Chen-Shang |
| 淡江大學 |
1990-11 |
Efficient automatic diagnosis of digital circuits
|
廖賀田; Liaw, Heh-tyan ; Tsaih, Jia-horng ; Lin, Chen-shang |
| 國立臺灣大學 |
1990-07 |
Topological Testability Conditions for Analog Fault Daignosis
|
林呈祥; Lin, Chen-Shang |
| 國立臺灣大學 |
1990 |
Efficient Automatic Diagnosis of Digital Circuits
|
Liaw, H.; Tsaih, J.; 林呈祥; Liaw, H.; Tsaih, J.; Lin, Chen-Shang |
| 淡江大學 |
1989-12 |
Efficiency analysis for the representation of general boolean functions using ordered binary decision diagram
|
廖賀田; Liaw, Heh-tyan ; Lin, Chen-shang |
| 國立臺灣大學 |
1989-12 |
Efficiency Analysis for the Representation of General Boolean Functions Using Ordered Binary Decision Diagrams
|
Liaw, H.; 林呈祥; Liaw, H.; Lin, Chen-Shang |
| 淡江大學 |
1989-06 |
VVDS : a verification/diagnosis system for VHDL
|
廖賀田; Liaw, Heh-tyan ; Tran, Kim-thu ; Lin, Chen-shang |
| 國立臺灣大學 |
1989 |
VVDS:a Verification/Diagnosis System for VHDL
|
Liaw, H.; Tran, K.; 林呈祥; Liaw, H.; Tran, K.; Lin, Chen-Shang |
| 國立臺灣大學 |
1989 |
智慧型超大型積體電路設計自動化系統(II)
|
賴飛羆; 林呈祥; Lai, Fei-Pei; Lin, Chen-Shang |
| 國立臺灣大學 |
1988-06 |
Automatic Functional Test Program Generation for Microprocessors
|
林呈祥; Ho, H.; Lin, Chen-Shang; Ho, H. |
| 國立臺灣大學 |
1988 |
Width Minimization for Microprogram Control Store
|
Shou, David; 林呈祥; Shou, David; Lin, Chen-Shang |
| 國立臺灣大學 |
1987-09 |
A Fault Grader
|
Chen, T. H.; 馮武雄; 林呈祥; Chen, T. H.; Feng, Wu-Shiung; Lin, Chen-Shang |
| 淡江大學 |
1987-01 |
A graph based logic validation system
|
Lee, Shyh-horng; 廖賀田; Liaw, Heh-tyan; Lin, Chen-shang |
| 國立臺灣大學 |
1987 |
A Graph-Based Logic Validation System
|
Lee, S.; Liaw, H.; 林呈祥; Lee, S.; Liaw, H.; Lin, Chen-Shang |
| 國立臺灣大學 |
1987 |
A Testing Tool Based on LSSD
|
Lee, K.; Chang, C.; 林呈祥; Lee, K.; Chang, C.; Lin, Chen-Shang |
| 國立臺灣大學 |
1987 |
Three Tools for VLSI Design
|
林呈祥; Cheng, S.; Kong, S.; Huang, S.; Parng, T.; Lin, Chen-Shang; Cheng, S.; Kong, S.; Huang, S.; Parng, T. |
| 國立臺灣大學 |
1987 |
整合式超大型積體電路設計系統
|
于惠中; 龐台銘; 林呈祥; Yu, Hui-Jung; Parng, Tai-Ming; Lin, Chen-Shang |
| 國立臺灣大學 |
1987 |
智慧型超大型積體電路設計自動化系統
|
林呈祥; Lin, Chen-Shang |
| 國立臺灣大學 |
1986-12 |
A Low-Ripple Switching-Mode Power Amplifier
|
Shieh, F.; 林呈祥; Pan, C.; Shieh, F.; Lin, Chen-Shang; Pan, C. |
| 國立臺灣大學 |
1986 |
A Ratio-Independent Switched-Capacitor Algorithmic A/D Convertor
|
Tsai, J.; 林呈祥; Tsai, J.; Lin, Chen-Shang |
| 國立臺灣大學 |
1986 |
Petri Net Application to Functional Fault Diagnosis
|
Liu, R.; Huang, Q.; 林呈祥; Ammar, H.; Yuang, Y.; Liu, R.; Huang, Q.; Lin, Chen-Shang; Ammar, H.; Yuang, Y. |
| 國立臺灣大學 |
1985 |
A Switch-Level Fault Simulator for MOS Digital ICs
|
Hwang; 林呈祥; Hwang; Lin, Chen-Shang |
| 國立臺灣大學 |
1985 |
Modelling and Measurement of A Zero-Ripple Switching Convertor
|
Chu; 林呈祥; Chu; Lin, Chen-Shang |
