본문 바로가기

전체 글319

SystemVerilog Assertion Vacuity: PASS 결과와 Trigger 도달성 검증 핵심 요약req |-> ack는 req가 참인 같은 샘플링 시점에 ack를 검사합니다.req가 한 번도 참이 아니면 implication은 위반되지 않지만, 의도한 응답 동작은 실행되지 않았습니다.cover property로 req의 도달 가능성을 살피고, assertion으로 요구 조건을 검사합니다. 두 결과는 서로를 대체하지 않습니다.PASS가 생겨도 검사가 실행되지 않는 경우reset이 해제된 상태에서 네 번의 posedge clk마다 req와 ack를 샘플링한다고 가정합니다. req가 0, 0, 0, 0이라면 req |-> ack의 antecedent는 발생하지 않습니다. 이 trace에서 위반은 없지만 요청 이후 동작에 대한 증거도 없습니다.req와 ack가 모두 0, 1, 0, 0이라면 두 번.. 2026. 11. 7.
AHB-Lite ERROR 응답: 2-cycle 타이밍과 다음 전송 취소 AHB-Lite ERROR 응답: 2-cycle 타이밍과 다음 전송 취소핵심 요약첫 ERROR cycle: HRESP=1, HREADY=0 — 오류를 알리고 A의 완료를 보류합니다.둘째 ERROR cycle: HRESP=1, HREADY=1 — A가 상승 HCLK 에지에서 오류로 완료됩니다.다음 전송 B: manager는 HTRANS=IDLE로 B를 취소할 수 있습니다. 남은 burst를 계속하는 선택도 허용됩니다.왜 두 cycle이 필요한가?AHB-Lite는 주소 단계와 데이터 단계를 겹쳐 처리합니다. 주소 A의 data phase에서 오류가 발생할 때, 다음 전송 B의 주소가 이미 버스에 나와 있을 수 있습니다.첫 ERROR cycle은 A를 아직 완료하지 않은 채 오류를 알립니다. manager는 .. 2026. 11. 5.
[ASIC] False path vs Async path [False path vs Async path] 정의타이밍 분석에서 무시할 수 있는 경로.실제로 데이터 전달이 발생하지 않는 경로.서로 다른 클럭 도메인 간신호 전송에 사용되는비동기 경로.사용 목적타이밍 분석 시 불필요한 경로를 제거하여정확한 분석과 설계를 지원.클럭 도메인 간의 데이터 전송을 위한비동기 처리를 지원.적용 상황1. 제어 신호나 고정 값이 전달되는 경로. 2. 사용되지 않는 논리 경로.1. 클럭 도메인 크로싱 (CDC). 2. 비동기 신호 처리.경로 특성논리적으로 연결되어 있으나실제 타이밍 분석에서 의미가 없는 경로.서로 다른 클럭 도메인에 위치하여타이밍 분석이 불가능한 경로.STA(Static Timing Analysis)타이밍 분석에서 명시적으로 무시하도록 설정.타이밍 분석 대신 비동기.. 2024. 12. 13.
[ASIC] Metastability [Metastability]Metastability는 디지털 시스템에서 비동기 신호 또는 클럭 도메인 간 신호가 전송될 때,FlipFlop의 출력이 불안정하거나 예측 불가능한 상태에 빠지는 현상을 의미함.Reason플립플롭의 setup time과 hold time 조건이 충족되지 않을 때 발생.클럭 도메인 간 데이터 전송에서 비동기 신호로 인해 타이밍 불확실성이 생김.Result플립플롭 출력이 안정된 논리 상태(0 또는 1)로 수렴하지 못하고중간 전압 상태를 유지하거나, 불확실한 시간 동안 흔들림.신호가 다음 단계의 논리 회로에 전파되면 오동작 가능. Resolution Time메타스테이블 상태에서 안정된 상태로 전환되기까지 필요한 시간.설계 상에서는 이를 최소화하도록 **MTBF (Mean Time B.. 2024. 12. 13.
Industry 5.0의 시대 [제조업의 발전] 제조업은 언제나 기술 혁신의 선봉에 서서 진화해 왔다.오늘 날의 제조업은 또 한 번의 전례없는 변화를맞고 있고, 로보틱스, 첨단 센서, 커넥티비티, 진보된 분석 능력 덕분에 우리는 인더스트리 4.0의 시대를 열었는데 여기서 한 번 더 도약하여 인더스트리 5.0의 시대로 접어들고 있다.  [4.0 vs 5.0] 현대의 대부분 최신식 공장은 'Industry 4.0'으로 분류된다.흔히 스마트 공장, 스마트 팩토리라고 불림. 인더스트리 4.0  - IoT(사물인터넷), AI(인공지능), 클리우딩 컴퓨팅, 엣지 컴퓨팅과 같은    첨단 기술을 활용해 상호 연결되고, 지능적인 제조 환경으로의 전환  - 다량의 데이터를 실시간으로 포착, 분석, 활용하는 능력을 이용해    의사결정의 절차와 예방 .. 2024. 7. 27.
[Python] 엑셀파일(xlsx) load 불가 - No module named 'openpyxl' [Trouble] Python Script 실행 중, xlsx file load 불가 오류 발생 [Solution] pip install openpyxl openpyxl 다운받으면 해결 2024. 4. 3.
[Vim] Vim 사용 가이드 Part.8 - 환경설정(vimrc) [환경설정] Vim 에디터에는 스킴 변경 또는 글꼴 변경 등의 다양한 설정 기능이 존재하지만, 껐다가 켰을 때 다시 원상복구되는 불편함이 있다. 이를 해결하기 위해 영구적으로 설정하는 방법에 대해 알아보자. 📌 환경설정법 - 영구 위 사진과 같이, endfunction 하단에 원하는 설정의 코드를 쭉 작성하면 된다. 위에서부터 설명하면, - colorscheme : 스킴 설정 - set guifont : 글꼴 및 폭 설정 - set number relativenmber : 현재 라인 기준으로, 상대적인 라인 번호 적용 (라인 이동이 좀 더 수월해짐) - set number : 그냥 라인 번호만 사용하고 싶다면, number만 적용 - set tabstop : tab을 눌렀을 때, 스페이스 몇 칸이 적용되.. 2024. 1. 1.
"애플, RGB 올레도스 비전프로 2027년 출시 계획" 시장조사업체 옴디아 전망 '내년 출시' 비전프로는 WOLED+CF 올레도스 RGB 올레도스, 컬러필터 없어 밝기에서 강점 애플 비전프로 (자료=애플) 애플이 레드(R)그린(G)블루(B) 올레도스(OLEDoS:OLED on Silicon)를 적용한 혼합현실(MR) 기기 비전프로를 2027년 출시할 계획이라고 시장조사업체 옴디아가 최근 전망했다. 지난 6월 공개하고 내년 초 출시 예정인 애플의 첫번째 비전프로의 올레도스는 화이트(W)-유기발광다이오드(OLED)에 컬러필터(CF)를 적용하는 방식을 사용한다. WOLED+CF 올레도스는 WOLED에서 나온 백색광이 RGB 컬러필터를 통과하면서 색을 내는 방식이고, RGB 올레도스는 같은 층에 인접 증착한 RGB 서브픽셀에서 빛과 색을 모두 구현하는 방식이다. 옴.. 2023. 12. 31.

티스토리툴바