funktionelle dækning ved hjælp af PSL

[ravi123]

Jeg ønsker at gøre på tværs dækning af to 16 bit vektorer, men jeg ønsker at udelukke nogle betingelser. Er det muligt ved hjælp af PSL? bedes du give mig nogle reference. thanx

 

[quake]

Ja, du kan. i virkeligheden behøver du ikke at du kan henvise til emnet ved siden af denne http://www.edaboard.com/ftopic111575.html

 

[soccer]

Du kan se på nogle materiale af PSL om hjælp.

 

[aji_vlsi]

= {100,200,5000}}; / / tal ikke nødvendigvis repræsenterer sande værdier her på tværs cc uart_direction, baud_rate; endgroup: cross_cov Der er meget mere - siloer, binsof, ignorere, ulovlig osv. Hvis du er fortrolig med VERA eller E, vil det ligner dig. BTW - hvis du bruger SVA, kan den tidsmæssige del defineres ved SVA og tværgående dækning af SV. HTH Aji http://www.noveldv.com

 

[Arnold]

bare en rettelse, PSL DO støtte funktionelle dækning, Plese henvises til seneste IUS dokument om alkoholgrad

 

[aji_vlsi]

http://www.noveldv.com [/url]