Hardware algorithms and logic design automation: An overview and progress report

Shuzo Yajima, Hiroto Yasuura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, we discussed several problems in the design of hardware algorithms and logic design automation. The theory of complexty of logic circuits and parallel computation will form the foundation of design of hardware algorithms which will become more important for larger VLSI systems. Especially, the relation between the complexities of software and hardware is very important for practical system design, because systems are combination of software and hardware. Design automation is one of the most highlighted fields in computer science. There are still many hard problems to solve in developing much efficient design automation system. Researches on high-level hardware design languages, automatic logic design from descriptions of three languages and design verification techniques for large systems have been increasing. Several techniques developed in the software engineering will be applied to these area.

Original languageEnglish
Title of host publicationRIMS Symposia on Software Science and Engineering - Proceedings
EditorsReiji Nakajima, Ikuo Nakata, Eiichi Goto, Koichi Furukawa, Akinori Yonezawa
PublisherSpringer Verlag
Pages147-164
Number of pages18
ISBN (Print)9783540119807
DOIs
Publication statusPublished - Jan 1 1983
EventRIMS Symposia on Software Science and Engineering, 1982 - Kyoto, Japan
Duration: Jan 1 1982Jan 1 1982

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume147 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherRIMS Symposia on Software Science and Engineering, 1982
CountryJapan
CityKyoto
Period1/1/821/1/82

Fingerprint

Logic Design
Design Automation
Logic design
Hardware Design
Algorithm Design
Automation
Hardware
Software
Parallel Computation
Software Engineering
System Design
Computer Science
Logic circuits
Logic
Computer science
Software engineering
Systems analysis
Design
Language

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Yajima, S., & Yasuura, H. (1983). Hardware algorithms and logic design automation: An overview and progress report. In R. Nakajima, I. Nakata, E. Goto, K. Furukawa, & A. Yonezawa (Eds.), RIMS Symposia on Software Science and Engineering - Proceedings (pp. 147-164). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 147 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-11980-9_21

Hardware algorithms and logic design automation : An overview and progress report. / Yajima, Shuzo; Yasuura, Hiroto.

RIMS Symposia on Software Science and Engineering - Proceedings. ed. / Reiji Nakajima; Ikuo Nakata; Eiichi Goto; Koichi Furukawa; Akinori Yonezawa. Springer Verlag, 1983. p. 147-164 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 147 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Yajima, S & Yasuura, H 1983, Hardware algorithms and logic design automation: An overview and progress report. in R Nakajima, I Nakata, E Goto, K Furukawa & A Yonezawa (eds), RIMS Symposia on Software Science and Engineering - Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 147 LNCS, Springer Verlag, pp. 147-164, RIMS Symposia on Software Science and Engineering, 1982, Kyoto, Japan, 1/1/82. https://doi.org/10.1007/3-540-11980-9_21
Yajima S, Yasuura H. Hardware algorithms and logic design automation: An overview and progress report. In Nakajima R, Nakata I, Goto E, Furukawa K, Yonezawa A, editors, RIMS Symposia on Software Science and Engineering - Proceedings. Springer Verlag. 1983. p. 147-164. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/3-540-11980-9_21
Yajima, Shuzo ; Yasuura, Hiroto. / Hardware algorithms and logic design automation : An overview and progress report. RIMS Symposia on Software Science and Engineering - Proceedings. editor / Reiji Nakajima ; Ikuo Nakata ; Eiichi Goto ; Koichi Furukawa ; Akinori Yonezawa. Springer Verlag, 1983. pp. 147-164 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{a00116c82a20448e9ff5cff2cf6d1f25,
title = "Hardware algorithms and logic design automation: An overview and progress report",
abstract = "In this paper, we discussed several problems in the design of hardware algorithms and logic design automation. The theory of complexty of logic circuits and parallel computation will form the foundation of design of hardware algorithms which will become more important for larger VLSI systems. Especially, the relation between the complexities of software and hardware is very important for practical system design, because systems are combination of software and hardware. Design automation is one of the most highlighted fields in computer science. There are still many hard problems to solve in developing much efficient design automation system. Researches on high-level hardware design languages, automatic logic design from descriptions of three languages and design verification techniques for large systems have been increasing. Several techniques developed in the software engineering will be applied to these area.",
author = "Shuzo Yajima and Hiroto Yasuura",
year = "1983",
month = "1",
day = "1",
doi = "10.1007/3-540-11980-9_21",
language = "English",
isbn = "9783540119807",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "147--164",
editor = "Reiji Nakajima and Ikuo Nakata and Eiichi Goto and Koichi Furukawa and Akinori Yonezawa",
booktitle = "RIMS Symposia on Software Science and Engineering - Proceedings",
address = "Germany",

}

TY - GEN

T1 - Hardware algorithms and logic design automation

T2 - An overview and progress report

AU - Yajima, Shuzo

AU - Yasuura, Hiroto

PY - 1983/1/1

Y1 - 1983/1/1

N2 - In this paper, we discussed several problems in the design of hardware algorithms and logic design automation. The theory of complexty of logic circuits and parallel computation will form the foundation of design of hardware algorithms which will become more important for larger VLSI systems. Especially, the relation between the complexities of software and hardware is very important for practical system design, because systems are combination of software and hardware. Design automation is one of the most highlighted fields in computer science. There are still many hard problems to solve in developing much efficient design automation system. Researches on high-level hardware design languages, automatic logic design from descriptions of three languages and design verification techniques for large systems have been increasing. Several techniques developed in the software engineering will be applied to these area.

AB - In this paper, we discussed several problems in the design of hardware algorithms and logic design automation. The theory of complexty of logic circuits and parallel computation will form the foundation of design of hardware algorithms which will become more important for larger VLSI systems. Especially, the relation between the complexities of software and hardware is very important for practical system design, because systems are combination of software and hardware. Design automation is one of the most highlighted fields in computer science. There are still many hard problems to solve in developing much efficient design automation system. Researches on high-level hardware design languages, automatic logic design from descriptions of three languages and design verification techniques for large systems have been increasing. Several techniques developed in the software engineering will be applied to these area.

UR - http://www.scopus.com/inward/record.url?scp=0020869901&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0020869901&partnerID=8YFLogxK

U2 - 10.1007/3-540-11980-9_21

DO - 10.1007/3-540-11980-9_21

M3 - Conference contribution

AN - SCOPUS:0020869901

SN - 9783540119807

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 147

EP - 164

BT - RIMS Symposia on Software Science and Engineering - Proceedings

A2 - Nakajima, Reiji

A2 - Nakata, Ikuo

A2 - Goto, Eiichi

A2 - Furukawa, Koichi

A2 - Yonezawa, Akinori

PB - Springer Verlag

ER -