1: Summary of An Experimental Circuit Design Support System

 An experimental circuit design support system is a system which supports
design through representing the design object in the form of functional
hierarchy trees and,using SME,searching for and configuring suitable case
designs for analogous functional hierarchy trees.In the circuit design used
in this experimental system,basically the input to the system is in the form 
of functional hierarchy trees representing the design object and the functional
information concerning functional and specificational requirement of the design
object,and the output in the form of circuit block diagrams.
 In design support,the user first of all inputs ,in interaction with the
experimental system,the functional information concerning the required 
functions constituting the functional hierarchy tree,and meaningful
relationships between the functions.On the basis,the inter functional data
flow withing the functional hierarchy trees is analyzed form the meaningful 
relationships between functions,and for each data flow,functional hierarchy
subtrees are created.For example,if the design object happens to be a clock
circuit,the functional information is expressed by integers from 0 to 23.
The functional hierarchy subtree becames a tree composed of function groups
from pulse to seconds,minutes an hours.
 Next,a search based on these functional hierarchy subtrees is conducted in
a case base,where circuits containing analogous functional hierarchies with
these subtrees are located and combined,thus creating a circuit block.
For example,electronic counter circuits would be searched from the functional
hierarchy subtrees which represent a clock circuit.
 Next,the functions are verified as to whether the constructed circuit block
satisfies the functional and specificational requirements,and only those 
circuit blocks which pass this verification are selected.At the same time,
the circuit blocks which fail to satisfy the functional and specificational
requirements are subjected to correction,using correction know-how and failure 
recovery know-how.For example,if the electronic counter circuit is only capable
of 0-9 display,the counters and display elements withing the circuit are 
augmented and the nodal lines are altered.The final output of the experimental
system are circuit block diagram which succeeded in functional verification,including
those which have undergone correction.

2: Machine Environment

    OS                   : SIMPOS7.1/PIMOS3.2
    Language             : ESP/KL1 Ver012110
    system memory        : 32MW
    capacity of hard disk: 8.7MB
    PE number            : 1PE
    target matchine      : PSI-$B-6(B

3: List of Files
(1) The ESP source files
  advise_d.esp
  advise_t.esp
  adviser.esp
  analyze_d.esp
  analyzer.esp
  b_ot_win.esp
  b_tree.esp
  b_w_man.esp
  bac.esp
  bac_data.esp
  bac_output.esp
  bac_route.esp
  br_win.esp
  builder.esp
  car_b_win.esp
  cir_bac.esp
  cir_scroll.esp
  cir_w_man.esp
  circuit.esp
  circuit_c.esp
  circuit_d.esp
  concept_t.esp
  connect_b.esp
  constraint.esp
  cont_ana.esp
  cont_spe.esp
  contex.esp
  control.esp
  d_f_disp.esp
  data_conv.esp
  data_flow.esp
  data_f_b.esp
  data_f_s.esp
  draw_tree.esp
  flow_win.esp
  full_win.esp
  func_temp.esp
  function.esp
  hi_tree.esp
  hi_tree_o.esp
  hierarchy.esp
  ioDevice.esp
  ism.esp
  k_repair.esp
  load.esp
  load_f_w.esp
  local_data.esp
  matrix.esp
  menu_exe.esp
  message_w.esp
  mo_cdm.esp
  mo_ope.esp
  modify_id.esp
  n_const.esp
  n_const_e.esp
  node_data.esp
  psData.esp
  recovery.esp
  redraw.esp
  save.esp
  scroll_t.esp
  seigyo.esp
  spec_disp.esp
  special_i.esp
  specif.esp
  st_s_menu.esp
  str_io_dev.esp
  sub_sub_cW.esp
  term_input.esp
  tr_br_data.esp
  tree_op.esp
  util_scr.esp
  window.esp

(2)  The KL1 source files
  adamain.kl1
  adaptst2.kl1
  append1.kl1
  arg_match1.kl1
  balancer.kl1
  bind_ck.kl1
  car.kl1
  cat_stdio.kl1
  compile_r.kl1
  con2.kl1
  connect.kl1
  consis.kl1
  coord.kl1
  cs.kl1
  dbase.kl1
  estimate.kl1
  f_info_ex.kl1
  fact_info.kl1
  failure.kl1
  failurean.kl1
  file.kl1
  file_io.kl1
  file_util.kl1
  get_tcontF.kl1
  gmap.kl1
  history.kl1
  infer.kl1
  inference.kl1
  iop.kl1
  load_cor.kl1
  local_evid.kl1
  makeComP.kl1
  makeString.kl1
  makecause.kl1
  mapping.kl1
  n_body3.kl1
  n_connect2.kl1
  node_lib.kl1
  node_lib2.kl1
  pre_trans.kl1
  r_connect.kl1
  rc.kl1
  re_infer1.kl1
  result_cor.kl1
  retrieveC.kl1
  retriever.kl1
  same_pred.kl1
  similar.kl1
  sme.kl1
  smefail.kl1
  smekai.kl1
  smerev2.kl1
  struct.kl1
  test_val.kl1
  trans.kl1
  trans_io.kl1
  util_iwa.kl1
  util1.kl1
  util2.kl1
  wm.kl1

(3) Data files
  Aircon6.anal
  Aircon6.a_save
  REF10.case
  advise.dat
  anticipate.dat
  circuit.rule
  failN.exe
  failN.exeF
  material.the
  part.dat
  predicate.dat
  retrvTree.dat
  ruitab.dat
  ruitemp.dat
  thesarus.dat

4 Install
(1) Directory Configuration
  Please make the following directory under your home directory by SIMPOS 
file_manipulator.

	car -------- source -------- esp
		|		|
	 	|       	---- kl1
		|
		---  data ---------- application
				|
				---- graphic
				|
				---- output
				|
				---- save
				|	
				---- system

(2) Files Store
  Store files with extension of 'kl1'  under the 'car>source>kl1'.
  Store files with extension of 'esp' under the 'car>source>esp'.
  Store files with extension of 'case' under the 'car>data>application'.
  Store files with extension of 'anal' under the 'car>data>output'.
  Store files with extension of 'dat' under the 'car>data>system'.
  Store files with extension of 'the' under the 'car>data>system'.
  Store files with extension of 'exe'/'exeF' under the 'car>data>system'.
  Store files with extension of 'rule' under the 'car>data>system'.
  Store files with extension of 'a_save' under the 'car>data>save'.

(3) Package for  ESP
  Make the following packages which environment are 'simpos'  by 
SIMPOS librarian.

        'car','retriever','psc', 'sax'

(4) Compile
  First,please compile files in the 'car>source>kl1' by PIMOS shell.
Then,please catalogue files in the 'car>source>esp' by SIMPOS librarian.

5: References
  $BJ?@.#3G/EYH/EE@_Hw?GCG%7%9%F%`$N3+H/@.2LJs9p=q(B,ICOT,1992(to appear).