![](http://i1.daumcdn.net/thumb/C150x150/?fname=https://blog.kakaocdn.net/dn/GGRqh/btrdaGvQuBA/K6WwFI5xLtOz7SHLNhpHwK/img.png)
아래 그림이 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이 정확히 같은 동작을 하는지 확인함.
- Ben : Freud said, "love and work. Work and love. That's all there is." Well, I'm retired, and my wife is dead. As you can imagine, that's giving me some time on my hands. My wife's been gone for three-and-a-half years, and I miss her in every way. And, retirement? That is an ongoing, relentless effort in creativity. At first, I admit, I enjoyed the novelty of it. sort of felt like I was playin..
1. STT (Speech To Text, Speech Recognition, 음성인식) - 사람이 말하는 음성 언어를 컴퓨터가 인식하여 그 내용을 텍스트 데이터로 전환하는 처리 과정. 내용을 이해하는 수준은 아니며 단순히 음성 데이터를 텍스트로 구현하여 시스템에 입력하는 단계. - Voice dialing, call routing, simple data entry(신용카드 번호, 전화번호 입력), word processor, DVI(Direct voice input, 전투기나 비행기 조종에서 사용됨.) speaker identification(목소리로 사용자 인식) 2. NLP (Natural Language Processing) - 사람의 언어, 즉 자연어는 기계가 이해하기에는 직관적이고 모호한 표현..