A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata.

Geguang Pu Chong Zhang Zongyan Qiu Zuoquan Lin Jifeng He

Published in: KES (1) (2006)

Keyphrases

timed automata
hw sw
hardware software
model checking
reachability analysis
design methodology
embedded systems
theorem prover
hardware software partitioning
real time systems
hardware and software
theorem proving
artificial intelligence
information systems
low cost
first order logic