Modeling a Hardware Synthesis Methodology in Isabelle.

David A. Basin Stefan Friedrich

Published in: TPHOLs (1996)

Keyphrases

low cost
hardware and software
theorem prover
databases
data mining
image processing
expert systems
data processing
computer systems
embedded systems
inference rules
massively parallel
agent based models
vlsi implementation
business process modeling