| 國立臺灣大學 |
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 |
