TAILIEUCHUNG - Advanced Verification Flow part 2

[ Team LiB ] Assertion Checking The traditional verification flow discussed in the previous section is a black box approach, ., verification relies only on the knowledge of the input and output behavior of the system | Team LiB Assertion Checking The traditional verification flow discussed in the previous section is a black box approach . verification relies only on the knowledge of the input and output behavior of the system. Many other verification methodologies have evolved over the past few years to complement the traditional verification flow discussed in the previous section. In this section and the following sections we explain some of these new verification methodologies that use the white box verification approach . knowledge of the internal structure of the design is needed for verification. Assertion checking is a form of white box verification. It requires knowledge of internal structures of the design. The main purpose of assertion checkers is to improve observability. Assertions are statements about a design s intended behavior. There are two types of assertions Temporal assertions - they describe the timing relationship between signals. Static assertions - they describe a property of a signal that is always true or false. Assertions may be used in the RTL code to describe the intended behavior of a piece of Verilog HDL code. The following are examples of such behavior An FSM state register should always be one-hot. The full and empty flags of a FIFO should never be asserted at the same time. Assertions can also be used to describe the behavior of the internal or external interface of a chip. For example the acknowledge signal should always be asserted within five cycles of the request signal. Assertions may be verified in simulation or by using formal methods. Assertions do not contribute to the element being designed they are usually treated as comments for logic synthesis. Their sole purpose is to ensure consistency between the designer s intention and the design that is created. Figure 15-7 shows the interfaces at which assertions could be placed in a FIFO-based design. Figure 15-7. Assertion Checks Assertion checks can be used with the traditional .

• Kỹ thuật lập trình
• thủ thuật lập trình
• ngôn ngữ lập trình
• tài liệu lập trình
• ngôn ngữ C#
• ứng dụng XML XSL
• lập trình căn bản
• kỹ thuật phần mềm
• chương trình lập trình
• kỹ thuật máy tính
• giáo trình lập trình
• lập trình hướng đối tượng
• chuyên ngành lập trình
• tổng quan về lập trình
• lập trình máy tính
• phần mềm máy tính
• code lập trình
• kinh nghiệm lập trình
• mẹo lập trình
• lập trình C++
• thủ thuật lập trình iphone
• lập trình iphone
• cài đặt iphone
• thủ thuật iphone
• ebook lập trình iphonethủ thuật lập trình iphone
• ebook lập trình iphone
• lập trình Visual C++
• Lập trình C trên Windows
• lập trình java
• Lập trình mạng bằng java
• Lập trình nâng cao
• thủ thuật hệ điều hành
• tìm hiểu hệ điều hành
• thủ thuật windows
• lập trình windows
• lập trình ứng dụng
• mẹo hay cho lập trình
• bí quyết lập trình