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
C. J. Koomen, 達 元岡, Ifip Wg · Elsevier eBooks · 1985
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.