Aspect－Oriented Programming

AOP(Aspect-Oriented Programming)link

Why important in verification: Verification requires breakingthings to verify how a design will react to the bad data, and also concerned about different things at different times.

Disabling an aspect can onlylogicallyremove it, the aspect remains therephysically.

Limitation: How to control or manage the aspect, becasue of its freedom.

Concurrency
The problem of concurrency is describing concurrent systems, and executing them

In veriloginitialstatement DOES NOT means initialization. initialblock are indentical toalwaysblock except that they execute only once. They are removed from thesimulation once the last statement in theinitialblock executes

How to emulating Parallelism on a Sequential Processor

In process, all theprocessoralwaysare each executed sequentially, but simulator assumes that the various parallel constructs cooperate to obtain fair access to the simulation resources.

Unlikely operation system, in simulator there is not a kick-out time limitation for process. Thus it is possible in a simulationi to have a process grab the simulation engine and never let it go.  THUS ensuring that the parallel construcet properly cooperate in a simulation is a large part of understanding how concurrency is implemented.

FPGA/CPLD器件价格查询