Abstract: "Co-HLEX is a co-operative hierarchical layout problem solver being developed by ICOT as an application program of parallel inference machines; Multi-PSI and PIM. The kernel of co-HLEX is a hierarchical recursive concurrent theorem prover for layout nicknamed HRCTL. Due to its recursi...

Full description

Bibliographic Details

Main Authors:	Watanabe, Toshinori (Author), Komatsu, Keiko (Author)
Format:	Book
Language:	English
Published:	Tokyo, Japan 1991
Series:	Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 631
Subjects:	Recursion theory
Summary:	Abstract: "Co-HLEX is a co-operative hierarchical layout problem solver being developed by ICOT as an application program of parallel inference machines; Multi-PSI and PIM. The kernel of co-HLEX is a hierarchical recursive concurrent theorem prover for layout nicknamed HRCTL. Due to its recursive nature, HRCTL has a size of O(1,000) lines in KL1; the kernel language of ICOT. Due to its stream-parallel and distributed-memory architecture, O(N[superscript 0.8]) time complexity could be attained. Moreover, due to the co-operations among concurrent processes, abutment of wires between circuit modules could be attained Concurrently, co-HLEX spawns O(10,000) concurrent processes on 16-PE Multi-PSI illustrating the parallel processing power of the machine. Program maintainability in faces [sic] of rapid LSI technology innovations could be enhanced through modularized program descriptions in clausal forms. In this paper, current status of co-HLEX is reported.
Physical Description:	19 S.