• Journal of KIISE:Computing Practices and Letters
• /
• v.6 no.4
• /
• pp.448-456
• /
• 2000

As the system complexity increases, it is important to develop high-level verification techniques for fast and efficient design verifications. In this research, fast verification techniques for hardware and software co-design systems have been developed by using logic emulation and algorithm-level simulation. For faster and superior functional verification, we partition the system being designed into hardware and software parts, and implement the divided parts by using interface modules. We also propose several hardware design techniques for efficient hardware emulation. Experimental results, obtained by using a Reed-Solomon decoder system, show that our new verification methodology is more than 12,000 times faster than a commercial simulation tool for the modified Euclid's algorithm block and the overall verification time is reduced by more than 50%.

• ETRI Journal
• /
• v.35 no.3
• /
• pp.480-490
• /
• 2013

As technology evolves into the deep submicron level, synchronous circuit designs based on a single global clock have incurred problems in such areas as timing closure and power consumption. An asynchronous circuit design methodology is one of the strong candidates to solve such problems. To verify the feasibility and efficiency of a large-scale asynchronous circuit, we design a fully clockless 32-bit processor. We model the processor using an asynchronous HDL and synthesize it using a tool specialized for asynchronous circuits with a top-down design approach. In this paper, two microarchitectures, basic and enhanced, are explored. The results from a pre-layout simulation utilizing 0.13-${\mu}m$ CMOS technology show that the performance and power consumption of the enhanced microarchitecture are respectively improved by 109% and 30% with respect to the basic architecture. Furthermore, the measured power efficiency is about 238 ${\mu}W$/MHz and is comparable to that of a synchronous counterpart.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.66 no.8
• /
• pp.1250-1256
• /
• 2017

In this research, a high-performance ultrasonic positioning system is proposed to track the positions of an indoor mobile object. Composed of an ultrasonic sender (mobile object) and a receiver (anchor), the system employs three ultrasonic time-off-flights (TOFs) and trilateration to estimate the positions of the object with an accuracy of sub-centimeter. On the other hand, because ultrasonic waves are interfered by temperature, wind and various obstacles obstructing the propagation while propagating in air, ultrasonic pulse debounce technique and Kalman filter were applied to TOF and position calculation, respectively, to compensate for the interference and to obtain more accurate moving object position. To perform tasks in real time, ultrasonic signals are processed full-digitally with a Zynq SoC, and as a software design tool, Vivado IDE(integrated design environment) is used to design the whole signal processing system in hierarchical block diagrams. And, a hardware/software co-design is implemented, where the digital circuit portion is designed in the Zynq's fpga and the software portion is c-coded in the Zynq's processors by using the baremetal multiprocessing scheme in which the c-codes are distributed to dual-core processors, cpu0 and cpu1. To verify the usefulness of the proposed system, experiments were performed and the results were analyzed, and it was confirmed that the moving object could be tracked with accuracy of sub-cm.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.6
• /
• pp.2840-2850
• /
• 2011

Programmers can use the Hardware-Software Co-Designing, in which they design a hardware system and software system simultaneously and then unify them, to design an embedded system. This study analyzes the problems of designing an embedded system and suggests applying the system-level design technique, which uses SpecC technology, as a solution to the problems. Also, it suggests systematic and concrete stepwise refinement by applying Refactoring technology in software engineering as a way to make the use of system-level stepwise refinement.

• Wind and Structures
• /
• v.21 no.6
• /
• pp.727-753
• /
• 2015

A double-skinned composite tubular (DSCT) wind power tower was suggested and automatic section design software was developed. The developed software adopted the nonlinear material model and the nonlinear column model. If the outer diameter, material properties and design capacities of a DSCT wind power tower are given, the developed software performs axial force-bending moment interaction analyses for hundreds of sections of the tower and suggests ten optimized cross-sectional designs. In this study, 80 sections of DSCT wind power towers were designed for 3.6 MW and 5.0 MW turbines. Moreover, the performances of the 80 designed sections were analyzed with and without considerations of large displacement effect. In designing and analyzing them, the material nonlinearity and the confining effect of concrete were considered. The comparison of the analysis results showed the moment capacity loss of the wind power tower by the mass of the turbine is significant and the large displacement effect should be considered for the safe design of the wind power tower.

• Journal of Advanced Navigation Technology
• /
• v.15 no.3
• /
• pp.419-431
• /
• 2011

Design traceability has been widely recognized as being an integral aspect of software development. Also many projects for software application development have failed because that the projects did not analyze user requirements sufficiently and reflected them in the projects adequately. This thesis proposes a specification and tracing technique for object-oriented analysis and design. The subject of this study is the artifacts of UML development methodology. Therefore, to improve the quality of the software development cycle, in short, the system requirement of customers will be able to respond quickly.

• 한국태양에너지학회:학술대회논문집
• /
• 2012.03a
• /
• pp.222-228
• /
• 2012

This paper presents a design and simulation of bi-directional DC/DC boost converter for a fuel cell system. In this paper, we analyze the equivalent model of both a boost converter and a buck converter. Also we propose the controller of bi-directional DC-DC converter, which has buck mode of charging a capacitor and boost mode of discharging a capacitor. In order to design a controller, we draw bode plots of the control-to-output transfer function using specific parameters and incorporate 3pole-2zero compensator in a closed loop. As a result, it has increased PM(Phase Margin) for better dynamic performance. The proposed bi-directional DC-DC converter's 3pole-2zero compensation method has been verified with computer simulation and simulation results obtained demonstrates the validity of the proposed control scheme.

• Journal of the Korean Society of Industry Convergence
• /
• v.7 no.2
• /
• pp.193-198
• /
• 2004

This is the dissertation of the study of design characteristics about the practical flexible manufacturing system (PFMS). The basic ideas to analyze the manufacturing system which is the automatically operated is dependant on the various manufacturing procedures in factory. PFMS is the very useful equipment for students and trainee of production lines. This system is composed of hardware and software sub systems i.e. control and test unit and personal computer with software. The PFMS can be developed with design concepts and approved the capability of first article with functional tests. The PFMS module will be very useful for the manufacturing drill system in universities and practical fields. The flexible manufacturing systems have various subsystems appropriated for the final manufacturing products. Therefore the systems have the various kinds of hard wares as well as softwares. We study the software for the practical flexible manufacturing system designed in the Halla University and specially the design concept and using specification of the SCARA (Selective Compliance Assembly Robot Arm) robot which is used for the movement of the product is analyzed and introduced in this dissertation.

• International conference on construction engineering and project management
• /
• 2011.02a
• /
• pp.74-83
• /
• 2011

This paper recognized a need in the architecture, engineering, and construction industry for new programs and methods of producing reliable energy simulations using BIM (Building Information Modeling) technology. Current methods and programs for running energy simulations are not very timely, difficult to understand, and lack high interoperability between the BIM software and energy simulation software. It is necessary to improve on these drawbacks as design decision are often made without the aid of energy modeling leading to the design and construction of non-optimized buildings with respect to energy efficiency. The goal of this research project is to develop a new methodology to produce energy estimates from a BIM model in a more timely fashion and to improve interoperability between the simulation engine and BIM software. In the proposed methodology, the extracted information from a BIM model is compiled into an INP file and run in a popular energy simulation program, DOE-2, on an hourly basis for a desired time period. Case study showed that the application of this methodology could be used to expediently provide energy simulations while at the same time reproducing the BIM in a more readably three dimensional modeling program. With the aid of an easy to run and easily understood energy simulation methodology, designers will be able to make more energy conscious decisions during the design phase and as changes in design requirements arise.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.719-722
• /
• 2006

본 연구는 방향키를 이용한 한글 입력 시스템 및 방법에 관한 것으로, 한글의 획순에 대응되는 방향키와 보충키를 이용하여 한글을 입력하는 방법으로 별도의 학습이 필요하지 않을 뿐 아니라 소수의 입력키만을 이용할 수 있어 문자입력 장치의 크기를 최소화하여 한글의 자음과 모음을 입력하는 한글 입력 시스템 및 방법에 관한 것이다.