%% Generated by ACircuit on Apr 2, 2001 3:37:13 PM
%% Circuit name is fhcb

elec_circ(fhcb).

%% Device fhb
of_type(fhb,v_switch).
is_wire(fhb_i_0).
is_input(fhb_i_0, fhb).
is_wire(fhb_i_1).
is_input(fhb_i_1, fhb).
is_wire(fhb_o_0).
output(fhb_o_0, fhb).
is_wire(fhb_o_1).
output(fhb_o_1, fhb).

connects(open,fhb,fhb_i_0,fhb_o_0).
connects(gpc,fhb,fhb_i_1,fhb_o_1).
connects(closed,fhb,fhcb_w102,fhcb_w114).
connects(open,fhb,fhcb_w58,fhcb_w28).
connects(gpc,fhb,fhcb_w59,fhcb_w35).
connects(closed,fhb,fhcb_w60,fhcb_w34).

%% Gate g1
of_type(fhcb_g1, and_gate).
delay(fhcb_g1, 0).

%% Gate g2
of_type(fhcb_g2, and_gate).
delay(fhcb_g2, 0).

%% Gate g3
of_type(fhcb_g3, td1_gate).
delay(fhcb_g3, 1).

%% Gate g4
of_type(fhcb_g4, td1_gate).
delay(fhcb_g4, 1).

%% Gate g5
of_type(fhcb_g5, tri_gate).
delay(fhcb_g5, 0).

%% Gate g6
of_type(fhcb_g6, tri_gate).
delay(fhcb_g6, 0).

%% Gate g7
of_type(fhcb_g7, niland_gate).
delay(fhcb_g7, 0).

%% Gate g8
of_type(fhcb_g8, niland_gate).
delay(fhcb_g8, 0).

%% Gate g13
of_type(fhcb_g13, niland_gate).
delay(fhcb_g13, 0).

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

%% Gate g15
of_type(fhcb_g15, tri_gate).
delay(fhcb_g15, 0).

%% Gate g12
of_type(fhcb_g12, rpc_gate).
delay(fhcb_g12, 0).

%% Gate g9
of_type(fhcb_g9, tri_gate).
delay(fhcb_g9, 0).

%% Gate g11
of_type(fhcb_g11, rpc_gate).
delay(fhcb_g11, 0).

%% Gate g16
of_type(fhcb_g16, rpc_gate).
delay(fhcb_g16, 0).

%% Gate g17
of_type(fhcb_g17, rpc_gate).
delay(fhcb_g17, 0).

%% Connector c1
of_type(fhcb_c1,connector).

%% Device fohb
of_type(fohb,valve).

%% Connector c7
of_type(fhcb_c7,connector).

%% Gate g14
of_type(fhcb_g14, tri_gate).
delay(fhcb_g14, 0).

%% Device fpc2
of_type(fpc2,power_bus).

%% Device fpc3
of_type(fpc3,power_bus).

%% Device flc2
of_type(flc2,power_bus).

%% Device flc3
of_type(flc3,power_bus).

%% Device bc2
of_type(bc2,power_bus).

%% Device ffhb
of_type(ffhb,valve).

%% Device bc1
of_type(bc1,control_bus).

%% Device opena_ffhb
of_type(opena_ffhb,cc).

%% Device closea_ffhb
of_type(closea_ffhb,cc).

%% Connector c8
of_type(fhcb_c8,connector).

%% Wire w6
is_wire(fhcb_w6).
output(fhcb_w6, fhcb_g6).
is_input(fhcb_w6, fhcb_g8).
type_of_wire(fhcb_w6,fhcb_g8, neglog).

%% Wire w7
is_wire(fhcb_w7).
output(fhcb_w7, fhcb_g7).
is_input(fhcb_w7, fhcb_g9).

%% Wire w8
is_wire(fhcb_w8).
output(fhcb_w8, fhcb_g8).
is_input(fhcb_w8, fhcb_g10).

%% Wire w13
is_wire(fhcb_w13).
output(fhcb_w13, fhcb_g13).
is_input(fhcb_w13, fhcb_g15).

%% Wire w18
is_wire(fhcb_w18).
output(fhcb_w18, fhcb_c1).
is_input(fhcb_w18, fohb).
input_of_type(fhcb_w18,open).

%% Wire w20
is_wire(fhcb_w20).
output(fhcb_w20, fohb).
output_of_type(fhcb_w20,closed).
is_input(fhcb_w20, fhcb_g2).

%% Wire w22
is_wire(fhcb_w22).
output(fhcb_w22, fohb).
output_of_type(fhcb_w22,open).
is_input(fhcb_w22, fhcb_g1).

%% Wire w28
is_wire(fhcb_w28).
output(fhcb_w28, fhb).
is_input(fhcb_w28, fhcb_g7).

%% Wire w34
is_wire(fhcb_w34).
output(fhcb_w34, fhb).
is_input(fhcb_w34, fhcb_c7).

%% Wire w35
is_wire(fhcb_w35).
output(fhcb_w35, fhb).
is_input(fhcb_w35, fhcb_c7).

%% Wire w36
is_wire(fhcb_w36).
output(fhcb_w36, fhcb_c7).
is_input(fhcb_w36, fhcb_g8).

%% Wire w58
is_wire(fhcb_w58).
output(fhcb_w58, bc2).
input_of_type(fhcb_w58,power_bus).
is_input(fhcb_w58, fhb).
type_of_wire(fhcb_w58,fhb,open).

%% Wire w59
is_wire(fhcb_w59).
output(fhcb_w59, bc2).
input_of_type(fhcb_w59,power_bus).
is_input(fhcb_w59, fhb).
type_of_wire(fhcb_w59,fhb,gpc).

%% Wire w60
is_wire(fhcb_w60).
output(fhcb_w60, bc2).
input_of_type(fhcb_w60,power_bus).
is_input(fhcb_w60, fhb).
type_of_wire(fhcb_w60,fhb,closed).

%% Wire w66
is_wire(fhcb_w66).
output(fhcb_w66, ffhb).
output_of_type(fhcb_w66,open).
is_input(fhcb_w66, fhcb_g1).

%% Wire w67
is_wire(fhcb_w67).
output(fhcb_w67, ffhb).
output_of_type(fhcb_w67,closed).
is_input(fhcb_w67, fhcb_g2).

%% Other connection to wire w18 (internal name: x18)
is_input(fhcb_w18, ffhb).
input_of_type(fhcb_w18,open).

%% Wire w71
is_wire(fhcb_w71).
output(fhcb_w71, fhcb_g16).
is_input(fhcb_w71, fhcb_g12).

%% Wire w72
is_wire(fhcb_w72).
output(fhcb_w72, fhcb_g10).
is_input(fhcb_w72, fhcb_g12).

%% Wire w77
is_wire(fhcb_w77).
output(fhcb_w77, fhcb_g2).
is_input(fhcb_w77, fhcb_g4).

%% Wire w78
is_wire(fhcb_w78).
output(fhcb_w78, fhcb_g4).
is_input(fhcb_w78, fhcb_g6).

%% Wire w79
is_wire(fhcb_w79).
output(fhcb_w79, fhcb_g1).
is_input(fhcb_w79, fhcb_g3).

%% Wire w83
is_wire(fhcb_w83).
output(fhcb_w83, fhcb_g12).
is_input(fhcb_w83, fohb).
input_of_type(fhcb_w83,closed).

%% Other connection to wire w83 (internal name: x20)
is_input(fhcb_w83, ffhb).
input_of_type(fhcb_w83,closed).

%% Wire w86
is_wire(fhcb_w86).
output(fhcb_w86, fpc2).
input_of_type(fhcb_w86,power_bus).
is_input(fhcb_w86, fhcb_g16).

%% Wire w87
is_wire(fhcb_w87).
output(fhcb_w87, fhcb_g14).
is_input(fhcb_w87, fhcb_g16).

%% Wire w89
is_wire(fhcb_w89).
output(fhcb_w89, fhcb_g9).
is_input(fhcb_w89, fhcb_g11).

%% Wire w90
is_wire(fhcb_w90).
output(fhcb_w90, fpc3).
input_of_type(fhcb_w90,power_bus).
is_input(fhcb_w90, fhcb_g11).

%% Wire w91
is_wire(fhcb_w91).
output(fhcb_w91, fhcb_g11).
is_input(fhcb_w91, fhcb_c1).

%% Wire w92
is_wire(fhcb_w92).
output(fhcb_w92, flc3).
input_of_type(fhcb_w92,power_bus).
is_input(fhcb_w92, fhcb_g9).
type_of_wire(fhcb_w92,fhcb_g9, enable).

%% Wire w95
is_wire(fhcb_w95).
output(fhcb_w95, fhcb_g17).
is_input(fhcb_w95, fhcb_c1).

%% Other connection to wire w86 (internal name: x21)
is_input(fhcb_w86, fhcb_g17).

%% Wire w96
is_wire(fhcb_w96).
output(fhcb_w96, fhcb_g15).
is_input(fhcb_w96, fhcb_g17).

%% Other connection to wire w87 (internal name: x22)
is_input(fhcb_w87, fhcb_g13).
type_of_wire(fhcb_w87,fhcb_g13, neglog).

%% Wire w98
is_wire(fhcb_w98).
output(fhcb_w98, fhcb_g3).
is_input(fhcb_w98, fhcb_g5).

%% Wire w99
is_wire(fhcb_w99).
output(fhcb_w99, fhcb_g5).
is_input(fhcb_w99, fhcb_g7).
type_of_wire(fhcb_w99,fhcb_g7, neglog).

%% Wire w101
is_wire(fhcb_w101).
output(fhcb_w101, flc2).
input_of_type(fhcb_w101,power_bus).
is_input(fhcb_w101, fhcb_g5).
type_of_wire(fhcb_w101,fhcb_g5, enable).

%% Other connection to wire w101 (internal name: x24)
is_input(fhcb_w101, fhcb_g6).
type_of_wire(fhcb_w101,fhcb_g6, enable).

%% Other connection to wire w101 (internal name: x25)
is_input(fhcb_w101, fhcb_g14).
type_of_wire(fhcb_w101,fhcb_g14, enable).

%% Other connection to wire w101 (internal name: x26)
is_input(fhcb_w101, fhcb_g10).
type_of_wire(fhcb_w101,fhcb_g10, enable).

%% Other connection to wire w101 (internal name: x28)
is_input(fhcb_w101, fhcb_g15).
type_of_wire(fhcb_w101,fhcb_g15, enable).

%% Wire w102
is_wire(fhcb_w102).
output(fhcb_w102, bc1).
input_of_type(fhcb_w102,control_bus).
is_input(fhcb_w102, fhb).
type_of_wire(fhcb_w102,fhb,closed).

%% Other connection to wire w101 (internal name: x31)
is_input(fhcb_w101, fohb).

%% Other connection to wire w101 (internal name: x32)
is_input(fhcb_w101, ffhb).

%% Wire w103
is_wire(fhcb_w103).
output(fhcb_w103, opena_ffhb).
is_input(fhcb_w103, fhcb_g13).

%% Wire w113
is_wire(fhcb_w113).
output(fhcb_w113, closea_ffhb).
is_input(fhcb_w113, fhcb_c8).

%% Wire w114
is_wire(fhcb_w114).
output(fhcb_w114, fhb).
is_input(fhcb_w114, fhcb_c8).

%% Wire w115
is_wire(fhcb_w115).
output(fhcb_w115, fhcb_c8).
is_input(fhcb_w115, fhcb_g14).

