A deductive object-oriented approach to combinational logic design | |
| 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 |