• 제목/요약/키워드: Functional verification

검색결과 336건 처리시간 0.023초

멀티미디어 처리에 적합한 SIMD 곱셈누적 연산기의 설계 (SIMD Multiply-accumulate Unit Design for Multimedia Data Processing)

  • 홍인표;정재원;정우경;이용석
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2000년도 추계종합학술대회 논문집(2)
    • /
    • pp.349-352
    • /
    • 2000
  • In this paper, a SIMD 64bit MAC (Multiply -Accumulate) unit is designed. It is composed of two 32bit MAC unit which supports SIMD 16bit operations. As a result, It can process two 32bit MAC operations or four 16bit operations in one cycle. Proposed MAC unit is described in Verilog HDL. After functional verification is performed, MAC unit is synthesized and optimized with 0.35$\mu\textrm{m}$ standard cell library. The synthesis result shows that this MAC unit can operate at 80㎒ of clock frequency in 85$^{\circ}C$, 3.0V, worst case process and 125㎒ of clock frequency at 25$^{\circ}C$, 3.3V, typical case process. It achieves 320Mops of performance, and is suitable for embedded DSP processors.

  • PDF

C 언어를 이용한 PCI Express 동작 모델 설계 및 검증 (Design And Verification Of A PCI Express Behavioral Model Using C Language)

  • 예상영;현유진;성광수
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2003년도 하계종합학술대회 논문집 II
    • /
    • pp.811-814
    • /
    • 2003
  • Today's and tomorrow's processors and I/O devices are demanding much higher I/O bandwidth than PCI 2.3 or PCI-X can deliver and it is time to engineer a new generation of PCI to serve as a standard I/O bus for future generation platforms. According to this demand the PCI SIG proposed PCI Express. This paper describes about the design of PCI Express Behavioral Model. A Behavioral Model enables the designers to test whether the design specifications are met by performing computer simulations rather than experiments on the physical prototype. In the proposed Model, we can verify whether our design concept satisfies the PCI Express functional protocol.

  • PDF

Internet Gateway System과 Call Simulator 구현 (Implementation of Internet Gateway System and Call Simulator)

  • 이응주;이찬희
    • 대한전자공학회:학술대회논문집
    • /
    • 대한전자공학회 2000년도 추계종합학술대회 논문집(3)
    • /
    • pp.161-164
    • /
    • 2000
  • This paper presents an implementation of internet gateway system, named AX-2000 and call simulator. AX-2000 plays a important role in internet telephony technology and is composed of various board such as MPU, AVU. DVU, AMU. FXS, FXO, EM. Also AX-2000 supports G.729.a, G.723.1 for voice compression, G3 FAX Relay(T.38) and H.323. A capability of AX-2000 is 8 analog voice channel or 30 digital voice channel. For functional verification of AX-2000 voice interface, call simulator is designed. The call simulator makes actual call path between SUT(system under test) and reference AX-2000 system, then through call path examines functions of voice interface.

  • PDF

궤도차량 실내디자인 형상화를 위한 구성요인간의 상관성 연구 (A Study on the Correlation between Constituents of Designing the Interior of FRT)

  • 한석우;진미자;목재균;문경호
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2005년도 춘계학술대회 논문집
    • /
    • pp.274-280
    • /
    • 2005
  • Future-oriented train design should be able to provide highly refined traffic culture and public transportation service by achieving 'higher value addition, sensitization, and humanization' and then securing safety, convenience, and amenity. Therefore, design of FRT, as a means of environment-friendly public transportation, should have new concepts achieving harmony between design and technology. Consequently, when designing interior of trains for public transportation, it should aim for user-centered strategies. This approach is essentially applied to vehicle design and inducement to new concepts by design aesthetics and their verification become requirements for train Interior design, which should be equipped with sensitivity and functional images. Accordingly, a study on the correlation between constituents in order to implement design is essential to design planning and realization of strategies.

  • PDF

인공위성 전장품의 열설계 검증을 위한 해석 및 실험적 연구 (An Analysis and Experimental Study for Thermal Design Verification of Satellite Electronic Equipment)

  • 김정훈;전형열;양군호
    • 한국전산유체공학회:학술대회논문집
    • /
    • 한국전산유체공학회 2005년도 춘계 학술대회논문집
    • /
    • pp.91-95
    • /
    • 2005
  • A heat dissipation modeling method of EEE parts is developed for thermal design and analysis of an satellite electronic equipment. The power consumption measurement value of each functional breadboard is used for the heat dissipation modeling method. For the purpose of conduction heat transfer modeling of EEE parts, surface heat model using very thin ignorable thermal plates is developed instead of conventional lumped capacity nodes. The thermal plates are projected to the printed circuit board and can be modeled and modified easily by numerically preprocessing programs according to design changes. These modeling methods are applied to the thermal design and analysis of CTU and verified by thermal cycling and vacuum tests.

  • PDF

변화관리요인이 변화관리성숙도와 정보시스템의 성공적 수행에 미치는 영향에 관한 실증적 연구 (An Empirical Study on the Influence of Change Management Factors on the Change Management Maturity and Successful Information Systems)

  • 김영곤
    • 한국IT서비스학회지
    • /
    • 제9권1호
    • /
    • pp.1-25
    • /
    • 2010
  • Many organizations are facing larger and more frequent changes in the current economic and managerial environment. And what is more, change is supposed to be a business as usual. Considering the importance of change management process and the organizational competency to rapidly and successfully change, in this study the components of change management maturity(CMM) was selected such as the leadership, communication, resistance, people culture factor, methodology, functional group, and change review. And information system performance affected by CMM is confined to the efficiency and effectiveness of information systems. Some results from the verification of research hypotheses and the analysis of the most appropriate model was drawn out. The result of this study can be applied to all organizations which plan to manage more successful change and implement more effective information systems.

기능성 마감재로서 현무암 석분슬러지를 재활용한 드라이몰탈의 성능검증 (Verification of Capacity of Dry-mortar Recycled Blast Sludge as Functional Finishing Material)

  • 고동우
    • 복합신소재구조학회지
    • /
    • 제5권4호
    • /
    • pp.21-28
    • /
    • 2014
  • 최근 증가하는 현무암 석분슬러지를 건설재료로 재활용하기 위한 방안으로, 시멘트 몰탈에서 잔골재의 일부를 현무암석분슬러지로 대체한 후, 기능성 마감재로서의 성능을 검증한 결과 다음과 같은 결과를 얻었다. 1. 현무암 석분슬러지를 포함한 몰탈의 휨인장강도와 압축강도는, 대체율 21%에 도달할 때까지 압축 및 휨인장강도는 일반 시벤트몰탈 대비 각각 47%와 35% 증가하였다. 2. 원적외선 방사율에 있어서도 기존몰탈보다 높은 0.933까지 이르렀으며, 이 수치는 기타 기능성 마감재보다 우수한 원적외선 방사율을 나타내는 것이다. 3. 음이온 방사량은 현무암석분의 대체율에 따른 일관된 경향을 보이지는 않았으나, 일반 시멘트몰탈 보다는 5% ~ 12% 증가효과가 나타났다. 4. 기존 시멘트몰탈의 잔골재의 21%를 현무암석분슬러지로 대체할 경우, 시멘트 몰탈보다 물리적 성질이 증가 함과 동시에, 기능성몰탈로서의 원적외선 방사율, 음이온 방사량의 증진효과가 있었다. 또한 새로운 건축자재의 생산을 통한 경제적 이득은 물론, 산업폐기물의 양을 줄일 수 있다.

  • PDF

열선 절단 방식을 적용한 비폭발식 무충격 구속분리장치 EM의 기능검증 (Functional Verification of Engineering Model of Non-explosive Shockless Holding and Release Mechanism Using Heating Wire Cutting Method)

  • 오현웅;전수현
    • 한국소음진동공학회논문집
    • /
    • 제23권5호
    • /
    • pp.401-406
    • /
    • 2013
  • Non-explosive shockless holding and release mechanism for a nano class small satellite application has been proposed and investigated. The great advantages of the mechanism are a much lower shock level and larger constraint force than the conventional mechanism using pyro and the heating wire cutting mechanism which has been generally applied to the cube satellite program. To investigate the effectiveness of the mechanism design, EM mechanism was developed and tested to verify the basic function of the mechanism. The test results indicate that the proposed mechanism is well functioning as the mechanism design intends.

폴리에스터 고강력사를 이용한 요트용 세일의 제조 및 성능분석 (Preparation of Yacht Sail Using High Tenacity Polyester and Its Performance Evaluation)

  • 손현식;심승범;민문홍
    • 한국염색가공학회지
    • /
    • 제24권1호
    • /
    • pp.54-61
    • /
    • 2012
  • This study surveyed the preparation of 8oz coated fabric and the physical property of the coated fabric according to the treated condition for the sail yacht. And the coated fabrics were compared with the performance of overseas products for verification. Physical properties of the coated fabric treated with non-yellowing functional polyurethane resin were examined according to the treatment condition such as compression and ageing treatments. Finally, yellowing fastness to light for 60 hours was assessed. Considering the compression condition after coating, good physical property was obtained at $6kgf/cm^2$. Also, the performance of yellowing fastness was similar to performance of overseas goods.

함수적 변환을 이용한 SMIL2.0 문서의 검증 (Verification of SMIL 2.0 Document using a Functional Transformation)

  • 김경덕
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (C)
    • /
    • pp.284-287
    • /
    • 2007
  • 본 논문에서는 다양한 상호작용을 가지는 멀티미디어 문서인 SMIL 2.0 문서를 함수적 변환을 이용하여 문서의 검증방법을 제안한다. SMIL 2.0 문서는 기존 SMIL 1.0보다 더 많은 시간 관계의 기술 방법을 제공함으로서 문서 작성의 융통성은 높아지지만 상호작용에 따른 잠재적인 모순의 발생 가능성은 더욱 높다. 특히 비결정행위에 따른 미디어 객체간 상호 참조 및 이벤트 참조에 따라 발생할 수 있는 모순 검증이 필요하다. 제안하는 검증 방범은 SMIL 2.0 문서를 함수적 표현으로 변환하고 객체간 상호참조를 탐색하여 모순 유무를 나타내는 검증 프로토타입이다. 적용 예로는 상호작용을 가지는 멀티미디어 문서의 검증이다.

  • PDF