module DontCare 
title 'Dont Care Examples' 
@DCSET

" Input and output pins 
N3..N0, A, B                                  pin; 
F, Y                                          pin istype 'com';

NUM = [N3..N0];
X = .X.;

truth_table (NUM->F)
               0->0;
               1->1;
               2->1;
               3->1;
               4->0;
               5->1;
               6->0;
               7->1;
               8->0;
               9->0;

truth_table ([A,B]->Y)
             [0,0]->0;
             [0,1]->X;
             [1,0]->X;
             [1,1]->1;

end DontCare