옥수수 농장

안녕하세요. 회사를 다닌 지 3개월이 지났네요.회사 다니면서 느낀 것 중 하나가 사람마다 linux에서의 작업환경이 다르다는 건데요.보통은 reference가 없으니까 좀 헤매기도 하더라고요.그래서 제 작업 환경을 좀 공유해보려고 합니다. 라즈베리파이는 쉽게 접할 수 있는 linux라고 생각합니다.Mac을 사용하시는 분이라면 또 다르시겠지만... 보통은 Windows를 사용하니까요. 기본적으로 라즈베리파이의 terminal에서는 bash를 사용하는데요.확인하는 방법은 다음을 입력하시면 됩니다.echo $SHELL 그러면 우리가 사용하는 shell을 알았으니, 추가적인 작업을 진행할 수 있습니다. 먼저, linux server의 사양이 좋지 않다면 무거운 프로그램은 비교적 사용이 어렵습니다. 저는 serv..

안녕하세요.막혀있던 혈이 뚫려서 호다닥 달려왔습니다. 제가 집에 라즈베리파이를 세팅해두고 출퇴근하면서 원격 접속으로 타닥거리는 꿈을 꾸었는데요. 이 포트포워딩으로 외부에서 라즈베리파이로 바로 접속하는 걸 까먹어서 못했거든요. 이게 또 찾아봐도 정보가 너무 많아서 자꾸 실패만 하고... 그래서 포기하던 찰나에 딱 됐네요 ㅠㅠ 이제 원격을 PC 안 키고 바로 라즈베리파이 쓸 수 있겠네요.  환경 설정우선, 저와 동일한 환경이신 분들에 해당하는 내용이니까 이것부터 이야기 하겠습니다.Raspberry Pi가 IPTIME 공유기로 연결되어 있어야 합니다. (다른 공유기는 포트포워딩 방법을 몰라요)Windows에 VNC viewer가 설치되어 있어야 합니다. (VNC 연결을 할 거라서요)Raspberry Pi에 V..

안녕하세요.추석이라 할 일이 없어서 포스팅을 하고 있는 자신이 살짝 안타깝네요.여튼 ! 이번 포스팅은 라즈베리파이를 사용하기 전에 미리 세팅을 해놓기 위한 내용입니다. 우선, 대부분의 사람들은 linux system에 대한 이해도보다 windows의 이해도가 높을 것이라고 생각합니다. 저도 그랬구요.하지만, 라즈베리파이를 사용한다면 linux의 이해도를 높혀야 할 필요가 있습니다. 간단한 설치법은 어느 블로그에도 잘 정리가 되어있으니 그것을 참고해주세요.저는 설치 이후에 편하게 라즈베리파이를 활용할 수 있는 방법을 이야기 하겠습니다.참고로 기본적으로 같은 공유기 환경 내에 접속되어 있어야 합니다. 같은 공유기 환경이 아니라면 아래의 포스팅을 참고해주세요 !https://oksusu-farm.tistory..

안녕하세요. 오랜만에 쓰는 글이네요.취업을 해도 퇴근하고 공부하고 글이나 끄적이려고 했는데...역시 인생은 생각처럼 되지 않네요 ㅎㅎ 이번에는 제가 뭐 여러 이유로 VS code를 좀 사용하고 있었는데, python module이 없다고 뜨는 것에 막혀서 방법을 좀 찾은 김에 기억도 할 겸 포스팅하려고 합니다. VS code에서 python package를 사용하려면 VS code 내부의 terminal을 통해서 pip 명령어를 사용하는 방식이 가장 편하다고 볼 수 있습니다. git clone 등을 사용해서 직접 설치해 줄 수 있긴 한데, 복잡하고 귀찮습니다. 따라서 이번에는 가상환경을 만들어서 pip로 설치하는 법을 알아보겠습니다. 먼저, 다음과 같이 새 폴더를 열어주시고요. 저는 대충 0__TEST라..

Anacomda는 linux 환경에서 사용하기 편한 가상환경인데, 자꾸 까먹어서 적어둘겸 포스팅합니다. 먼저, 설치를 하려면 anaconda 홈페이지에서 .sh file을 가져옵니다.은 https://repo.anaconda.com/archive/ 여기에서 고르시면 됩니다.Line 1을 완료하면 해당 폴더에서 line 2를 넣어주면 "(Y/N) ?" 문구가 뜨는데, 전부 Y를 치면 설치는 완료가 될 것입니다.curl -O https://repo.anaconda.com/archive/Anaconda3--Linux-x86_64.shbash ./Anaconda3--Linux-x86_64.sh 여기서 문제가 이제 기본 설정이 항상 conda 가상 환경이 on되는 것입니다.저는 필요할 때만 켜서 쓰는 편이라 이 ..

안녕하세요. 오늘은 Bayesian optimization에 대해서 설명해보려고 합니다.제가 연구에 자주 사용하는 최적화 모델인데, 내용이 어려워서 한 번 정리하는 용도예요.연구를 예시로 들어서 설명을 할 수 있습니다.OptimizaitonOptimization. 즉, 최적화는 결국 내가 어떠한 입력을 넣었을 때, 최고의 효율을 갖는 출력을 뽑는 과정입니다. 이 과정에서는 parameter, objective function (=fitness function), opt. model 등 여러 요소가 사용됩니다. 아래의 그림을 보면서 천천히 설명해 보겠습니다.  Frequency (circuit speed)를 objective로 설정했다고 가정해 봅시다. Freq.를 출력하기 위해서는 단순하게는 clock ..

이전 포스팅에서 Interconnect Stack Parameter Optimization Using Genetic Algorithm의 배경 지식까지 알아보았습니다.배경 지식은 interconnect stack parameter가 회로에 미치는 영향과 논문에서 사용된 genetic algorithm에 대한 내용이 있었습니다. 이제는 제가 제안하는 방법과 결과를 다뤄보도록 하겠습니다. 먼저, 목차는 다음과 같습니다.서론배경 지식제안 방법매개변수 후보 선택 (candidate selection)매개변수 필터링 (parameter filtering)초기 샘플링 (initial sampling)실험 결과제안 방법논문에서 제안하는 방법의 프로세스는 아래 그림과 같습니다.  Logic synthesis를 수행하여 ..

이번 포스팅은 제 학회 논문이자 학위 논문인 Interconnect Stack Parameter Optimization Using Genetic Algorithm 대해서 설명을 해보려고 합니다.학위 논문 발표를 토대로 작성하는 거라서 논문을 읽는 것보다는 편할 것 같아요.내용이 생각보다 많아져서 포스팅을 두 개로 나눠서 올려야 할 것 같아요 ㅎㅎ 논문의 제목을 보면 어느 정도 유추할 수 있지만, 이 논문은 interconnect stack이 가지고 있는 여러 layer에 대한 width, length, space 등과 같은 parameter들을 genetic algorithm을 사용해서 최적화하는 내용입니다. 먼저, 목차는 다음과 같습니다.서론배경 지식제안 방법매개변수 후보 선택 (candidate se..

SMT 란 ?컴퓨터 과학 및 수학에서 SMT는 해당 mathematical formulation (수학적 공식)을 만족하는 지 결정하는 문제입니다. 기존의 Boolean satisfiability (SAT)는 Boolean formulation만 표현할 수 있지만, SMT는 추가적으로 실수, 정수, list, array, bit vector, 그리고 str과 같은 다양한 data를 사용한 보다 복합적인 formulation을 해결할 수 있습니다. 다음은 SAT의 예시입니다.$$(A\lor \neg B)\land (B \lor C)$$이 SAT 문제의 해결책은 A, B, C에 Boolean value를 할당하여, 표현식을 참으로 만드는 조합을 찾는 것입니다.예로 A=1, B=0, C=1이면 표현식은 참이 ..

이번 포스팅은 CMOS VLSI design을 공부한 내용이며,깊게 들어간다기보다는 VLSI design에 대한 전반적인 내용을 다룹니다.각 소주제에 관한 세부적인 내용은 따로 포스팅할 예정입니다.Introduction이번 챕터는 VLSI design 과정 중 test에 관련된 내용인데,일반적으로 testing 단계는 chip 생산 과정에서 비용이 많이 드는 과정 중 하나입니다.기술의 발전은 회로의 complexity (복잡성)의 증가로 이어지며,결과적으로 Testing 비용은 complexity에 비례하여 증가하게 됩니다. 일반적인 testing 과정은 다음과 같습니다.Logic verificationTape-out 이전에 수행되며, realistic simulation을 통해 수행Silicon deb..