📄 00887.html
字号:
<span style="color: #008000">/************ methods used to traverse 1 to many relationships ************/</span>
<span style="color: #0000FF">#define</span> vpiTypedef 698
<span style="color: #0000FF">#define</span> vpiImport 699
<span style="color: #0000FF">#define</span> vpiDerivedClasses 700
<span style="color: #0000FF">#define</span> vpiMethods 701
<span style="color: #0000FF">#define</span> vpiSolveBefore 702
<span style="color: #0000FF">#define</span> vpiSolveAfter 703
<span style="color: #0000FF">#define</span> vpiWaitingProcesses 704
<span style="color: #0000FF">#define</span> vpiMessages 705
<span style="color: #0000FF">#define</span> vpiMembers 706
<span style="color: #0000FF">#define</span> vpiLoopVars 707
<span style="color: #0000FF">#define</span> vpiConcurrentAssertions 708
<span style="color: #0000FF">#define</span> vpiMatchItem 709
<span style="color: #008000">/************ methods both 1-1 and 1-many relations ***********************/</span>
<span style="color: #0000FF">#define</span> vpiInstance 710
<span style="color: #008000">/************************ generic object properties ***********************/</span>
<span style="color: #0000FF">#define</span> vpiTop 600
<span style="color: #0000FF">#define</span> vpiUnit 601
<span style="color: #0000FF">#define</span> vpiAccessType 602
<span style="color: #0000FF">#define</span> vpiForkJoinAcc 1
<span style="color: #0000FF">#define</span> vpiExternAcc 2
<span style="color: #0000FF">#define</span> vpiDPIExternAcc 3
<span style="color: #0000FF">#define</span> vpiDPIImportAcc 4
<span style="color: #0000FF">#define</span> vpiArrayType 603
<span style="color: #0000FF">#define</span> vpiStaticArray 1
<span style="color: #0000FF">#define</span> vpiDynamicArray 2
<span style="color: #0000FF">#define</span> vpiAssocArray 3
<span style="color: #0000FF">#define</span> vpiQueueArray 4
<span style="color: #0000FF">#define</span> vpiIsRandomized 604
<span style="color: #0000FF">#define</span> vpiRandType 605
<span style="color: #0000FF">#define</span> vpiNotRand 1
<span style="color: #0000FF">#define</span> vpiRand 2
<span style="color: #0000FF">#define</span> vpiRandC 3
<span style="color: #0000FF">#define</span> vpiConstantVariable 606
<span style="color: #0000FF">#define</span> vpiMember 607
<span style="color: #0000FF">#define</span> vpiVisibility 608
<span style="color: #0000FF">#define</span> vpiPublicVis 1
<span style="color: #0000FF">#define</span> vpiProtectedVis 2
<span style="color: #0000FF">#define</span> vpiLocalVis 3
<span style="color: #0000FF">#define</span> vpiPacked 609
<span style="color: #0000FF">#define</span> vpiTagged 610
<span style="color: #0000FF">#define</span> vpiRef 611
<span style="color: #0000FF">#define</span> vpiDefaultSkew 612
<span style="color: #0000FF">#define</span> vpiVirtual 613
<span style="color: #0000FF">#define</span> vpiUserDefined 614
<span style="color: #0000FF">#define</span> vpiIsConstraintEnabled 615
<span style="color: #0000FF">#define</span> vpiClassType 616
<span style="color: #0000FF">#define</span> vpiMailboxClass 1
<span style="color: #0000FF">#define</span> vpiSemaphoreClass 2
<span style="color: #0000FF">#define</span> vpiUserDefineClass 3
<span style="color: #0000FF">#define</span> vpiMethod 617
<span style="color: #0000FF">#define</span> vpiValid 618
<span style="color: #0000FF">#define</span> vpiActive 619
<span style="color: #0000FF">#define</span> vpiIsClockInferred 620
<span style="color: #0000FF">#define</span> vpiQualifier 621
<span style="color: #0000FF">#define</span> vpiUniqueQualifier 1
<span style="color: #0000FF">#define</span> vpiPriorityQualifier 2
<span style="color: #0000FF">#define</span> vpiTaggedQualifier 3
<span style="color: #0000FF">#define</span> vpiNullConst 622
<span style="color: #0000FF">#define</span> vpiOneStepConst 623
<span style="color: #0000FF">#define</span> vpiAlwaysType 624
<span style="color: #0000FF">#define</span> vpiAlwaysComb 1
<span style="color: #0000FF">#define</span> vpiAlwaysFF 2
<span style="color: #0000FF">#define</span> vpiAlwaysLatch 3
<span style="color: #0000FF">#define</span> vpiDistType 625
<span style="color: #0000FF">#define</span> vpiEqualDist 1 <span style="color: #008000">/* constraint equal distribution */</span>
<span style="color: #0000FF">#define</span> vpiDivDist 2 <span style="color: #008000">/* constraint divided distribution */</span>
<span style="color: #008000">/******************************** Operators *******************************/</span>
<span style="color: #0000FF">#define</span> vpiImplyOp 50 <span style="color: #008000"> /* -> implication operator */</span>
<span style="color: #0000FF">#define</span> vpiNonOverlapImplyOp 51 <span style="color: #008000">/* |=> non-overlapped implication */</span>
<span style="color: #0000FF">#define</span> vpiOverlapImplyOp 52 <span style="color: #008000">/* |-> overlapped implication operator */</span>
<span style="color: #0000FF">#define</span> vpiUnaryCycleDelayOp 53 <span style="color: #008000">/* binary cycle delay (##) operator */</span>
<span style="color: #0000FF">#define</span> vpiCycleDelayOp 54 <span style="color: #008000">/* binary cycle delay (##) operator */</span>
<span style="color: #0000FF">#define</span> vpiIntersectOp 55 <span style="color: #008000">/* intersection operator */</span>
<span style="color: #0000FF">#define</span> vpiFirstMatchOp 56 <span style="color: #008000">/* first_match operator */</span>
<span style="color: #0000FF">#define</span> vpiThroughoutOp 57 <span style="color: #008000">/* throught operator */</span>
<span style="color: #0000FF">#define</span> vpiWithinOp 58 <span style="color: #008000">/* within operator */</span>
<span style="color: #0000FF">#define</span> vpiRepeatOp 59 <span style="color: #008000">/* [=] non-consecutive repetition */</span>
<span style="color: #0000FF">#define</span> vpiConsecutiveRepeatOp 60 <span style="color: #008000">/* [*] consecutive repetition */</span>
<span style="color: #0000FF">#define</span> vpiGotoRepeatOp 61 <span style="color: #008000">/* [->] goto repetition */</span>
<span style="color: #0000FF">#define</span> vpiPostIncOp 62 <span style="color: #008000">/* ++ post-increment */</span>
<span style="color: #0000FF">#define</span> vpiPreIncOp 63 <span style="color: #008000">/* ++ pre-increment */</span>
<span style="color: #0000FF">#define</span> vpiPostDecOp 64 <span style="color: #008000">/* -- post-decrement */</span>
<span style="color: #0000FF">#define</span> vpiPreDecOp 65 <span style="color: #008000">/* -- pre-decrement */</span>
<span style="color: #0000FF">#define</span> vpiMatchOp 66 <span style="color: #008000">/* match() operator */</span>
<span style="color: #0000FF">#define</span> vpiCastOp 67 <span style="color: #008000">/* type‘() operator */</span>
<span style="color: #0000FF">#define</span> vpiIffOp 68 <span style="color: #008000">/* iff operator */</span>
<span style="color: #0000FF">#define</span> vpiWildEqOp 69 <span style="color: #008000">/* =?= operator */</span>
<span style="color: #0000FF">#define</span> vpiWildNeqOp 70 <span style="color: #008000">/* !?= operator */</span>
<span style="color: #0000FF">#define</span> vpiStreamLROp 71 <span style="color: #008000">/* left-to-right streaming {>>} operator */</span>
<span style="color: #0000FF">#define</span> vpiStreamRLOp 72 <span style="color: #008000">/* right-to-left streaming {<<} operator */</span>
<span style="color: #0000FF">#define</span> vpiMatchedOp 73 <span style="color: #008000">/* the .matched sequence operation */</span>
<span style="color: #0000FF">#define</span> vpiEndedOp 74 <span style="color: #008000">/* the .ended sequence operation */</span>
<span style="color: #008000">/************************** STRUCTURE DEFINITIONS *************************/</span>
<span style="color: #008000">/***************************** structure *****************************/</span>
<span style="color: #008000">/**************************** CALLBACK REASONS ****************************/</span>
<span style="color: #0000FF">#define</span> cbStartOfThread 600 /* callback on thread creation */
<span style="color: #0000FF">#define</span> cbEndOfThread 601 /* callback on thread termination */
<span style="color: #0000FF">#define</span> cbEnterThread 602 /* callback on re-entering thread */
<span style="color: #0000FF">#define</span> cbStartOfFrame 603 /* callback on frame creation */
<span style="color: #0000FF">#define</span> cbEndOfFrame 604 /* callback on frame exit */
<span style="color: #0000FF">#define</span> cbTypeChange 605 /* callback on variable type/size change */
<span style="color: #008000">/************************* FUNCTION DECLARATIONS **************************/</span>
<span style="color: #008000">/**************************************************************************/</span>
<span style="color: #008000">/**************************************************************************/</span>
<span style="color: #008000">/*************************** Coverage VPI *********************************/</span>
<span style="color: #008000">/* coverage control */</span>
<span style="color: #0000FF">#define</span> vpiCoverageStart 711
<span style="color: #0000FF">#define</span> vpiCoverageStop 712
<span style="color: #0000FF">#define</span> vpiCoverageReset 713
<span style="color: #0000FF">#define</span> vpiCoverageCheck 714
<span style="color: #0000FF">#define</span> vpiCoverageMerge 715
<span style="color: #0000FF">#define</span> vpiCoverageSave 716
<span style="color: #008000">/* coverage type properties */</span>
<span style="color: #0000FF">#define</span> vpiAssertCoverage 717
<span style="color: #0000FF">#define</span> vpiFsmStateCoverage 718
<span style="color: #0000FF">#define</span> vpiStatementCoverage 719
<span style="color: #0000FF">#define</span> vpiToggleCoverage 720
<span style="color: #008000">/* Coverage status properties */</span>
<span style="color: #0000FF">#define</span> vpiCovered 721
<span style="color: #0000FF">#define</span> vpiCoverMax 722
<span style="color: #0000FF">#define</span> vpiCoveredCount 723
<span style="color: #008000">/* Assertion-specific coverage status properties */</span>
<span style="color: #0000FF">#define</span> vpiAssertAttemptCovered 724
<span style="color: #0000FF">#define</span> vpiAssertSuccessCovered 725
<span style="color: #0000FF">#define</span> vpiAssertFailureCovered 726
<span style="color: #008000">/* FSM-specific coverage status properties */</span>
<span style="color: #0000FF">#define</span> vpiFsmStates 727
<span style="color: #0000FF">#define</span> vpiFsmStateExpression 728
<span style="color: #008000">/* FSM handle types */</span>
<span style="color: #0000FF">#define</span> vpiFsm 729
<span style="color: #0000FF">#define</span> vpiFsmHandle 730
<span style="color: #008000">/***************************************************************************/</span>
<span style="color: #008000">/***************************************************************************/</span>
<span style="color: #008000">/***************************** Assertion VPI *******************************/</span>
<span style="color: #008000">/* assertion types */</span>
<span style="color: #0000FF">#define</span> vpiSequenceType 731
<span style="color: #0000FF">#define</span> vpiAssertType 732
<span style="color: #0000FF">#define</span> vpiCoverType 733
<span style="color: #0000FF">#define</span> vpiPropertyType 734
<span style="color: #0000FF">#define</span> vpiImmediateAssertType 735
<span style="color: #008000">/* assertion callback types */</span>
<span style="color: #0000FF">#define</span> cbAssertionStart 606
<span style="color: #0000FF">#define</span> cbAssertionSuccess 607
<span style="color: #0000FF">#define</span> cbAssertionFailure 608
<span style="color: #0000FF">#define</span> cbAssertionStepSuccess 609
<span style="color: #0000FF">#define</span> cbAssertionStepFailure 610
<span style="color: #0000FF">#define</span> cbAssertionDisable 611
<span style="color: #0000FF">#define</span> cbAssertionEnable 612
<span style="color: #0000FF">#define</span> cbAssertionReset 613
<span style="color: #0000FF">#define</span> cbAssertionKill 614
<span style="color: #0000FF">#define</span> cbAssertionSysInitialized 615
<span style="color: #0000FF">#define</span> cbAssertionSysStart 616
<span style="color: #0000FF">#define</span> cbAssertionSysStop 617
<span style="color: #0000FF">#define</span> cbAssertionSysEnd 618
<span style="color: #0000FF">#define</span> cbAssertionSysReset 619
<span style="color: #008000">/* Assertion control constants */</span>
<span style="color: #0000FF">#define</span> vpiAssertionDisable 620
<span style="color: #0000FF">#define</span> vpiAssertionEnable 621
<span style="color: #0000FF">#define</span> vpiAssertionReset 622
<span style="color: #0000FF">#define</span> vpiAssertionKill 623
<span style="color: #0000FF">#define</span> vpiAssertionEnableStep 624
<span style="color: #0000FF">#define</span> vpiAssertionDisableStep 625
<span style="color: #0000FF">#define</span> vpiAssertionClockSteps 626
<span style="color: #0000FF">#define</span> vpiAssertionSysStart 627
<span style="color: #0000FF">#define</span> vpiAssertionSysStop 628
<span style="color: #0000FF">#define</span> vpiAssertionSysEnd 629
<span style="color: #0000FF">#define</span> vpiAssertionSysReset 630
<span style="color: #008000">/* Assertion related structs and types */</span>
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -