심볼 시뮬레이션
Symbolic simulation |
컴퓨터 과학에서, 시뮬레이션은 적절하게 모델링된 국가 변환 시스템의 실행을 계산하는 것이다. 전형적으로 이 프로세스는 개별 지점의 시스템 전체 상태를 이산 선형 시간 프레임으로 모델링하여 각 상태를 전임자로부터 순차적으로 계산한다. 컴퓨터 프로그램 또는 VLSI 논리 설계의 모델은 시뮬레이션에 직접 사용될 수 있는 운영 의미론을 종종 가지고 있기 때문에 매우 쉽게 시뮬레이션할 수 있다.
심볼 시뮬레이션은 시스템의 가능한 많은 실행이 동시에 고려되는 시뮬레이션의 한 형태다. 이것은 일반적으로 시뮬레이션이 이루어지는 도메인을 증가시킴으로써 달성된다. 시스템의 여러 실행을 색인화하기 위해 시뮬레이션 상태 표현에 기호 변수를 사용할 수 있다. 이러한 변수의 가능한 평가마다 간접적으로 시뮬레이션되고 있는 구체적인 시스템 상태가 있다.
심볼 시뮬레이션은 한 번의 시뮬레이션으로 많은 시스템 실행을 커버할 수 있기 때문에 검증 문제의 크기를 크게 줄일 수 있다. 심볼 궤도 평가(STE), 일반화된 심볼 궤적 평가(GSTE)와 같은 기법은 이러한 심볼 시뮬레이션 아이디어를 바탕으로 한다.
