%% Generated by ACircuit on Mar 8, 2001 6:00:37 PM
%% Circuit name is fmc3

elec_circ(fmc3).

%% Device fm3
of_type(fm3,v_switch).
is_wire(fm3_i_1).
is_input(fm3_i_1, fm3).
is_wire(fm3_i_3).
is_input(fm3_i_3, fm3).
is_wire(fm3_i_4).
is_input(fm3_i_4, fm3).
is_wire(fm3_i_5).
is_input(fm3_i_5, fm3).
is_wire(fm3_o_1).
output(fm3_o_1, fm3).
is_wire(fm3_o_3).
output(fm3_o_3, fm3).
is_wire(fm3_o_4).
output(fm3_o_4, fm3).
is_wire(fm3_o_5).
output(fm3_o_5, fm3).

connects(open,fm3,fmc3_w57,fmc3_w24).
connects(gpc,fm3,fm3_i_1,fm3_o_1).
connects(closed,fm3,fmc3_w58,fmc3_w48).
connects(open,fm3,fm3_i_3,fm3_o_3).
connects(gpc,fm3,fm3_i_4,fm3_o_4).
connects(closed,fm3,fm3_i_5,fm3_o_5).

%% Device open_ffm3
of_type(open_ffm3,cc).

%% Gate g1
of_type(fmc3_g1, niland_gate).
delay(fmc3_g1, 0).

%% Gate g2
of_type(fmc3_g2, tri_gate).
delay(fmc3_g2, 0).

%% Gate g3
of_type(fmc3_g3, tri_gate).
delay(fmc3_g3, 0).

%% Gate g4
of_type(fmc3_g4, and_gate).
delay(fmc3_g4, 0).

%% Gate g8
of_type(fmc3_g8, and_gate).
delay(fmc3_g8, 0).

%% Gate g9
of_type(fmc3_g9, niland_gate).
delay(fmc3_g9, 0).

%% Gate g10
of_type(fmc3_g10, tri_gate).
delay(fmc3_g10, 0).

%% Connector c3
of_type(fmc3_c3,connector).

%% Gate g11
of_type(fmc3_g11, tri_gate).
delay(fmc3_g11, 0).

%% Device closeb_ffm3
of_type(closeb_ffm3,cc).

%% Device closea_ffm3
of_type(closea_ffm3,cc).

%% Device ffm3
of_type(ffm3,valve).

%% Device fom3
of_type(fom3,valve).

%% Connector c11
of_type(fmc3_c11,connector).

%% Connector c12
of_type(fmc3_c12,connector).

%% Connector c14
of_type(fmc3_c14,connector).

%% Connector c15
of_type(fmc3_c15,connector).

%% Device ca1
of_type(ca1,control_bus).

%% Device fmc3
of_type(fmc3,power_bus).

%% Wire w4
is_wire(fmc3_w4).
output(fmc3_w4, fmc3_g1).
is_input(fmc3_w4, fmc3_g2).

%% Wire w6
is_wire(fmc3_w6).
output(fmc3_w6, fmc3_g4).
is_input(fmc3_w6, fmc3_g3).

%% Wire w16
is_wire(fmc3_w16).
output(fmc3_w16, fmc3_g9).
is_input(fmc3_w16, fmc3_g10).

%% Wire w23
is_wire(fmc3_w23).
output(fmc3_w23, fmc3_c3).
is_input(fmc3_w23, fmc3_g9).
type_of_wire(fmc3_w23,fmc3_g9, neglog).

%% Wire w24
is_wire(fmc3_w24).
output(fmc3_w24, fm3).
is_input(fmc3_w24, fmc3_c3).

%% Wire w28
is_wire(fmc3_w28).
output(fmc3_w28, fmc3_g8).
is_input(fmc3_w28, fmc3_g11).

%% Wire w29
is_wire(fmc3_w29).
output(fmc3_w29, fmc3_g11).
is_input(fmc3_w29, fmc3_c3).

%% Wire w38
is_wire(fmc3_w38).
output(fmc3_w38, fmc3_g10).
is_input(fmc3_w38, fom3).
input_of_type(fmc3_w38,closed).

%% Wire w39
is_wire(fmc3_w39).
output(fmc3_w39, fmc3_g2).
is_input(fmc3_w39, fom3).
input_of_type(fmc3_w39,open).

%% Other connection to wire w39 (internal name: x21)
is_input(fmc3_w39, ffm3).
input_of_type(fmc3_w39,open).

%% Other connection to wire w38 (internal name: x22)
is_input(fmc3_w38, ffm3).
input_of_type(fmc3_w38,closed).

%% Wire w41
is_wire(fmc3_w41).
output(fmc3_w41, fom3).
output_of_type(fmc3_w41,open).
is_input(fmc3_w41, fmc3_g4).

%% Wire w42
is_wire(fmc3_w42).
output(fmc3_w42, fom3).
output_of_type(fmc3_w42,closed).
is_input(fmc3_w42, fmc3_g8).

%% Wire w43
is_wire(fmc3_w43).
output(fmc3_w43, ffm3).
output_of_type(fmc3_w43,open).
is_input(fmc3_w43, fmc3_g4).

%% Wire w44
is_wire(fmc3_w44).
output(fmc3_w44, ffm3).
output_of_type(fmc3_w44,closed).
is_input(fmc3_w44, fmc3_g8).

%% Wire w48
is_wire(fmc3_w48).
output(fmc3_w48, fm3).
is_input(fmc3_w48, fmc3_c11).

%% Wire w49
is_wire(fmc3_w49).
output(fmc3_w49, closeb_ffm3).
is_input(fmc3_w49, fmc3_c11).

%% Wire w50
is_wire(fmc3_w50).
output(fmc3_w50, fmc3_c11).
is_input(fmc3_w50, fmc3_c12).

%% Wire w51
is_wire(fmc3_w51).
output(fmc3_w51, closea_ffm3).
is_input(fmc3_w51, fmc3_c12).

%% Wire w52
is_wire(fmc3_w52).
output(fmc3_w52, fmc3_c12).
is_input(fmc3_w52, fmc3_g9).

%% Wire w53
is_wire(fmc3_w53).
output(fmc3_w53, fmc3_g3).
is_input(fmc3_w53, fmc3_c14).

%% Wire w54
is_wire(fmc3_w54).
output(fmc3_w54, fmc3_c14).
is_input(fmc3_w54, fmc3_g1).
type_of_wire(fmc3_w54,fmc3_g1, neglog).

%% Other connection to wire w48 (internal name: x25)
is_input(fmc3_w48, fmc3_c14).

%% Other connection to wire w24 (internal name: x27)
is_input(fmc3_w24, fmc3_c15).

%% Wire w55
is_wire(fmc3_w55).
output(fmc3_w55, open_ffm3).
is_input(fmc3_w55, fmc3_c15).

%% Wire w56
is_wire(fmc3_w56).
output(fmc3_w56, fmc3_c15).
is_input(fmc3_w56, fmc3_g1).

%% Wire w57
is_wire(fmc3_w57).
output(fmc3_w57, ca1).
input_of_type(fmc3_w57,control_bus).
is_input(fmc3_w57, fm3).
type_of_wire(fmc3_w57,fm3,open).

%% Wire w58
is_wire(fmc3_w58).
output(fmc3_w58, ca1).
input_of_type(fmc3_w58,control_bus).
is_input(fmc3_w58, fm3).
type_of_wire(fmc3_w58,fm3,closed).

%% Wire w60
is_wire(fmc3_w60).
output(fmc3_w60, fmc3).
input_of_type(fmc3_w60,power_bus).
is_input(fmc3_w60, fmc3_g10).
type_of_wire(fmc3_w60,fmc3_g10, enable).

%% Other connection to wire w60 (internal name: x33)
is_input(fmc3_w60, fmc3_g2).
type_of_wire(fmc3_w60,fmc3_g2, enable).

%% Other connection to wire w60 (internal name: x34)
is_input(fmc3_w60, fmc3_g11).
type_of_wire(fmc3_w60,fmc3_g11, enable).

%% Other connection to wire w60 (internal name: x35)
is_input(fmc3_w60, fmc3_g3).
type_of_wire(fmc3_w60,fmc3_g3, enable).

%% Other connection to wire w60 (internal name: x36)
is_input(fmc3_w60, fom3).

%% Other connection to wire w60 (internal name: x37)
is_input(fmc3_w60, ffm3).

