Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

Author(s)

• IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design
• Claesen, Luc J. M.
• Interuniversity Micro-Electronics Center

Bibliographic Information

Formal VLSI specification and synthesis : Proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design

sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen

（VLSI Design methods, v. 1）

North-Holland , Distributed for the U.S. and Canada, Elsevier Science Pub. Co., 1990

Note

Includes bibliographical references

Details

• NCID: BA10229533
• ISBN:
  • 044488372X
• LCCN: 90006948
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York,New York, N.Y.
• Pages/Volumes: xv, 414 p.
• Size: 24 cm
• Classification:
  • LCC : TK7874
  • DC20 : 621.39/5
• Subject Headings:
  • LCSH : Integrated circuits -- Very large scale integration -- Design and construction -- Data processing -- Congresses
  • LCSH : Computer-aided design -- Congresses
  • LCSH : Integrated circuits -- Very large scale integration -- Testing -- Congresses
• Parent Bibliography ID:
  • BA10229635