부산대학교 도서관

교내접속OFF
영문 바로가기
Home
통합검색
학술논문

학술논문

replay검색결과 돌아가기
search검색화면
Formal verification of a fully IEEE compliant floating point unit
Document Type
TEXT
Author
Source
Subject
Computer Science
Microprocessor
Floating-point calculation
Hardware verification
Model Checking
Automatic Evidence Procedure
Informatik
Mikroprozessor
Gleitkommarechnung
Hardwareverifikation
Pipeline-Verarbeitung
Automatisches Beweisverfahren
Mikroprozessor ; Gleitkommarechnung ; Hardwareverifikation ; Pipeline-Verarbeitung ; Model checking ; Automatisches Beweisverfahren
Language
English
Abstract
Saarbrücken, Univ., Diss., 2002

Online Access

Open Access (Europeana) Find it@PNU

메일 발송

이메일

폴더 추가