Automatic logic design system

作者: Yoshio Takamine , Tsuguo Shimizu

DOI:

关键词:

摘要: Herein disclosed is an automatic design system for automatically generating a data structure, which only implicitly expressed by logic specification description, deriving, in case has structures of similar constructions, one structure from the description and transfer behavior other structure.