Een manier om het overwinnen van de state machine niet simuleren in winsim is om de vergelijkingen gevormd wanneer wincupl voldoet aan de code te wijzigen. Voor een state machine, wincupl voldoet het in booleon logica in de vorm van d-flip-flops. Deze vergelijkingen zijn niet perfect en bij de vorige code kan zien hoe fouten kunnen vormen. 'OR'ing of' AND'ing de term 'res' voor elke vergelijking kan overtuigen dat het programma loopt en correct simuleert. Bij het voorgaande voorbeeld de begintoestand is S0 0.110.000 a, b, c, d, e, f, g.
Voor de termen die worden '0' (a, d, e, f, g) u AND (NOT (RES)) met de rest van de vergelijking, terwijl voor 'b' en 'c' u 'of' RES met de .! rust voor de vergelijking
ad = (__________) & res; bd = (__________) # res, cd = (__________) # res; dd = (__________) & res;! ed = (__________) & res;! fd = (__________) & res;! gd = (__________) & res;!
Als u de vergelijkingen gebruiken als deze, 'gebied tellen', de staat definities en de staat machine niet vereist in de code. Merk op dat de (__________) deel in de bovenstaande code wordt in een compilatie verslag wincupl.
Het veranderen van de compilatie instelling om vergelijkingen te produceren doet dit (Deze zijn erg lang en het toevoegen van de extra termijn kan het te lang te maken. Voor deze andere pin is vereist, die breekt de lange vergelijkingen in 2 kleinere vergelijkingen). Of een andere manier om de vergelijkingen voorbeeld om handmatig lossen. Een voorbeeld van dien handmatig loste getoond blaten en is veel kleiner dan de door wincupl vergelijkingen
ad = & res.
((C & F # e en f en g)!!!!);! Bd = f # a & c & f # res;! cd = g & #res! (b & c & e!); dd = (! d & c & b # E & F en G # B & C!) & res;! ed = (! g # b en c) & res;! fd = (G & ! (! (B & C) # (b & c)!!)) & res;! gd = (b # c) & res;
Ga terug naar de vorige pagina