| Along with the development of semiconductor technology, the integrated circuit designtechnology is increasingly complex, based on the method of the bus agreement become amainstream design method. On one hand, based on the method of the bus divides the designinto several modules, this method can improve parallelism and portability. But on the otherhand, the design with bus agreement makes the hardware functional system verificationfacing new challenges. How to realize the function verification of the bus agreement, ensurethe correctness of the design, have become the bottleneck of system design. In this paper, thetrain communication network controller design and bus interface protocols functionverification technology were thoroughly discussed.This paper studies the MVB network card design with Wishbone protocol and theconnection design of MVB network and WTB gateway, which is based on PC/104bus. Focuson the bus interface protocols verification technology, proposes NEFSM stimulus generationtechnology, biasing method and assertion technology. NEFSM abstract model can accuratelydescribe the bus interface agreement, is suitable for modeling the interface protocol stimulusgenerator. Biasing technology make verification engineers to have better control, by adjustingthe bias parameters could be easy to perform to cover the verification edge. Assertions thatcan be convenient detection time characteristics in design, and improve the reliability ofverification.Finally, basing on the VMM verification methodology, we build verification environmentwith NEFSM using the library of VMM. In technology, Using DPI integrated incentivegenerator which is based on NEFSM and bias method into VMM verification environment.Comparing the Wishbone interface and PC/104bus interface validation data with traditionalplatform, the experimental results either in the rate of incentive generation and in theconvergence of verification, based on the NEFSM verification technologies has superiority. |
PDF Full Text Request