The document discusses hardware/software co-design of embedded systems. It describes how embedded systems use computers for dedicated functions and discusses issues in designing these systems, including hardware/software partitioning and allocation. It also outlines a co-design methodology that allows verifying the entire hardware-software system through simulation and partitioning tasks between processors to avoid bottlenecks.