%% Generated by ACircuit on Mar 8, 2001 5:59:34 PM
%% Circuit name is fmc2

elec_circ(fmc2).

%% Device fm2
of_type(fm2,v_switch).
is_wire(fm2_i_1).
is_input(fm2_i_1, fm2).
is_wire(fm2_i_3).
is_input(fm2_i_3, fm2).
is_wire(fm2_i_4).
is_input(fm2_i_4, fm2).
is_wire(fm2_i_5).
is_input(fm2_i_5, fm2).
is_wire(fm2_o_1).
output(fm2_o_1, fm2).
is_wire(fm2_o_3).
output(fm2_o_3, fm2).
is_wire(fm2_o_4).
output(fm2_o_4, fm2).
is_wire(fm2_o_5).
output(fm2_o_5, fm2).

connects(open,fm2,fmc2_w57,fmc2_w24).
connects(gpc,fm2,fm2_i_1,fm2_o_1).
connects(closed,fm2,fmc2_w58,fmc2_w48).
connects(open,fm2,fm2_i_3,fm2_o_3).
connects(gpc,fm2,fm2_i_4,fm2_o_4).
connects(closed,fm2,fm2_i_5,fm2_o_5).

%% Device open_ffm2
of_type(open_ffm2,cc).

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

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

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

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

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

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

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

%% Connector c3
of_type(fmc2_c3,connector).

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

%% Device closeb_ffm2
of_type(closeb_ffm2,cc).

%% Device closea_ffm2
of_type(closea_ffm2,cc).

%% Device ffm2
of_type(ffm2,valve).

%% Device fom2
of_type(fom2,valve).

%% Connector c11
of_type(fmc2_c11,connector).

%% Connector c12
of_type(fmc2_c12,connector).

%% Connector c14
of_type(fmc2_c14,connector).

%% Connector c15
of_type(fmc2_c15,connector).

%% Device bc1
of_type(bc1,control_bus).

%% Device fmc2
of_type(fmc2,power_bus).

%% Wire w4
is_wire(fmc2_w4).
output(fmc2_w4, fmc2_g1).
is_input(fmc2_w4, fmc2_g2).

%% Wire w6
is_wire(fmc2_w6).
output(fmc2_w6, fmc2_g4).
is_input(fmc2_w6, fmc2_g3).

%% Wire w16
is_wire(fmc2_w16).
output(fmc2_w16, fmc2_g9).
is_input(fmc2_w16, fmc2_g10).

%% Wire w23
is_wire(fmc2_w23).
output(fmc2_w23, fmc2_c3).
is_input(fmc2_w23, fmc2_g9).
type_of_wire(fmc2_w23,fmc2_g9, neglog).

%% Wire w24
is_wire(fmc2_w24).
output(fmc2_w24, fm2).
is_input(fmc2_w24, fmc2_c3).

%% Wire w28
is_wire(fmc2_w28).
output(fmc2_w28, fmc2_g8).
is_input(fmc2_w28, fmc2_g11).

%% Wire w29
is_wire(fmc2_w29).
output(fmc2_w29, fmc2_g11).
is_input(fmc2_w29, fmc2_c3).

%% Wire w38
is_wire(fmc2_w38).
output(fmc2_w38, fmc2_g10).
is_input(fmc2_w38, fom2).
input_of_type(fmc2_w38,closed).

%% Wire w39
is_wire(fmc2_w39).
output(fmc2_w39, fmc2_g2).
is_input(fmc2_w39, fom2).
input_of_type(fmc2_w39,open).

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

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

%% Wire w41
is_wire(fmc2_w41).
output(fmc2_w41, fom2).
output_of_type(fmc2_w41,open).
is_input(fmc2_w41, fmc2_g4).

%% Wire w42
is_wire(fmc2_w42).
output(fmc2_w42, fom2).
output_of_type(fmc2_w42,closed).
is_input(fmc2_w42, fmc2_g8).

%% Wire w43
is_wire(fmc2_w43).
output(fmc2_w43, ffm2).
output_of_type(fmc2_w43,open).
is_input(fmc2_w43, fmc2_g4).

%% Wire w44
is_wire(fmc2_w44).
output(fmc2_w44, ffm2).
output_of_type(fmc2_w44,closed).
is_input(fmc2_w44, fmc2_g8).

%% Wire w48
is_wire(fmc2_w48).
output(fmc2_w48, fm2).
is_input(fmc2_w48, fmc2_c11).

%% Wire w49
is_wire(fmc2_w49).
output(fmc2_w49, closeb_ffm2).
is_input(fmc2_w49, fmc2_c11).

%% Wire w50
is_wire(fmc2_w50).
output(fmc2_w50, fmc2_c11).
is_input(fmc2_w50, fmc2_c12).

%% Wire w51
is_wire(fmc2_w51).
output(fmc2_w51, closea_ffm2).
is_input(fmc2_w51, fmc2_c12).

%% Wire w52
is_wire(fmc2_w52).
output(fmc2_w52, fmc2_c12).
is_input(fmc2_w52, fmc2_g9).

%% Wire w53
is_wire(fmc2_w53).
output(fmc2_w53, fmc2_g3).
is_input(fmc2_w53, fmc2_c14).

%% Wire w54
is_wire(fmc2_w54).
output(fmc2_w54, fmc2_c14).
is_input(fmc2_w54, fmc2_g1).
type_of_wire(fmc2_w54,fmc2_g1, neglog).

%% Other connection to wire w48 (internal name: x25)
is_input(fmc2_w48, fmc2_c14).

%% Other connection to wire w24 (internal name: x27)
is_input(fmc2_w24, fmc2_c15).

%% Wire w55
is_wire(fmc2_w55).
output(fmc2_w55, open_ffm2).
is_input(fmc2_w55, fmc2_c15).

%% Wire w56
is_wire(fmc2_w56).
output(fmc2_w56, fmc2_c15).
is_input(fmc2_w56, fmc2_g1).

%% Wire w57
is_wire(fmc2_w57).
output(fmc2_w57, bc1).
input_of_type(fmc2_w57,control_bus).
is_input(fmc2_w57, fm2).
type_of_wire(fmc2_w57,fm2,open).

%% Wire w58
is_wire(fmc2_w58).
output(fmc2_w58, bc1).
input_of_type(fmc2_w58,control_bus).
is_input(fmc2_w58, fm2).
type_of_wire(fmc2_w58,fm2,closed).

%% Wire w60
is_wire(fmc2_w60).
output(fmc2_w60, fmc2).
input_of_type(fmc2_w60,power_bus).
is_input(fmc2_w60, fmc2_g10).
type_of_wire(fmc2_w60,fmc2_g10, enable).

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

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

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

%% Other connection to wire w60 (internal name: x36)
is_input(fmc2_w60, fom2).

%% Other connection to wire w60 (internal name: x37)
is_input(fmc2_w60, ffm2).

