Design Verification System Framework of Pressure Vessels Using Korea Industrial Standards

Transactions of the Korean Society of Mechanical Engineers A ◽

10.3795/ksme-a.2015.39.3.291 ◽

2015 ◽

Vol 39 (3) ◽

pp. 291-301 ◽

Author(s):

Jaechul Lee ◽

Ikjune Kim ◽

Chae Ho Lim ◽

Jinsang Hwang ◽

Duhwan Mun

Keyword(s):

Pressure Vessels ◽

Design Verification ◽

System Framework ◽

Verification System ◽

Industrial Standards

Download Full-text

An efficient symbolic design verification system

Proceedings of 1993 IEEE International Conference on Computer Design ICCD'93 ◽

10.1109/iccd.1993.393363 ◽

2002 ◽

Author(s):

J. Park ◽

M.R. Mercer

Keyword(s):

Design Verification ◽

Verification System

Download Full-text

Design verification system for large-scale LSI designs

Microelectronics Reliability ◽

10.1016/0026-2714(83)90447-x ◽

1983 ◽

Vol 23 (2) ◽

pp. 402

Keyword(s):

Large Scale ◽

Design Verification ◽

Verification System

Download Full-text

Module Design Verification System

21st Design Automation Conference Proceedings ◽

10.1109/dac.1984.1585808 ◽

1984 ◽

Author(s):

L. Wilkins

Keyword(s):

Design Verification ◽

Module Design ◽

Verification System

Download Full-text

Design Verification System for Large-Scale LSI Designs

19th Design Automation Conference ◽

10.1109/dac.1982.1585485 ◽

1982 ◽

Author(s):

M. Monachino

Keyword(s):

Large Scale ◽

Design Verification ◽

Verification System

Download Full-text

Implementation of FPGA-based SoC Design Verification System for a Soundbar with Embedded Processor

Journal of Broadcast Engineering ◽

10.5909/jbe.2016.21.5.792 ◽

2016 ◽

Vol 21 (5) ◽

pp. 792-802

Author(s):

Sung-Woo Kim ◽

Seon-Hee Lee ◽

Seong-Jhin Choi

Keyword(s):

Design Verification ◽

Embedded Processor ◽

Verification System

Download Full-text

The VERUS™ Design Verification System

1983 IEEE Symposium on Security and Privacy ◽

10.1109/sp.1983.10002 ◽

1983 ◽

Author(s):

Brian Marick ◽

Virgil D. Gligor

Keyword(s):

Design Verification ◽

Verification System

Download Full-text

A versatile Simulation environment for Design Verification, System Integration Testing and Pilot Training of a diamond-shaped Unmanned Aerial Vehicle

2018 AIAA Modeling and Simulation Technologies Conference ◽

10.2514/6.2018-0126 ◽

2018 ◽

Author(s):

Richard O. Kuchar

Keyword(s):

Unmanned Aerial Vehicle ◽

System Integration ◽

Pilot Training ◽

Design Verification ◽

Integration Testing ◽

Simulation Environment ◽

Verification System ◽

Download Full-text

THE APPLICATION OF A DESIGN VERIFICATION SYSTEM AND ACCELERATED MISSION TESTING TO GAS TURBINE ENGINE DEVELOPMENT

10.4271/780991 ◽

1978 ◽

Author(s):

Bernard J. Mcdonnell

Keyword(s):

Gas Turbine ◽

Gas Turbine Engine ◽

Design Verification ◽

Turbine Engine ◽

Verification System ◽

Engine Development

Download Full-text

A Formal Design Verification System Based on an Automated Reasoning System

21st Design Automation Conference Proceedings ◽

10.1109/dac.1984.1585867 ◽

1984 ◽

Author(s):

A.S. Wojcik ◽

J. Kljaich ◽

N. Srinivas

Keyword(s):

Automated Reasoning ◽

Design Verification ◽

Reasoning System ◽

Verification System ◽

Download Full-text

Crosbyton Solar-Power Project, Phase I. Volume VI. Analog Design Verification System preliminary performance results

10.2172/5760599 ◽

1980 ◽

Keyword(s):

Phase I ◽

Solar Power ◽

Analog Design ◽

Design Verification ◽

Verification System ◽

Performance Results ◽

Download Full-text