VLSI設計工学 演習
; ---STL Source Program Template--- stlinit ; note that clock inputs should be of type "clk" defpin I in defpin "gnd!" in defpin "vdd!" in defpin O out deftiming 1e-09 1e-08 1e-07 ; define basic time units ; define any clocks or timing (defclock, defstrobe) ; define a basic format statement consisting of all the ; input and bidirectional nodes defformat "gnd!" "vdd!" I O ; if you wish to include both input and output nodes in the ; vectors, uncomment the following defformat statement ; defformat "gnd!" "vdd!" I gnd! vdd! O deftest ; define simulation stimulus values using xv command ; use binary truth table data, in the order of the ; defpin commands entered above. ; The following is an instance of a stimulus vector xv(0 1 0 ?) xv(0 1 1 ?) xv(0 1 1 ?) xv(0 1 0 ?) xv(0 1 1 ?) xv(0 1 0 ?) xv(0 1 1 ?) ; if you wish to define a vector with stimulus and ; expected output data use a vector of the following type ; xv(0 0 0 0 0 ?) endtest