// TOOL ispDesignEXPERT 8.1
// MODULE bcd_to_seven_segment
NETWORK BCD7SEG
MODULE bcd_to_seven_segment
XRESET_SIGNAL !XRESET 0@0ns 1@0ns
XRESET_SIGNAL XRESET 0@0ns 1@0ns
VECTOR XTEST_OE PATTERN 1#0ns
ftrace(bcd7seg.tra, "%12t: %b%b%b%b->%b%b%b%b%b%b%b",$time,A_0_,A_1_,A_2_,A_3_,SEGMENTS_0_,SEGMENTS_1_,SEGMENTS_2_,SEGMENTS_3_,SEGMENTS_4_,SEGMENTS_5_,SEGMENTS_6_);
SET INTERNAL_ONLY_ALL_SET$$ [A_0_,A_1_,A_2_,A_3_,SEGMENTS_0_,SEGMENTS_1_,SEGMENTS_2_,SEGMENTS_3_,SEGMENTS_4_,SEGMENTS_5_,SEGMENTS_6_]
BREAK IF INTERNAL_ONLY_ALL_SET$$ ->? DO PRINT
VECTOR A_0_ INIT X PATTERN 1*(0#0,1#1,0#1,1#1,0#1,1#1,0#1,1#1,0#1,1#1,1#1)
VECTOR A_1_ INIT X PATTERN 1*(0#0,1#2,0#2,1#2,0#2,0#2)
VECTOR A_2_ INIT X PATTERN 1*(0#0,1#4,0#4,0#2)
VECTOR A_3_ INIT X PATTERN 1*(0#0,1#8,1#2)
EXPECT SEGMENTS_0_ INIT X PATTERN 1*(1#0,0#1,1#1,1#1,0#1,1#1,1#1,1#1,1#1,1#1);
EXPECT SEGMENTS_1_ INIT X PATTERN 1*(1#0,1#1,1#1,1#1,1#1,0#1,0#1,1#1,1#1,1#1);
EXPECT SEGMENTS_2_ INIT X PATTERN 1*(1#0,1#1,0#1,1#1,1#1,1#1,1#1,1#1,1#1,1#1);
EXPECT SEGMENTS_3_ INIT X PATTERN 1*(1#0,0#1,1#1,1#1,0#1,1#1,1#1,0#1,1#1,1#1);
EXPECT SEGMENTS_4_ INIT X PATTERN 1*(1#0,0#1,1#1,0#1,0#1,0#1,1#1,0#1,1#1,0#1);
EXPECT SEGMENTS_5_ INIT X PATTERN 1*(1#0,0#1,0#1,0#1,1#1,1#1,1#1,0#1,1#1,1#1);
EXPECT SEGMENTS_6_ INIT X PATTERN 1*(0#0,0#1,1#1,1#1,1#1,1#1,1#1,0#1,1#1,1#1);
RUN
�