| Author | Sudarat Prayongphan |
| Call Number | AIT Thesis no.CS-94-4 |
| Subject(s) | Object-oriented programming (Computer science)
Logic design--Data processing
|
| Note | A thesis submitted in partial fulfillment of the requirement for the degree of Master of
Engineering, School of Engineering and Technology |
| Publisher | Asian Institute of Technology |
| Abstract | Combinational logic design deals with highly structured circuits. Engineers exert
themselves in the struggle for formulating the design to meet given specifications. Automated
circuit analysis and synthesis have been developed to assist engineers in the design process. Logic
circuit analysis concerns the function and hierarchical structure of a given circuit. Circuit
designers could gain more insight into circuit properties by such information resulting in better
designed circuits. On the other hand, logic circuit synthesis attemps to produce an optimal circuit
for a given circuit's function. However, owing to the use of complicate circuits, the analysis and
synthesis demand an efficient information representation scheme. A deductive object-oriented
data model is proposed to handle the combinational logic design system.
A combinational logic design language is also proposed to support circuit design
processes. The language is designed to respond to the ten operations related to circuit design,
i.e., create circuit type, create circuit version, delete circuit type, delete circuit version, analyze
circuit's function, analyze circuit's structure, synthesize circuit, modify circuit version, list all
circuits available in the database and list all versions of the specified circuit type.
In order to show that the proposed data model and language are feasible and efficient, the
combinational logic design system is implemented using the LIFE programming language. |
| Year | 1994 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Other Field of Studies (No Department) |
| Academic Program/FoS | Computer Science (CS) |
| Chairperson(s) | Vilas Wuwongse |
| Examination Committee(s) | Batanov, Dentcho N. ;Yulu, Qi
|
| Scholarship Donor(s) | The Government of Japan |
| Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1994 |
