Formal Verification

바로 밑에 DVCON 2016리뷰가 있는 걸 보니, blog에 얼마나 무관심했는지 약간 죄책감이 듭니다만 꺼리가 생겼으니 써야겠죠. DVCON(Design & Verification Conference)은 산업계에서 주도해서 열고 있는 회의로, DVCON을 주최하고 있는 Accellra(http://accellera.org/)가 SystemC, VHDL, SystemVerilog, UVM, IP-XACT, UPF등의 굵직굵직한 산업계의 주요 표준을 만들고, IEEE-SA와의 협력을 통해서 국제 표준으로 등록하고 있는 단체라는 점을 고려하면 그 성격을 파악할 수 있을 것입니다.

OpenVG 1.1 # 지난 12월 3일자로 공개되었으니 한 1주일 되었습니다만, OpenVG 1.1 spec이 공개되었습니다. 이번 OpenVG 스펙에서 가장 중요한 사항은 Glyph 관련된 부분입니다. 즉, font 처리 부분이지요. 사실 이전 OpenVG에서도 Font 처리가 어려운 것은 아니었습니다만, font 관련된 다양한 hint를 사용하기는 조금 무리가 있었지요. 이번 OpenVG 1.1 스펙 공개와 더불어 OpenVG RI(reference implementation)부분도 1.1이 공개되었는데, Tessellation 부분은 기존의 구현과 그다지 다르지는 않아 보입니다. (몇 부분 수정이 있기는 합니다만 상당히 미미하구요..). 무지막지하게 비효율적으로 구현되어 있던 rasterizer 부분은 당연하게도 변경되어 있습니다. 무대뽀 scanline rasterization에서 그나마 Bounding box와 scissor를 체크해서 edge를 처리해 놓고 scanline rasterization을 진행하는 방법으로 바뀌었습니다. (뭐, 실제 적용할 때는 알아서들 바꿔 사용하시겠지만.. )