Verification Environment of IEEE 1394 Chip Based on E

With the rapid growth of the scale of integrated circuit,functional verification has become the main bottleneck in the design process.Verification methodologies have evolved over the years from a simple HDL task-based methodology to a complete verification automation system.E provides all constructs needed to build an integrated verification automation system in an object oriented manner and an aspect oriented manner.Propose a kind of methodology of building componentized and reusable verification environment based on E language,with an example of IEEE 1394 IP.Also introduce how test vectors were generated based on constraints.This kind of methodology was proved to be very useful to improve verification efficiency.