9.2.2 Unit-level verification верификация уровня элементов

Комплексное проектирование чаще всего разделён на несколько логических компонентов, которые упоминаются как элементы. A complex design is usually divided into several logical components that are referred to as units.Элементы общаются через шины придерживаясь заданных протоколов. The units intercommunicate through buses following prespecified protocols. Рисунок 9.4 показывает AMBA SOC на основе шины проектирования .Figure 9.4 shows an AMBA bus-based SOC design.Память, UART(универсальный асинхронный приемопередатчик),мост и Arbiter среди элементов созданных из множества различных компонентов уровня разработки. Memory, UART, Bridge, and Arbiter are among the units created from many different designer-level components. Для примера,связь между двумя элементами идёт через 2 PCI шины. In this example, the communications between units go through two PCI buses. [Scafidi 2004] сообщает, что даже, когда модель процессора Intel Itanium 2 была близка к записи качества, верификация уровня элементов до сих пор не покрыла дополнительных ошибок. [Scafidi 2004] reported that even when the full-chip model of Intel’s Itanium-2 processor was close to the tape-out quality, unit-level verification still uncovered additional bugs.Функциональность на уровне элементов указана более чётче, и обычно техническое задание более стабильным, чем на уровне разработки. The functionality at the unit level is specified more clearly, and usually the specification is more stable than that at the designer level.Каждый элемент обычно имеет точное техническое задание, где физические и временные характеристики будут соблюдаться требованиями протокола шины.Each unit usually has a precise specification where its physical and timing characteristics will abide by the requirements of the bus protocol. Каждый элемент выполняет комплекс определённых операций. Each unit implements a set of specified operations.Следовательно, цель верификации уровня элементов гарантировать, что каждая операция выполняемая элементом соответствует желаемой функциональности и удовлетворяет ограничениям связи шины интерфейса.Therefore, the goal of unit-level verification is to guarantee that each operation performed by the unit conforms to the desired functionality and satisfies the bus interface’s communication constraints.

Из-за высокой доступности элементов через шины,высококачественная верификация, гарантирующая, что каждый элемент корректно отвечает своей спецификации, обычно достижима. Because of the high accessibility of units through buses, high-quality verification that guarantees each unit correctly meets its formal specification is usually achievable. В идеальной ситуации, как только верификация уровня элементов завершена, ошибки находящиеся в этих элементах может быть исключён из списка кандидатов.In an ideal situation, once the unit-level verification is completed, bugs residing within these units can be excluded from the list of candidates.Когда исполняемая верификация на следующем уровне, должны учитываться только ошибки, возникающие из коммуникационных и физических интерфейсов. When performing verification at the next level, only those bugs originated from the communication and physical interfaces need to be considered.