Ascend FD-23R Manual do Utilizador descarregar pdf (Página 51)

2.3. More Complex Examples 39

type behaviour = bool -> bool -> bool -> bool

type circuit = (behaviour, state)

type functionality = [bool]

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Problem Parameters

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

% Gate Area

notGateArea, andGateArea, orGateArea :: int

notGateArea = 1

andGateArea = 2

orGateArea = 2

% Gate Power Dissipation

notGatePower, andGatePower, orGatePower :: int

notGatePower = 1

andGatePower = 2

orGatePower = 2

% Gate Cost

notGateCost, andGateCost, orGateCost :: int

notGateCost = 1

andGateCost = 1

orGateCost = 2

% Gate Delay

notGateDelay, andGateDelay, orGateDelay :: int

notGateDelay = 1

andGateDelay = 1

orGateDelay = 2

% Circuit Constraints

maxArea, maxPower, maxCost, maxDelay :: int

maxArea = 20

maxPower = 20

maxCost = 20

maxDelay = 20

% Functionality

circuitOutput :: functionality

circuitOutput = [false,false,false,false,false,false,false,false] % FALSE

circuitOutput1 = [true,true,true,true,true,true,true,true] % TRUE

circuitOutput2 = [true,false,true,false,true,false,true,false] % NOT BIT0

circuitOutput3 = [false,true,true,false,true,false,false,true] % XOR

1 2 ... 46 47 48 49 50 51 52 53 54 55 56 ... 80 81

Sem comentários

Ascend FD-23R Manual do Utilizador Página 51