sanjiaobo.lts

来自「这是一个用abel语言编写的三角波发生器」· LTS 代码 · 共 27 行

// TOOL ispDesignEXPERT 8.3
// MODULE sanjiaobo
NETWORK SANJIAOBO
MODULE sanjiaobo
XRESET_SIGNAL !XRESET 0@0ns 1@0ns
XRESET_SIGNAL XRESET 0@0ns 1@0ns
VECTOR XTEST_OE PATTERN 1#0ns
ftrace(sanjiaobo.tra, "%12t: %b%b->%b%b%b%b%b%b",$time,CP,control,Q5,Q4,Q3,Q2,Q1,Q0);
SET INTERNAL_ONLY_ALL_SET$$ [CP,control,Q5,Q4,Q3,Q2,Q1,Q0]
BREAK IF INTERNAL_ONLY_ALL_SET$$ ->? DO PRINT
VECTOR CP INIT X PATTERN 1*(0#0,1#1,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,0#1,1#2,\
0#1,0#1)
VECTOR control INIT X PATTERN 1*(0#0,0#21)
EXPECT Q5 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,\
X#1,X#1,X#1,X#1,X#1,X#1);
EXPECT Q4 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,\
X#1,X#1,X#1,X#1,X#1,X#1);
EXPECT Q3 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,\
X#1,X#1,X#1,X#1,X#1,X#1);
EXPECT Q2 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,\
X#1,X#1,X#1,X#1,X#1,X#1);
EXPECT Q1 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,\
X#1,X#1,X#1,X#1,X#1,X#1);
EXPECT Q0 INIT X PATTERN 1*(X#0,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,X#1,\
X#1,X#1,X#1,X#1,X#1,X#1);
RUN