Modeling a Hardware Synthesis Methodology in Isabelle.

David A. Basin Stefan Friedrich

Published in: Formal Methods Syst. Des. (1999)

Keyphrases

low cost
real time
theorem prover
computing power
databases
computer systems
hardware and software
massively parallel
high end
machine learning
information systems
multi agent
input output
computing systems
single chip
discrete event simulation