Preface; J.C. López, et al. 1. Embedded System Specification; E. Villar, M. Veiga. 2. Supporting Early System-Level Design Space Exploration in the Deep Submicron Era; M.F. Jacome, J.C. López. 3. Knowledge Based Hardware-Software Partitioning of Electronic Systems; M.L. López-Vallejo, J.C. López. 4. An Industrial Case Study in HW-SW Co-Design Using CASTLE; P.G. Plöger, et al. 5. Automatic Formal Derivation Applied to High-Level Synthesis; J.M. Mendías, R. Hermida. 6. Overlapped Scheduling Techniques for High-Level Synthesis and Multiprocessor Realizations of DSP Algorithms; S.H. Gerez, et al. 7. Synthesis of Reconfigurable Control Devices Based on Object-Oriented Specifications; V. Sklyarov, et al. 8. Estimation of Circuit Physical Features in High-Level Synthesis Based on Standard Cells; M. Fernández, H. Mecha. 9. Test Synthesis of Digital Systems; P. Sánchez, V. Fernández. 10. Advances in ATPG by Exploiting the Behavioral View; W. Geisselhardt, H.-D. Huemmer. 11. Behavioral Fault Simulation; J.-F. Santucci, et al. Index.
"synopsis" may belong to another edition of this title.