(gnv)(getnodevalue .print) .cvx .def
(clock1)(simstep).cvx .def
(clock2)((LSBout) gnv (676)l simstep (676)h simstep (672)l simstep (672)h simstep) .cvx .def
(go)(inarray outarray arraysim inarray arraystrings outarray arraystrings) .cvx .def
(disimmos.bcd).loadbcd

(LSBin) (100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000).def
(WORDin)
(111111111111111111111111000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000).def
(Kin)
(111111111110111111111111000000000000000000000000111111111101111111111111000000000000000000000000111111110001000000000000000000000000000000000000111111110101111111111111000000000000000000000000111111110101111111111111000000000000000000000000111111100011111111111111000000000000000000000000111111110101111111111111000000000000000000000000111111110011111111111111000000000000000000000000111111111100000000000000000000000000000000000000111111111100000000000000000000000000000000000000111111110010111111111111000000000000000000000000111111111110111111111111000000000000000000000000111111111101111111111111000000000000000000000000111111110001000000000000000000000000000000000000111111110101111111111111000000000000000000000000111111110101111111111111000000000000000000000000111111100011111111111111000000000000000000000000111111110101111111111111000000000000000000000000111111110011111111111111000000000000000000000000111111111100000000000000000000000000000000000000111111111100000000000000000000000000000000000000111111110010111111111111000000000000000000000000111111111110111111111111000000000000000000000000111111111101111111111111000000000000000000000000).def
(exc)
(111111111111111111110111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111) .def

(inarray) [ (WORDin)(LSBin)(exc)(Kin) ] .def
(outarray) [ (WORD0out)(LSBout)(Y10out)(9050)(9045)(1786)(8995)(12009)(670)(AddAin)(AddBin)(8995)(10418)(652)(AddOut)(Zin)(11903)(754)(Zout)(828)(10150)(837)(10418)(9907)(664)(9282)(839)(670)(12472)(11045)(8495)(12031) ] .def
(9045)(patch)inverter
(WORDin)(16866)(GND)etrans
(reset)(1097)(GND)etrans
(reset)(750)(GND)etrans
(reset)(1747)(GND)etrans
(reset)(1007)(GND)etrans
(reset)(11893)(GND)etrans

(init)( (676)l (672)l (reset)h (LSBin)l (WORDin)l (Kin)h simstep (676)h (672)h simstep (reset)l simstep).cvx .def

(synth.sim)simread