%% Generated by ACircuit on Mar 8, 2001 5:58:14 PM
%% Circuit name is fmc1

elec_circ(fmc1).

%% Device fm1
of_type(fm1,v_switch).
is_wire(fm1_i_1).
is_input(fm1_i_1, fm1).
is_wire(fm1_i_3).
is_input(fm1_i_3, fm1).
is_wire(fm1_i_4).
is_input(fm1_i_4, fm1).
is_wire(fm1_i_5).
is_input(fm1_i_5, fm1).
is_wire(fm1_o_1).
output(fm1_o_1, fm1).
is_wire(fm1_o_3).
output(fm1_o_3, fm1).
is_wire(fm1_o_4).
output(fm1_o_4, fm1).
is_wire(fm1_o_5).
output(fm1_o_5, fm1).

connects(open,fm1,fmc1_w57,fmc1_w24).
connects(gpc,fm1,fm1_i_1,fm1_o_1).
connects(closed,fm1,fmc1_w58,fmc1_w48).
connects(open,fm1,fm1_i_3,fm1_o_3).
connects(gpc,fm1,fm1_i_4,fm1_o_4).
connects(closed,fm1,fm1_i_5,fm1_o_5).

%% Device open_ffm1
of_type(open_ffm1,cc).

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

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

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

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

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

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

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

%% Connector c3
of_type(fmc1_c3,connector).

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

%% Device closeb_ffm1
of_type(closeb_ffm1,cc).

%% Device closea_ffm1
of_type(closea_ffm1,cc).

%% Device ffm1
of_type(ffm1,valve).

%% Device fom1
of_type(fom1,valve).

%% Connector c11
of_type(fmc1_c11,connector).

%% Connector c12
of_type(fmc1_c12,connector).

%% Connector c14
of_type(fmc1_c14,connector).

%% Connector c15
of_type(fmc1_c15,connector).

%% Device ab1
of_type(ab1,control_bus).

%% Device fmc1
of_type(fmc1,power_bus).

%% Wire w4
is_wire(fmc1_w4).
output(fmc1_w4, fmc1_g1).
is_input(fmc1_w4, fmc1_g2).

%% Wire w6
is_wire(fmc1_w6).
output(fmc1_w6, fmc1_g4).
is_input(fmc1_w6, fmc1_g3).

%% Wire w16
is_wire(fmc1_w16).
output(fmc1_w16, fmc1_g9).
is_input(fmc1_w16, fmc1_g10).

%% Wire w23
is_wire(fmc1_w23).
output(fmc1_w23, fmc1_c3).
is_input(fmc1_w23, fmc1_g9).
type_of_wire(fmc1_w23,fmc1_g9, neglog).

%% Wire w24
is_wire(fmc1_w24).
output(fmc1_w24, fm1).
is_input(fmc1_w24, fmc1_c3).

%% Wire w28
is_wire(fmc1_w28).
output(fmc1_w28, fmc1_g8).
is_input(fmc1_w28, fmc1_g11).

%% Wire w29
is_wire(fmc1_w29).
output(fmc1_w29, fmc1_g11).
is_input(fmc1_w29, fmc1_c3).

%% Wire w38
is_wire(fmc1_w38).
output(fmc1_w38, fmc1_g10).
is_input(fmc1_w38, fom1).
input_of_type(fmc1_w38,closed).

%% Wire w39
is_wire(fmc1_w39).
output(fmc1_w39, fmc1_g2).
is_input(fmc1_w39, fom1).
input_of_type(fmc1_w39,open).

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

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

%% Wire w41
is_wire(fmc1_w41).
output(fmc1_w41, fom1).
output_of_type(fmc1_w41,open).
is_input(fmc1_w41, fmc1_g4).

%% Wire w42
is_wire(fmc1_w42).
output(fmc1_w42, fom1).
output_of_type(fmc1_w42,closed).
is_input(fmc1_w42, fmc1_g8).

%% Wire w43
is_wire(fmc1_w43).
output(fmc1_w43, ffm1).
output_of_type(fmc1_w43,open).
is_input(fmc1_w43, fmc1_g4).

%% Wire w44
is_wire(fmc1_w44).
output(fmc1_w44, ffm1).
output_of_type(fmc1_w44,closed).
is_input(fmc1_w44, fmc1_g8).

%% Wire w48
is_wire(fmc1_w48).
output(fmc1_w48, fm1).
is_input(fmc1_w48, fmc1_c11).

%% Wire w49
is_wire(fmc1_w49).
output(fmc1_w49, closeb_ffm1).
is_input(fmc1_w49, fmc1_c11).

%% Wire w50
is_wire(fmc1_w50).
output(fmc1_w50, fmc1_c11).
is_input(fmc1_w50, fmc1_c12).

%% Wire w51
is_wire(fmc1_w51).
output(fmc1_w51, closea_ffm1).
is_input(fmc1_w51, fmc1_c12).

%% Wire w52
is_wire(fmc1_w52).
output(fmc1_w52, fmc1_c12).
is_input(fmc1_w52, fmc1_g9).

%% Wire w53
is_wire(fmc1_w53).
output(fmc1_w53, fmc1_g3).
is_input(fmc1_w53, fmc1_c14).

%% Wire w54
is_wire(fmc1_w54).
output(fmc1_w54, fmc1_c14).
is_input(fmc1_w54, fmc1_g1).
type_of_wire(fmc1_w54,fmc1_g1, neglog).

%% Other connection to wire w48 (internal name: x25)
is_input(fmc1_w48, fmc1_c14).

%% Other connection to wire w24 (internal name: x27)
is_input(fmc1_w24, fmc1_c15).

%% Wire w55
is_wire(fmc1_w55).
output(fmc1_w55, open_ffm1).
is_input(fmc1_w55, fmc1_c15).

%% Wire w56
is_wire(fmc1_w56).
output(fmc1_w56, fmc1_c15).
is_input(fmc1_w56, fmc1_g1).

%% Wire w57
is_wire(fmc1_w57).
output(fmc1_w57, ab1).
input_of_type(fmc1_w57,control_bus).
is_input(fmc1_w57, fm1).
type_of_wire(fmc1_w57,fm1,open).

%% Wire w58
is_wire(fmc1_w58).
output(fmc1_w58, ab1).
input_of_type(fmc1_w58,control_bus).
is_input(fmc1_w58, fm1).
type_of_wire(fmc1_w58,fm1,closed).

%% Wire w60
is_wire(fmc1_w60).
output(fmc1_w60, fmc1).
input_of_type(fmc1_w60,power_bus).
is_input(fmc1_w60, fmc1_g10).
type_of_wire(fmc1_w60,fmc1_g10, enable).

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

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

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

%% Other connection to wire w60 (internal name: x36)
is_input(fmc1_w60, fom1).

%% Other connection to wire w60 (internal name: x37)
is_input(fmc1_w60, ffm1).

