Functional Verification of Programmable Embedded Architectures

A Top-Down Approach

SPARK: A Parallelizing Approach to the High-Level Synthesis of Digital Circuits

Processor Description Languages

On-Chip Communication Architectures

System on Chip Interconnect

High — Level Synthesis

Introduction to Chip and System Design

Memory Issues in Embedded Systems-on-Chip

Optimizations and Exploration

Dependable Embedded Systems

Memory Architecture Exploration for Programmable Embedded Systems

Memory Architecture Exploration for Programmable Embedded Systems

SPARK:

A Parallelizing Approach to the High-Level Synthesis of Digital Circuits