Monthly Archives: April 2007

책도 못읽고.. 머리는 굳고… 이런 저런 잡스러운 이야기

입방정으로 갑자기 일이 좀 생겨서, 오랫만에 암호책을 좀 보고 있습니다.
가끔 입방정으로 일이 생길때면, 죽이되던 밥이 되던 침묵할까하는 유혹을 받기도 합니다.

성격상 깔끔하게 맞아떨어지지 않으면 뭔가 좀 찜찜해서 이런 저런 이야기를 하게 되는데, 가끔은 말을해서 만들어진 일이 나에게 떨어진다는 거.. 덕분에 스케쥴이 약간 꼬여 버렸네요..
그래도, 좀비가 되느니 일을 해버리는 것이 좋은 것이겠지요.

사실 컴퓨터 아키텍쳐 하는 분들은 대부분 연산기 알고리즘을 같이 다루시기 때문에, DSP 연산 유닛이라던지, 암호화 유닛을 같이 다루는 경우가 많습니다. 게다가, 알고리즘 측면에서 약간은 우아한 암호화부분은 교수님들께서 특별히 좋아하시죠.^^;
덕분에 저도 한때 암호화 쪽을 열심히 하긴했었는데, 몇번 말씀드렸다시피 수학에 그리 친하지 못한 관계로 죽도록 고생을 했었습니다. 그리고, 한 5년만에 잡으니 새로 만드는 건 고사하고 알고리즘 파악도 어렵군요…
AES finialist들의 알고리즘 일부를 사용할까 하는 유혹도 ^^;

—-

요즘 도은 아빠님의 포스팅을 보고 오랫만에 바흐의 샤콘느를 많이 듣고 있습니다.
제가 본격적으로 클래식을 듣기 시작한 계기는 저를 인간답게 만들어준 동아리인 클래식 기타 동호회에 들어가면서 부터라고 생각되는데요.. 당시 바흐의 샤콘느는 “가장 어렵고, 난해하고, 졸린”곡이었습니다.
그러다, 비오는 날 수업 제끼고 동아리방에서 대낮부터 후배들과 파전 안주에 소주잔을 기울이던 차에, 레코드 판에서 나오던 세고비아옹에 “필이 꽂혀서” 좋아하게 되었습니다. 이상하게도 샤콘느를 들으면 항상 그때 일이 생각나네요..
간만에 Youtube에서 검색해 봤는데, 곡이 길어서 그런지 두 편으로 나누어져 있네.



—-
Adsense를 달았습니다. 음.. ADclix에 대해서 이런 저런 글을 쓴 적이 있는데.. 그때 불만이 “전혀 관계 없는 것들이 나온다.. 보기 싫은 광고 차단이 안된다”이런거였는데.. Adsense의 경우 그나마 관련 광고가 나와서 좋습니다.
가끔 어떤 내용인지 확인하고 싶은 것들이 있는데..  문제는 제가 제꺼 누르면 안된다는거…^^;

—-
티스토리 블로그가 시들시들 죽어가고 있는데, 그림이나 비디오를 외부에서 링크 시키는 방법을 몰라서 못쓴다는 것이 가장 크겠지요.. 트래픽이 많이 몰리는 것을 티스토리 블로그로 분산할 계획이었는데 말입니다. 혹시 아시는분?

근데, 저처럼 열심히 글을 안쓰는 사람도 티스토리 초대장이 생기네요.. ^^;
혹시 필요하신분은 e-mail주소를 리플로 달아주세요.. 뭐, 요즘엔 다들 가지고 계시니 별로 없으시겠지만..

—-
최근들어 글을 날리는 일이 상당히 잦네요.
이번주 들어서만 포스팅을 2번이나 날렸습니다. 클릭 실수라고 해야 하려나..
글 쓰다가 이런 저런 링크때문에 다른 창에서 검색을 많이하는 편인데.. 검색 결과창이 글 작성하던 창으로 뜨면서 작성한 글은 날라가는 경우가 좀 있습니다.
Microsoft Writer와 같은 프로그램을 써야겠습니다. 한창 쓰다가 카테고리 만드는 거랑 그림 올리는것이 불편에서 말았는데.. 적어도 글을 날릴 일은 없으니까요..

Cadence Technology on Tour

오늘 있었던 시납시스 세미나에 이어, 케이던스 세미나 공고 입니다.

Synopsys 세미나는 회사 업무때문에 부득이하게 못갔습니다. UDF에 대한 이야기가 있었다고 하던데, 회사 후배들이 가서 자료만 좀 봤습니다.
케이던스도 역시 저전력에 힘을 기울이고 있죠? (format 전쟁중이기도 하구요 ^^; 아쉽게도 행정적인 문제로 IEEE 표준에서 약간 밀린 느낌이 있습니다만..)
관심있으신 분은 참석하세요..





  • 행사명 : Technology On Tour 2007
  • 일 시 : 2007년 5월 3일 (목) 09:00 ~ 17:00
  • 장 소 : 호텔롯데월드 3F 크리스탈볼룸
  • 주 최 : 케이던스코리아(유)



Tech Keynote :


[ Keynote title ] Power forward : Removing barriers to low power design and verifications


[ Speaker profile ] : Koorosh Nazifi


Koorosh Nazifi is the program director for the Power Forward Initiative within Cadence. He manages the development and delivery of all Power Forward related product support across Cadence Corporation. Previously, he program managed the Interoperability Initiatives within Cadence encompassing OpenAccess, OpenKit, and ECSM standardization. He has extensive engineering, marketing, and business development experience in the EDA and ATE markets, including marketing pioneering technologies in the field of low power RTL optimization and analysis starting in 1996. Previously, he has held engineering and marketing roles at Synopsys, Teradyne, and Schlumberger. He holds an MBA from San Francisco State University and a BS in mechanical engineering from University of Missouri in Rolla.


Keynote abstract


The ever increasing miniaturization and integration of voice, data, and video led by consumer electronics has brought low power management to the forefront of design challenges, no less equal to timing. Additionally, the ongoing trend toward shrinking process geometries and the power management complications resulting from increased device leakage has equally challenged designers and semiconductor manufacturers alike. The industry’s response has been development of optimization and implementation techniques such as multi-voltage supply domains, power shutoff, and dynamic voltage and frequency scaling coupled with new IP to address the increasing need for reduced energy consumption.


Much of these techniques are utilized at the physical implementation after the initial RTL design creation and exploration. The purpose of this talk is to define a new methodology that supports definition and capture of low power design intent at RTL to enable automation, flow efficiency and productivity gains while bridging the gap between design and verification due to limitations of HDL.



Functional Verification


[ Enterprise System-level Verification ]


Get an overview of the Incisive® Enterprise System-Level Verification Solution, which combines automated hardware, embedded software, and system-level verification with system-wide management and new high-performance engines. Combined with the Incisive Plan-to-Closure Methodology, the solution extends the capabilities of traditional ESL approaches, which focus only on systems engineers and C-level tools. Find out how this new approach enforces system requirements across all engineering functions including design and verification—from an abstract system-level model and verification plan to in-system IP verification, systems integration, validation, and system-level closure.


[ Incisive Plan-to-Closure Methodology ]


Get an overview of the Incisive® Enterprise System-Level Verification Solution, which combines automated hardware, embedded software, and system-level verification with system-wide management and new high-performance engines. Combined with the Incisive Plan-to-Closure Methodology, the solution extends the capabilities of traditional ESL approaches, which focus only on systems engineers and C-level tools. Find out how this new approach enforces system requirements across all engineering functions including design and verification—from an abstract system-level model and verification plan to in-system IP verification, systems integration, validation, and system-level closure.


[ Power-aware verification ]


Incisive Design Team Manager and Incisive Enterprise Manager can read the CPF and automatically extend the verification plan to include coverage analysis of power modes and power control signals, ensuring that all power-related logic is exercised completely during the verification process. Both products automate the tasks that would otherwise require intensive human interaction, custom-software development, or are simply impossible to achieve manually.



Digital IC design


[Cadence Low power solution]


Improve productivity, reduce risk, and achieve optimal trade-offs among timing, power, and area with the Cadence Low-Power Solution. See the industry’s first complete low-power solution, integrating design, verification, and implementation – enabled by Si2 Common Power Format (CPF).


[Encounter Conformal Constraint Designer]


See how CCD’s constraint check and exception generation integrated seamlessly in SOC Encounter environment.


[DFY flow]


See an overview of SoC Encounter GXL differentiated features – focused on high-end digital design at 65nm/45nm technology, and how these features address OCV, process defect challenges for fast design closure and minimum yield risk.



Custom IC design


[ IC 6.1 – Design environment / Simulation /  constraint flow ]


This demo focuses on the Virtuoso Schematic Editor and the Virtuoso Analog Design Environment. You will discover some of the new features and functionality that are available, focusing on the enhanced productivity that designers enjoy with the introduction of assistance. You will also learn about the constraint management system that can be used to pass information the schematic through to layout.


[IC 6.1 – Layout suite / Constraint flow ]


Discover the new, common cockpit that integrates all the products designers can access at any time during the design. Learn how to quickly perform area estimation on a piece of data, obtain the information, and plug it into a floor planning technology. Alo see simple editing to correct violations, the use of pin placement technology, and design optimization.


[AMS/RF Kit – Building out wireless]


The Cadence® AMS Methodology Kit addresses analog/mixed-signal design challenges across some of today’s most competitive markets, including wireless, wired networking, and personal entertainment electronics. The Kit delivers a verified methodology, enabling IP, and consulting, all of which is demonstrated on an end-to-end mixed-signal design example.
The Cadence RF Design Methodology Kit helps shorten product development cycle time by increasing silicon predictability and enabling greater RF design productivity.



IC-PKG-PCB design / System-in-package design


[ RF/Digital SiP design & RF SiP Kit ]


Cadence system-in-package (SiP) design technology provides automation, integration, reliability and repeatability for system-level co-design, advanced packaging, and RF module design.


Cadence SiP solutions seamlessly integrate into Cadence Encounter® for die abstract co-design, Cadence Virtuoso® for RF module design, and Cadence Allegro® for package/board co-design.


[ Highspeed design (SI/PI/EMI challenges) ]


Whether you are designing PCB systems with large number of high-speed nets or a system with small number that operate in Multi-gigahertz (MGH) range, Allegro PCB SI offers a scalable, complete and integrated solution for SI engineers and hardware engineers to explore and resolve electrical performance-related issues at every stage of the high-speed PCB system design cycle.



[ Keynote title ] Cadence Logic Design Team Solution


[ Speaker profile ] : Yoon Kim


Yoon Kim is the Product Marketing Group Director at Cadence, responsible for defining and driving implementation of marketing strategies for various tools using formal verification technology. Prior to joining Cadence, Yoon has held engineering and management positions at Hewlett-Packard and LSI Logic, where she was involved in various ASIC and microprocessor designs and methodology development. Yoon holds a M.S. degree in electrical engineering from Stanford University and a B.S. degree in electrical engineering from MIT.


Keynote abstract


As designs increase in complexity and the impact of shrinking geometries on logic design grows, front-end design teams face an increasing number of challenges, many of which can put already tight schedules at risk. These challenges include the critical nature of power, a growing design/verification gap, logical physical effects, and others, and have up until today been tackled in a serial, ad-hoc and highly iterative manner. Together this all results in a schedule predictability crisis as the actual product development time can be twice as large, or more, as the expected schedule. As a result, logic design teams need a new method to effectively design, verify and implement their RTL block and chip-level designs-one that replaces today’s methods with a concurrent and highly predictable flow, without destabilizing existing design and verification processes. In this presentation we’ll provide a framework for addressing these problems



———————————-

가상화 기술.. 왜 각광 받는가?

이 글은 MPR의 “gHOST in the machine”이라는 3주간의 연재 기사를 읽고 이를 토대로 “제 기억 남은 내용과 그 간의 어설픈 지식을 버무려” 쓴 글입니다. 관심 있으신 분은 microprocessor report를 보시는 것이 더 좋은 글을 읽으실 수 있습니다.

요즘 마이크로 프로세서에서는 “가상화(virtualization)”라는 기술이 각광받고 있습니다.
Intel도 AMD도 서로 앞을 다투어 “가상화” 가속 명령어라는 것을 대대적으로 홍보하고 있지요.
그럼.. 가상화 기술이 대관절 무엇이관대 이렇게도 세상을 시끄럽게 하는지 알아보도록 하겠습니다.

우선, 생각해볼 문제가 가상화란 것이 무엇인가 하는 점입니다.
가상화란 “A”라는 머신에 “B”라는 virtual machine을 구동시키는 것을 의미합니다. 근데, embedded 분야에 종사하시는 분은 상당히 익숙하실만한 Intel CPU상에서 ARM이나 MIPS cpu simulator가 구동되는것도 엄연히 virtual machine이 구동되는 것입니다. (사실 마음 같아서는 제가 만든 EISC processor simulator인 ESCAsim도 끼워 넣고 싶지만.. ^^; 사용해 보셨을 분이 극히 제한적이라.. 그래도 나름대로 uCLinux까지도 구동 가능한 simulator랍니다.). 또한, 일반적인 사용자분들께서도 JVM(Java Virtual Machine)에 익숙하실 것입니다.  즉, 가상화란 “특별한 기술”이 아니라는 거죠. 다른 프로세서의 “동작”을 모사하는 것은 범용 마이크로 프로세서에게 있어서는 큰 문제가 아니라는 것이죠.

제가 가상화 가속 기술들이 속속 소개 될때 가장 궁금했던 내용이 “왜 가상화 가속이 필요한가” 였습니다. 일반적으로 모든 프로세서에서 큰 어려움 없이 되는 것에 대한 가속이라.. 근데, 문제는 다른 것이더군요. 그리고, 이 문제가 multithread/multicore processor를 이끄는 힘 중에 하나가 됩니다. 흥미 진진하죠?

시간은 거슬러 소프트웨어 업계의 가장 변태적인(저는 가끔 천재적인 = 변태적인으로 인식하게 되더군요..) 소프트웨중의 하나인 “VMWare”가 나타납니다. VMWare는 Virtual machine인데, 해당 프로세서뿐 아니라 해당 시스템에 있는 모든 시스템을 가상화시킨 하나의 독립적인 “시스템”으로서의 가치가 있습니다.

이 각각의 독립적인 가상 시스템에서 서버를 운용한다면 어떻게 될까요?
하나의 머신에서 A,B,C라는 세 개의 서버가 운용되고, A라는 머신에 문제가 발생해도 B, C라는 머신은 문제 없이 수행되겠지요? 즉, 안정성의 문제가 향상되고.. OS 하나가 만들어 낼 수 있는 thread보다 OS 세 개가 만들어내는 thread가 당연히 많고 parallelism도 높겠지요. 즉, multiprocessing/multithreading에 유리한 환경이 됩니다.
이 부분이 가상화 기술이 multicore/multithreading의 기치를 높이 들고 있는 현재의 microprocessor에게 있어서 병렬성의 문제를 확보할 수 있는 아주 좋은 수단으로 여겨지게 되는 것입니다.

그런데, 문제는 각 가상 시스템이 host OS의 application이라는 점입니다. 즉, host OS에 문제가 발생하면 전체 가상 시스템에 문제가 발생한다는 문제점이 있는거죠. 이 문제는 아주 치명적입니다. 여러 개의 가상 시스템이 한번에 모두 죽어버릴 수 있는 여지가 있는 것이니까요.

이 문제를 해결하고자 하는 방법이 기존의 user/supervisor 모델에 hypervisor라는 권한(혹은 권한 수준)을 추가하는 것입니다. 즉, 예전에는 O/S가 모든 하드웨어나 서비스에 접근했는데, 이중에 민감한 부분은 hypervisor(혹은 virtual machine manager)라는 firmware가 서비스를 담당하고, 그 위에서 각 OS(실은 VM이겠죠?)들이 도는 구조로 바뀌는 거죠.
예전에 application이 OS에 종속되고, OS가 다시 hyperviosr에 종속되면서 점점 하드웨어에 직접 접근해서 시스템 전체를 불안하게 만드는 것이 허용되지 않게 되는 것입니다.

가상화 “가속” 기술이란 말하자면, 이런 hypervisor를 추가하여 운용할 수 있도록 하는 명령을 추가하는 것으로 보시면 되겠습니다. Microprocessor report상에서는 각 프로세서간의 차이점등 아주 재미있는 내용이 많으니, 관심있으신 분은 꼭 보세요 🙂 (이 부분도 포스팅 하고 싶습니다만, 좀 내용이 너무 전문적일지도 모른다는 생각에.. 혹시라도 요청이 있다면 고려하겠습니다)