Download quicksimII_advanced_..

Transcript
Appendix C Lessons
Advanced Modeling Techniques
QuickPart Functional Description
The “toggle_jk” QuickPart Table:
Model Statement:
MODEL 'toggle_jk': TABLE =
Pin Declarations:
INPUT CLR, PRE, J, K;
EDGE_SENSE INPUT CLK;
OUTPUT Q, _Q;
State_Table Statements:
STATE_TABLE CLR, PRE, CLK, J, K,
Q, _Q ::
Q, _Q;
Logic Table:
0,
1,
0,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
0,
X,
1,
!0,
X,
1,
0,
0,
1,
1,
1,
1,
1,
1,
1,
1,
1,
1,
X,
0,
1,
X,
!0,
[??],
[??],
[??],
[01],
[01],
[01],
[01],
[?0],
[?0],
[1?],
[1?],
[?0],
[1?],
[??],
[??],
[0X],
[??],
[??],
?,
?,
?,
0,
1,
0,
1,
?,
?,
?,
?,
?,
?,
?,
?,
?,
?,
?,
?, ?, ? :: 0, 1;
?, ?, ? :: 1, 0;
?, ?, ? :: 1, 1;
0, ?, ? :: N, N;
0, ?, ? :: 1, 0;
1, ?, ? :: 0, 1;
1, ?, ? ::(_Q),(Q);
?, 0, ? :: N, N;
?, ?, 0 :: N, N;
?, 0, ? :: N, N;
?, ?, 0 :: N, N;
?, !0, !0 :: X, X;
?, !0, !0 :: X, X;
?, ?, ? :: X, 1;
?, ?, ? :: 1, X;
?, ?, ? :: X, X;
?, ?, ? :: X, X;
?, ?, ? :: X, X;
End Statement:
END ['toggle_jk': TABLE];MODEL statement
C-18
QuickSim II Advanced Training Workbook, 8.5_1
November 1995