A Compositional Rule for Hardware Design Refinement.

Kenneth L. McMillan

Published in: CAV (1997)

Keyphrases

hardware design
hardware implementation
association rules
fpga hardware
rule sets
cooperative
field programmable gate array
computer systems
active databases
fine grained
refinement process
classification rules
real time
data analysis
multi agent systems
case study
artificial intelligence