Introduction to the special issue on verification of arithmetic hardware

Formal Methods in System Design

Volumn 14, Issue 1, 1999, Pages 5-6

  German, Steven M ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTATIONAL METHODS; COMPUTER CIRCUITS; MATHEMATICAL MODELS; MICROPROGRAMMING; TABLE LOOKUP;

ARITHMETIC HARDWARE; SRT DIVISION ALGORITHM;

THEOREM PROVING;

EID: 0032675801     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008661411164     Document Type: Article

References (1)