Browsing by Author "Yang, YC"

Now showing 1 - 3 of 3

An effective physical synthesis technique for multiplier
(2003)
Wang, CY
;
Yang, YC
;
Jon, JY
;
電子工程學系及電子研究所
;
Department of Electronics Engineering and Institute of Electronics
This paper presents an effective multiplier synthesis algorithm for cell-based multipliers. By using a novel tree generation algorithm with timing consideration for each vertical compressor slice(VCS), our synthesizer generates multipliers automatically with very promising results.
Formal compliance verification of interface protocols
(2005)
Yang, YC
;
Huang, JD
;
Yen, CC
;
Shih, CH
;
Jou, JY
Verifying whether a building block conforms to certain interface protocol is one of the important steps while constructing an SoC However, most existing methods have their own limitations. Simulation-based methods have the false positive problem while formal property checking methods may suffer from memory explosion and excessive runtime. In this paper, we propose a novel branch-and-bound algorithm for interface protocol compliance verification. The properties of the interface protocol are specified as a specification FSM, and the interface logic is formally verified at the higher FSM level. Using the FSM for property specification is relatively systematic than using other proprietary property languages, which greatly reduces the possibility of incomplete property identification. And it is shown theoretically and experimentally that the proposed algorithm can finish in reasonable time complexity.
Retaining walls damaged in the Chi-Chi earthquake
(2003-12-01)
Fang, YS
;
Yang, YC
;
Chen, TJ
;
土木工程學系
;
Department of Civil Engineering
This paper investigates the failure of three gravity walls due to the 1999 Chi-Chi earthquake. Characteristics of the damaged walls were carefully recorded and backfill materials behind the damaged walls were collected and tested in the laboratory. Both the simplified analysis based on the Mononobe-Okabe method and the simplified dynamic analysis based on the Richards-Elms method were adopted. For the first case, the sliding of concrete wall blocks along the construction joint was observed. It was found that, during the earthquake, the frictional resistance at the untreated construction joint was not sufficient to resist the dynamic lateral thrust. For the second case, the retaining wall settled significantly and tilted about its toe. Seismic analysis of the wall indicated that, under the same horizontal acceleration, the factor of safety against bearing capacity failure was lower than that against overturning and sliding. A stability check against bearing capacity failure for the retaining wall should never be neglected. For the third case, the retaining wall built on top of the Che-Lung-Pu fault was severely damaged by the fault rupture. During the earthquake, the vertical displacement of the hanging wall uplifted the backfill, causing the wall to overturn. Horizontal displacement of the hanging wall caused the wall to slide and the soil in front of the toe to heave.