Division-by-Convergence 방식을 사용하는 24-비트 부동소수점 제산기에 대한 OpenGL 정확도의 대수적 검증
Algebraic Accuracy Verification for Division-by-Convergence based 24-bit Floating-point Divider Complying with OpenGL
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
모바일 시스템에서는 비용 및 전력 효율이 중요하기 때문에 부동소수점 연산기 개발 시 32-비트 데이터 형식 대신 24-비트 데이터 형식을 사용하는 것이 좋다. 하지만 24-비트 데이터 형식을 사용할 경우 32-비트 데이터 형식에 비해 연산기의 정확도가 낮아질 수 있다. 3D 그래픽과 같이 연속적인 부동소수점 연산 처리가 많이 요구될 경우 연산기의 정확도에 대한 논의와 검증이 중요하다. 나눗셈은 3D 그래픽에 사용되는 연산 중 OpenGL에서 규정한 정확도를 만족하기 가장 어려운 연산 중 하나이다. 현재까지 OpenGL에서 규정한 정확도를 만족하는 것이 대수적으로 검증된 24-비트 부동소수점 제산기는 알려진 바가 없다. 본 논문에서는 24-비트 부동소수점 제산기를 분석하고, OpenGL ES 3.0에서 규정한 10-5의 정확도를 만족함을 대수적으로 검증한다.
Abstract
Low-cost and low-power are important requirements in mobile systems. Thus, when a floating-point arithmetic unit is needed, 24-bit floating-point format can be more useful than 32-bit floating-point format. However, a 24-bit floating-point arithmetic unit can be risky because it usually has lower accuracy than a 32-bit floating-point arithmetic unit. Consecutive floating-point operations are performed in 3D graphic processors. In this case, the verification of the floating-point operation accuracy is important. Among 3D graphic arithmetic operations, the floating-point division is one of the most difficult operations to satisfy the accuracy of 10-5 which is the required accuracy in OpenGL ES 3.0. No 24-bit floating-point divider, whose accuracy is algebraically verified, has been reported. In this paper, a 24-bit floating-point divider is analyzed and it is algebraically verified that its accuracy satisfies the OpenGL requirement.
참고문헌 (11)
- B. Lipchak, "OpenGL ES Version 3. 0" (2012), Khronos Group Inc.
- 이광엽, "A design of a floating point unit with 3 stages for a 3D graphics shader engine", 전기전자학회논문지, 11(4), pp.358~363 (2007), 한국전기전자학회
- 하진석, "Programmable Vertex Shader를 내장한 3차원 그래픽 지오메트리 가속기 설계", 전자공학회논문지 - SD, 43(9), pp.53~58 (2006), 대한전자공학회
- 이찬호, "모바일 3차원 그래픽 연산을 위한 제곱근 및 역제곱근 연산기 구조 및 설계", 전자공학회논문지 - SD, 46(3), pp.20~25 (2009), 대한전자공학회
- Y. Kweon, "A floating-point divider for mobile 3D graphics processors", International SoC Conference (ISOCC), pp.545~548 (2006)
- F. Sheikh, "A 2. 05 GVertices", s 151 mW lighting accelerator for 3D graphics vertex and pixel shading in 32 nm CMOS, 2013, pp.48(1), 128~139
- S. Hsiao, "Design of a programmable vertex processor in OpenGL ES 2. 0 mobile graphics processing units", International Symposium on VLSI Design, Automation, and Test (VLSI-DAT), pp.1~4 (2013)
- I. Koren, "Computer Arithmetic Algorithms 2nd ed." (2001), A K Peters
- N. Louvet, "Newton-Raphson algorithms for floating-point division using an FMA", IEEE International Conferfence on Application-specific Systems Architectures and Processors (ASAP), pp.200~207 (2010)
- D. M. Russinoff, "Computation and formal verification of SRT quotient and square root digit selection tables", IEEE Transactions on Computers, 62(5), pp.900~913 (2013)
- ANSI, "IEEE", IEEE Standard for Binary Floating-Point Arithmetic, IEEE std 7544-1985, pp.1985, ~