The Verification of a Bit-slice ALU.

Warren A. Hunt Jr.Bishop Brock

Published in: Hardware Specification, Verification and Synthesis (1989)

Keyphrases

model checking
floating point
bit vector
artificial intelligence
database
magnetic tape
computer vision
expert systems
fixed point
formal methods
test generation
concurrent systems
logical operations
functional verification