DevBJ 기술과 일상을 기록하는 DevBJ 노트
실무기술취미유틸리티생각

태그: Formal Verification

Formal Verification 태그가 포함된 글 1개

2026-11-02 RTL 설계 직무 면접 가이드 시즌 2: Reset, FIFO, Formal, STA 시즌 1에서 다룬 주제에 이어 reset 해제, 동기식과 비동기식 FIFO, formal property, STA 제약 조건을 설계 판단 중심으로 정리합니다.

© 2026 DevBJ (devbj.com)

기술과 일상을 기록하는 DevBJ 노트 / 글 Vullean

실무기술취미유틸리티생각
홈 About RSS

DevBJ은 임베디드 문제 해결과 개발 기술, 브라우저 유틸리티, 영화와 만화 감상, 운동을 배우며 얻은 팁을 기록합니다. 글의 내용은 개인의 경험과 작성 시점에 확인한 자료를 바탕으로 정리합니다.

이 사이트는 직접 만든 Python 정적 사이트 생성기로 빌드하고 GitHub Pages에서 운영합니다. 콘텐츠 구조와 빌드, 배포 환경을 직접 관리하며 그 과정에서 익힌 기술도 기록합니다.

도구와 표준, 소프트웨어 버전은 바뀔 수 있으므로 실제 적용 전에는 프로젝트 환경과 최신 공식 문서를 확인하세요.