Towards provably correct hardware/software partitioning using occam.

Edna Barros Augusto Sampaio

Published in: CODES (1994)

Keyphrases

provably correct
hardware software partitioning
design issues
feature analysis
situation calculus
hardware software
design space exploration
formal methods
hw sw
artificial intelligence
information systems
case study
hardware and software
design space