Skip to main content
SpringerLink
Log in
Book cover

Conference on Logic Programming

LP 1989: Logic Programming '89 pp 174–183Cite as

Logic design assistance using temporal logic based language Tokio

  • Application
  • Conference paper
  • First Online:

  • 133 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 485))

Abstract

In this work, a logic design assistance system using Tokio is presented. Tokio is a logic programming language which is based on Interval Temporal Logic. Therefore, Tokio can specify both concurrency and sequentiality accurately and easily. In this system, the behaviors at both the algorithmic level and the register transfer level are given in the same language: Tokio. This is one of the most outstanding characteristics. In this paper, we mainly present a data path verifier at the register transfer level. This verifier is a core part of the assistance system.

This work is partially supported by Grand-in-Aid for Encouragement of Young Scientists, The Ministry of Education, Science, and Cultures, No.01790381

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Aoyagi, M. Fujita, and H. Tanaka. Temporal Logic Programming Language Tokio. In Logic Programming Conference '85, pages 128–137, Springer-Verlag, 1985.

    Google Scholar 

  2. M. Fujita, S. Kono, H. Tanaka, and T. Motooka. Aid to Hierarchical and Structured Logic Design using Temporal Logic and Prolog. In Proceedings.Pt.E, pages 283–294, IEE, 1986.

    Google Scholar 

  3. S. Kono, T. Aoyagi, M. Fujita, and H. Tanaka. Implementation of Temporal Logic Programming Language Tokio. In Logic Programming Conference '85, pages 138–147, Springer-Verlag, 1985.

    Google Scholar 

  4. M.C. McFarland, A.C. Parker, and R. Camposano. Tutorial on High-Level Synthesis. In 25th Design Automation Conference, pages 330–336, ACM/IEEE, 1988.

    Google Scholar 

  5. B. Moszkowski. A Temporal Logic for Multi-Level reasoning about Hardware. In CHDL '83, IFIP, 1983.

    Google Scholar 

  6. H. Nakamura, M. Fujita, S. Kono, M. Nakai, and H. Tanaka. A Data Path Verification System using Temporal Logic Based Language Tokio. In IFIP WG10.2 Working Conference on the CAD Systems Using AI Techniques, IFIP, June 1989.

    Google Scholar 

  7. H. Nakamura, M. Fujita, S. Kono, and H. Tanaka. Temporal Logic Based Fast Verification systems Using Cover Expressions. In VLSI '87, pages 99–111, IFIP, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering, The University of Tokyo, Japan

    Nakamura Hiroshi, Nakai Masaya, Kono Shinji, Fujita Masahiro & Tanaka Hidehiko

  2. The Dai-Ichi Kangyo Bank, Japan

    Nakai Masaya

  3. Sony Computer Science Laboratory, Japan

    Kono Shinji

  4. Fujitsu Laboratories Ltd., Japan

    Fujita Masahiro

Authors
  1. Nakamura Hiroshi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nakai Masaya
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kono Shinji
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Fujita Masahiro
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Tanaka Hidehiko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hiroshi, N., Masaya, N., Shinji, K., Masahiro, F., Hidehiko, T. (1991). Logic design assistance using temporal logic based language Tokio. In: Furukawa, K., Tanaka, H., Fujisaki, T. (eds) Logic Programming '89. LP 1989. Lecture Notes in Computer Science, vol 485. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53919-0_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-53919-0_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53919-3

  • Online ISBN: 978-3-540-46398-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation