Decomposing the Proof of Correctness of pipelined Microprocessors.

Ravi Hosabettu Mandayam K. Srivas Ganesh Gopalakrishnan

Published in: CAV (1998)

Keyphrases

provably correct
theorem proving
data flow
personal computer
theorem prover
computing power
single chip
linear logic
computer architecture
real time
information retrieval
feature selection
video sequences
hidden markov models