;PALASM Design Description ;---------------------------------- Declaration Segment ------------ TITLE Counter 0-5,0-9 PATTERN xx REVISION xx AUTHOR Mike Lhamon COMPANY University of Kentucky DATE 11/21/03 CHIP _counter2 PAL22V10 ;---------------------------------- PIN Declarations --------------- PIN 1 CLK ; PIN 2 reset ; PIN 23 a REGISTERED ; PIN 22 b REGISTERED ; PIN 21 c REGISTERED ; PIN 20 d REGISTERED ; PIN 19 e REGISTERED ; PIN 18 f REGISTERED ; PIN 17 g REGISTERED ; PIN 14 resetout ; NODE 1 global ;----------------------------------- Boolean Equation Segment ------ EQUATIONS ; ones digit Standard state machine design ignore a,b,c state vars. g := /g ; LSBit f := f*/g + /d*/f*g e := e*/f + e*/g + /e*f*g d := d*/f*/g + e*f*g ; tens digit Using my special method ; ; NS Equation = Transition * Transition Enable + State Var. * Sustain Term ; ; Transition sustain term ; | Transition (holds state value until transition) ; | Enable | ; | | State Var | ; | | | | ; V V V V c := /c * (d*/e*/f*g) + c * (/d + /e*/f*/g) b := (/a*/b*c + b*/c) * (d*/e*/f*g) + b*/d + (b*/e*/f*/g) a := (a*/c + b*c) * (d*/e*/f*g) + a*/d + (a*/e*/f*/g) ; MSBit global.rstf = /reset resetout = /reset ;----------------------------------- Simulation Segment ------------ SIMULATION trace_on clk a b c d e f g reset setf /reset clockf clk setf reset clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk clockf clk trace_off ;-------------------------------------------------------------------