Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991
著者
書誌事項
Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Tenth International Symposium on Computer Hardware Description Languages and Their Applications, Marseille, France, 22-24 April 1991
North-Holland, 1991
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
The topic areas presented within this volume focus on design environments and the applications of hardware description and modelling - including simulation, verification by correctness proofs, synthesis and test. The strong relationship between the topics of CHDL'91 and the work around the use and re-standardization of the VHDL language is also explored. The quality of this proceedings, and its significance to the academic and professional worlds is assured by the excellent technical programme here compiled.
目次
Keynote: Some Issues in HDL-based Behaviour Modelling (R. Piloty, - Germany). Sessions: Verification 1 (C.D. Kloos, - Spain, Chair.): From a HDL Description to Formal Proof Systems: Principles and Mechanization (L. Pierre - France), Specification and Verification of Hardware Systems Using the Temporal Logic Language TRIO (A. Coen-Porisini, A. Morzenti, D. Sciuto, - Italy), A Methodology for Proving Correctness of Parameterized Hardware Modules in HOL (C.M. Angelo, L. Claesen, H. De Man, - Belgium). Simulation 1 (P. Bakowski, - France, Chair.): An Exercise in VHDL Timing Back-Annotation (G. Jennings - Sweden), Behavioral Level Modeling of Gate Level Loading Effects (Z. Navabi - USA), Putting Different Simulation Models Together - The Simulation Configuration Language VHDL/S (A. Oczko, C. Oczko - Germany). Verification 2 (E. Clarke - USA, Chair.): Abstraction Mechanisms for Hardware Verification: Formalisation in a Process Algebra (A. Bailey - UK), Verification of Synchronous Sequential Circuits Obtained from Algorithmic Specifications (F. Corella, R. Camposano, R. Bergamaschi, M. Payer - USA), A Method for Symbolic Verification of Synchronous Circuits (T. Filkorn - Germany). Design Environments 1 (F. Wagner - Brazil, Chair.): Operation/Event Graphs: A Design Representation for Timing Behavior (T. Amon, G. Borriello, C. Sequin - USA), A New Timed Petri Net Model for Hardware Representation (G. Buonanno, S. Morasca, M. Pezze, K. Portman, D. Sciuto - Italy), An Object-Oriented Framework Supporting the Full High-Level Synthesis Trajectory (D. Lanneer, et al.- Belgium). Synthesis (R. Camposano - USA, Chair.):VHDL Extensions Needed for Synthesis and Design (D. Agnew - Canada), Hierarchical Action Refinement: A Methodology for Compiling Asynchronous Circuits from a Concurrent HDL (V. Akella, G. Gopalakrishnan - USA), EDISYN: A Language-Based Editor for High-Level Synthesis (C. Chang, G.M. Brown, M.E. Leeser - USA). Design Environment 2 (F. Rammig - Germany, Chair.): A Constraint-Driven Approach to Configuration Binding in an Object-Oriented VHDL CAD System (N.D. Dutt, J.H. Cho, T. Hadley - USA). Test (D. Agnew - Canada, Chair.): VHDL Semantics for Behavioral Test Generation (C.H. Cho, J.R. Armstrong - USA), Using a VHDL Description to Generate Hardware Test (P. Wodey, C. Robach - France), Functional Tests for Hardware Derived from VHDL Description (H. Hummer, H. Veit, H. Topfer - Germany). Invited Papers: Declarative Languages - Still a Long Way to Go (R. Boute - The Netherlands), Experience in Designing Formally Verifiable HDL's (H. Eveking - Germany). Short Papers: (M.J. Chung - USA, Chair.): High Level Specification and Synthesis of Sequential Logic Modules (P. Hou, R.M. Owens, M.J. Irwin - USA), Fully Generic Description of Hardware in VHDL (J.J. Joyce, J.P. Van Tassel - Canada), Integrating Hardware Verification with CHDLs (S. Rajgopal, K. Hedlund, D. Reeves - USA), SpecCharts: A Language for System Level Synthesis (F. Vahid, S. Narayan, D.D.
「Nielsen BookData」 より
