In this section we move to design with components larger than logic elements. We first look at register-transfer design and behavioral optimizations such as scheduling and allocation. We then look at design methodologies and in particular design verification. We conclude with some example designs to illustrate what we have learned so far.
6.2 Behavioral Design
In this section we will study design abstractions above register-transfer. Behavioral design moves from a more abstract description of the operations to be performed to a register-transfer-level model of when and how those operations will be ...