인기글
-
[mycortex-STM32F4] ST-LINK 드라이버 설치
1. ST-LINK 디바이스와 PC 연결 2. 링크 접속http://www.st.com/en/development-tools/stsw-link009.html 3. GET SOFTWARE에서 STSW-LINK009 설치 (간단한 registration 필요) 4. 다운로드 된 파일 압축 풀고 stlink_winusb_install.bat 실행 5, 장치 관리자에서 드라이버 설치 확인.
2018.01.07
-
[Verilog] 코드 최적화
1. 중첩된 루프는 피한다 : 소프트웨어에서 루프의 처리는 그냥 행을 반복해서 연산하는 것이지만, 하드웨어 설계에서 루프는 피드백이 있는 하드웨어를 의미한다. 때문에 중첩된 루프 구조는 최적화에 바람직하지 않다,2. 중첩된 if문은 피한다 : if문은 하드웨어에서 로직으로 구현된다. 따라서 if문이 중첩될수록 로직의 아웃풋이 다른 로직의 인풋으로 들어가면서 로직 레벨이 증가한다. 로직 레벨이 증가할수록 딜레이가 커지기 때문에 타이밍 에러가 발생할 확률이 높다. 3. if문보다는 case문- if/else의 반복도 마찬가지로 로직 레벨을 증가시킨다. case문을 쓰면 입력이 여러개인 하나의 로직을 사용하기 때문에 로직 레벨이 낮아짐.4. 괄호 사용z- 똑같이 세번의 연산이 수행되지만 후자가 더 빠르다. 앞..
2018.05.08
-
[Yoga-sutra] 1.7. 올바른 인식이란
प्रत्यक्षानुमानागमाः प्रमाणानि।pratyakṣa-anumāna-āgamāḥ pramāṇāni "올바른 인식은 직접지각, 논리적 추론, 성언에서 비롯된다."प्रत्यक्ष (pratyakṣa): 직접적 지각. "직접적인(앞에 있는, pratyakṣa)" + "감각(ākṣa, 눈)". 감각 기관을 통해 직접 인식한 것.अनुमान (anumāna): 논리적 추론. "뒤따라서(anu)" + "생각하다(māna)".आगम (āgama): 성언. "다가오는(ā)" + "지식(gama)". 권위 있는 경전, 성현의 말씀, 또는 신뢰할 만한 증언을 통해 얻은 지식.प्रमाण (pramāṇa): 올바른 지각. "올바른(prama)" + "측정(ana)".
2024.11.21
-
[RTL] Equivalence Checking
아래 그림이 Synopsis사의 formality 설명 문서에 나온 순서도인데,1) HDL로 작성한 RTL을 synthesize하면 1차 netlist가 나옴.2) 1)에서 나온 netlist로 PnR을 진행하면 Final netlist가 나옴.3) Synthesizer가 뱉어낸 netlist와 PnR이 완료된 Final netlist를 비교하여 각 net이 동일하게 생성되었는지,즉 Verilog로 서술했던 functionality와 netlist로 구현된 design이 정확히 같은 동작을 하는지 확인함.
2021.08.26
-
[Verilog] Signed, unsigned
Verilog에서 signed와 unsigned가 섞여서 연산되는 경우,출력 bit-width와 sign bit 처리에 각별히 유의해야 한다.-> 연산이 적용되는 signal에 type과 range를 주석으로 다는 습관을 들이자~~ 1. unsigned = unsigned + unsigned - output bit-width만 주의하면 됨. ex) 아래에서 case 1처럼 a와 b의 범위가 bit-width로 표현 가능한 범위보다 작게 constraint가 걸려있다면 output도 worst case에 맞게 output을 4bit만 해도 문제가 없지만, case 2처럼 4bit로 표현가능한 전체 범위를 사용한다면 case 1으로는 overflow가 발생한다. 따라서, 변수에 특정 범위가 지정되어 있지..
2019.12.25