Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985

著者

書誌事項

Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Seventh International Conference on Computer Hardware Description Languages and Their Applications, Tokyo, Japan, 29-31 August, 1985

edited by C.J. Koomen, T. Moto-oka

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science, 1985

大学図書館所蔵 件 / 全12件

この図書・雑誌をさがす

内容説明・目次

内容説明

The papers of this seventh conference reflect the gradual shift from the original emphasis on the uses of language design to describe hardware, toward more formal techniques for specification and verification. This volume highlights the following topics: - Languages to specify and describe hardware design, to reason about timing and functional behaviour, and to support modelling and performance evaluation - Synthesis and verification of systems as means of support for the design process, and as a guarantee of design consistency and functional correctness - Tool Integration aspects such as the representation of design information, and the putting together of tools within a coherent design environment.

目次

  • Keynote Speech (J. Darringer). Invited Paper: Testable Design and Design Language (K. Kinoshita). Specification 1 (Papers by: S. Dasgupta, J. Heinanen
  • G.C. Gopalakrishnan, D.R. Smith, M.K. Srivas
  • P. Amblard, P. Caspi, N. Halbwachs). Synthesis 1 (Papers by: S. Takagi
  • Y. Nakamura et al.
  • R. Bruck, B. Kleinjohann, F.J. Rammiq). Verification 1 (Papers by: N. Browne et al.
  • W. Grass, N. Schielow
  • M. Fujita, H. Tanaka, T. Moto-Oka). Specification 2 (Papers by: S. Gregory, R. Neely, G. Ringwood
  • M. Daniels, H.A. Hansson
  • H. Eveking). Simulation 1 (Papers by: J.W. Davidson
  • J.T. Hsieh, A.R. Plezzkun, M.K. Vernon). Tool Integration 1 (Papers by: G. Marechal, L.D.J. Eggermont
  • J. Mermet
  • D. Borrione, C. le Faou
  • S. Morpurgo et al.). CHDL (Papers by: M.R. Barbacci et al.
  • J.D. Morison
  • N.E. Peeling, T.L. Thorp
  • T. Hoshino, O. Karatsu, T. Nakashima). Tool Integration 2 (Papers by: D.W. Knaap, A.C. Parker
  • N.E. Peeling, J.D. Morison
  • C. Bellon et al.). Synthesis 2 (Papers by: T. Mano et al.
  • W. Rosenstiel). Verification 2 (Papers by: G.J. Milne
  • F.K. Hanna, N. Daeche
  • J. Herbert
  • G. Cabodi et al.). Simulation 2 (Papers by: S.Y.H. Su, B. Amini
  • T. Sasaki et al.). Author Index.

「Nielsen BookData」 より

詳細情報

ページトップへ