책 이미지
eBook 미리보기
책 정보
· 제목 : Fm8501: A Verified Microprocessor (Paperback, 1994)
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 엔지니어링
· ISBN : 9783540579601
· 쪽수 : 342쪽
· 출판일 : 1994-05-20
· 분류 : 외국도서 > 컴퓨터 > 컴퓨터 엔지니어링
· ISBN : 9783540579601
· 쪽수 : 342쪽
· 출판일 : 1994-05-20
목차
A hardware model.- Notation and bit vectors.- Numeric definitions and operations.- The verification approach.- FM8501: A conventional description.- Commonly used functions.- The ALU.- Instruction fields.- Update and accessor functions.- The FM8501 hardware interpreter.- FM8501: A formal specification.- Correctness of FM8501.- Expansion of FM8501.- Conclusions.
