시뮬레이션 (Simulation) 1. 개요 시뮬레이션이란 실제 시스템(Real System)의 동작을 수학적, 논리적 모델로 구현하여 가상 환경에서 그 거동을 모사하고 분석하는 수치적 실험 기법이다. 실제 시스템을 직접 실험하기에 비용이 너무 많이 들거나, 위험성이 높거나, 혹은 물리적으로 불가능한 경우에 대안으로 사용하며, 시스템의 성능 예측, 최적화,…
검색 결과
"설계 명세"에 대한 검색 결과 (총 4개)
정형 검증 (Formal Verification) 1. 개요 정형 검증(Formal Verification)이란 수학적 모델과 논리적 추론을 사용하여 소프트웨어나 하드웨어 시스템이 설계 명세(Specification)를 엄격하게 준수하는지를 증명하는 소프트웨어 공학 기법이다. 일반적인 소프트웨어 테스트(Testing)가 특정 입력값의 집합을 선택해 실행 결…
하드웨어 합성 알고리즘 (Hardware Synthesis Algorithms) 하드웨어 합성 알고리즘은 하드웨어 기술 언어(HDL)로 작성된 추상적인 설계 명세를 실제 물리적인 회로 연결 관계인 넷리스트(Netlist)로 변환하는 자동화된 최적화 프로세스입니다. 수백만 개의 게이트가 포함된 현대의 SoC(System on Chip) 설계에서 인간이 수동으…
시뮬레이션 모델링 (Simulation Modeling) 1. 개요 시뮬레이션 모델링이란 현실 세계의 복잡한 시스템이나 프로세스, 특히 단순한 수학적 공식으로는 예측하기 어려운 복잡계(Complex Systems)를 수학적, 논리적 모델로 추상화하여 컴퓨터 상에서 모사하고, 다양한 시나리오를 실험함으로써 시스템의 동작을 분석하고 최적의 대안을 도출하는 기법…