728x90 반응형 분류 전체보기165 [SystemVerilog Assertion(SVA)] 1-2. Introduction [SystemVerilog Assertion(SVA)] 1-2. Introduction SVA Example 이번에는 SystemVerilog Assertion을 사용한 예제를 확인해보자. 예제1 : grant 요청 후 4 clock 이내에 ack 수신 확인 1234567891011121314151617module grant_ack_check( input logic clk, input logic reset_n, input logic grant, input logic ack); // 4 Clock 이내에 ack 신호가 들어와야 함을 검증하는 Assertion property grant_to_ack_within_4_cycles; @(posedge clk) disable iff.. 2024. 11. 14. [SystemVerilog Assertion(SVA)] 1-1. Introduction [SystemVerilog Assertion(SVA)] 1. IntroductionSystemVerilog Assertion의 진화 과정 초기 SystemVerilog에는 시간적인(순차적인) 도메인을 검사하기 위한 방법이 제공되지 않았다. PSL 같은 외부 언어를 SystemVerilog와 연결하여 혼합된 언어 환경을 만들어야 했다. 이는 특정 EDA 벤더와 연결된 두 개의 시뮬레이터를 유지해야 했으므로 불편함이 있었다.이러한 문제를 해결하기 위해 SystemVerilog 표준 위원회는 언어에 고유한 하위 집합을 추가하여 이를 SystemVerilog Assertions(SVA)라고 명명했다.SVA는 SystemVerilog 언어와는 완전히 독립적이다. 다시 말해서, SVA의 문법은 SystemVe.. 2024. 11. 13. Anti Aliasing이란? Anti Aliasing이란? Aliasing이란 그래픽 및 디지털 이미징에서 발생하는 계단현상을 의미하는데, 여기서 Anti Aliasing은 이러한 계단현상을 제거하는 것을 의미한다. Anti Aliasing의 기본 아이디어는 색상 혼합을 통해 경계를 부드럽게 만들어 시각적으로 매끄럽게 보이도록 하는 것이다. 이를 위해, 계단진 경계 주변의 픽셀에 색상 그라데이션을 적용하여 경계를 눈에 덜 띄게 만든다. AA의 종류SSAA (Super Sampling Anti-Aliasing): 고해상도로 렌더링 후 다운샘플링하여 계단 현상을 줄이는 방식으로, 매우 높은 품질을 제공하지만 리소스 소모가 크다. MSAA (Multi Sampling Anti-Aliasing): 다각형 경계선에서만 샘플링을 늘려 부.. 2024. 11. 12. [자료구조] 5. 큐(Queue) 5. 큐(Queue) 정의FIFO(First In First Out) 구조를 가진 자료구조먼저 들어온 데이터가 먼저 나가는 방식(줄을 서는 것처럼 순서대로 처리) 종류기본 큐 : 선형적으로 데이터를 삽입하고 삭제하는 방식원형 큐(Circular Queue) : 배열의 끝과 시작이 연결된 형태로, 배열의 공간을 지속적으로 재활용우선순위 큐(Priority Queue) : 각 요소에 우선순위가 부여되어 우선순위가 높은 요소부터 삭제됨 기본 구조요소앞(Front, Head), 뒤(Back, Rear, Tail) 특징 FIFO(First In First Out) 구조동적 크기 변화 : 큐는 동적으로 크기가 변할 수 있으며단 방향 데이터 흐름 : 데이터는 한 방향으로만 흐르고, 삽입은 뒤에서, 삭제는 앞에.. 2024. 11. 11. [자료구조] 4. 스택(Stack) 4. 스택(Stack) 정의LIFO(Last In First Out) 구조를 가진 자료구조마지막에 삽입된 데이터가 가장 먼저 삭제되는 방식 종류배열 기반 스택 (Array-based Stack)연결 리스트 기반 스택 (Linked-based Stack)순환 스택 (Circular Stack) 기본 구조요소스택 포인터 (Top) : 스택의 맨 위 요소를 가리키는 포인터 특징LIFO(Last In First Out) 구조제한된 접근 방식 : 삽입과 삭제는 항상 스택의 맨 위에서 이루어짐크기 : 배열로 구현한 스택은 고정 크기, 연결 리스트로 구현한 스택은 가변 크기를 가짐재귀적 문제 해결에 유리 활용 예시함수 호출 스택 : 프로그래밍 언어에서 함수 호출 시 각 함수의 지역 변수와 실행 상태가 스택에 .. 2024. 11. 11. [자료구조] 3. 연결 리스트(Linked List) 3. 연결 리스트(Linked List) 정의데이터가 순차적으로 연결된 노드들의 집합으로 이루어진 자료 구조. 기본 구조데이터 : 저장할 값포인터 : 다음 노드의 주소를 가리키는 포인터첫 번째 노드를 헤드(Head)라고 하며, 가장 마지막 노드의 포인터는 Null을 가리킴 종류단일 연결 리스트(Singly Linked List)이중 연결 리스트(Doubly Linked List)원형 연결 리스트(Circular Linked List) 특징동적 크기 : 메모리에 필요한 만큼만 노드를 추가할 수 있어 동적 메모리 할당 가능노드 기반의 자료 구조 : 노드(Node)라는 단위로 구성되며, 각 노드는 데이터와 다음 노드에 대한 포인터로 이루어짐비연속적 메모리 할당 : 각 노드가 흩어진 메모리에 저장되고, 포인.. 2024. 11. 10. 이전 1 2 3 4 ··· 28 다음 728x90 반응형
