Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

1991 ACM/SIGDA International Workshop on Formal Methods in VLSI Design

1991 ACM/SIGDA International Workshop on Formal Methods in VLSI Design Workshop Report 1991 A C M / S I G D A I N T E R N A T I O N A L W O R K S H O P F O R M A L M E T H O D S IN VLSI DESIGN P. A. S u b r a h m a n y a m ( W o r k s h o p C h a i r ) A T & T Bell L a b o r a t o r i e s , H o l m d e l , N . J . 07733 ON The 1991 International Workshop on Formal Methods in VLSI Design was held from January 9 through 11 at the Omni International in Miami, Florida. The workshop was sponsored by ACM SIGDA, in coperation with IFIP Working Group 10.2 on System Description and Design Tools. Background and Focus The workshop was designed to meet the increased interest, both in academia and industry, in the aplication of formal methods to the design of reliable, testable, and robust integrated systems. Previous workshops in this series (organized within the scope of IFIP http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGDA Newsletter Association for Computing Machinery

1991 ACM/SIGDA International Workshop on Formal Methods in VLSI Design

Chairman-Subrahmanyam, P. A.
ACM SIGDA Newsletter , Volume 21 (1) – Jun 1, 1991
Download PDF
7 pages

Loading next page...
 
/lp/association-for-computing-machinery/1991-acm-sigda-international-workshop-on-formal-methods-in-vlsi-design-yHtP0EwII8
Publisher
Association for Computing Machinery
Copyright
Copyright © 1991 by ACM Inc.
ISSN
0163-5743
DOI
10.1145/126990.126993
Publisher site
See Article on Publisher Site

Abstract

Workshop Report 1991 A C M / S I G D A I N T E R N A T I O N A L W O R K S H O P F O R M A L M E T H O D S IN VLSI DESIGN P. A. S u b r a h m a n y a m ( W o r k s h o p C h a i r ) A T & T Bell L a b o r a t o r i e s , H o l m d e l , N . J . 07733 ON The 1991 International Workshop on Formal Methods in VLSI Design was held from January 9 through 11 at the Omni International in Miami, Florida. The workshop was sponsored by ACM SIGDA, in coperation with IFIP Working Group 10.2 on System Description and Design Tools. Background and Focus The workshop was designed to meet the increased interest, both in academia and industry, in the aplication of formal methods to the design of reliable, testable, and robust integrated systems. Previous workshops in this series (organized within the scope of IFIP

Journal

ACM SIGDA Newsletter – Association for Computing Machinery

Published: Jun 1, 1991

There are no references for this article.