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

Learn More →

1991 International Workshop on formal methods in VLSI Design (trip report)

1991 International Workshop on formal methods in VLSI Design (trip report) 1991 International Workshop on Formal Methods in VLSI Design (Trip Report) Zheng Zhu ~ Hardware Methods Group Computer Science Department Indiana University Bloomington, Indiana University (zhu@iuvax.cs.indiana.edu) The 1991 International Workshop on Formal Methods in VLSI Design was held from January 9 through I 1 at Miami, Florida, USA. The workshop was sponsored by ACM/SIGDA in cooperation with IFIP WG 10.2. It was designed to meet the increasing interest, both in academia and industry, in the application of formal methods to the design of reliable, testable and robust integrate systems and it is the first ACM/SIGDA sponsored workshop in the area. The emphasis of this workshop is to provide an opportunity for synergistic interaction between researchers in "traditional" CAD and those interested in formal approaches to design. The workshop accepted 33 papers for presentation and 14 papers for poster session. Those papers cover a wide spectrum of formal methods research, ranging from model checking, theorem proving, FSMs, thning issues, synthesis and transformation design methodologies to algebraic techniques for design. Panel discussions were conducted throughout the workshop to stimulate exchange and debate. During the workshop, it was a consensus of participants that as technology advances, VLSI design complexity outgrows the http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM SIGDA Newsletter Association for Computing Machinery

1991 International Workshop on formal methods in VLSI Design (trip report)

Zhu, Zheng
ACM SIGDA Newsletter , Volume 21 (1) – Jun 1, 1991
Download PDF
2 pages

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

Abstract

1991 International Workshop on Formal Methods in VLSI Design (Trip Report) Zheng Zhu ~ Hardware Methods Group Computer Science Department Indiana University Bloomington, Indiana University (zhu@iuvax.cs.indiana.edu) The 1991 International Workshop on Formal Methods in VLSI Design was held from January 9 through I 1 at Miami, Florida, USA. The workshop was sponsored by ACM/SIGDA in cooperation with IFIP WG 10.2. It was designed to meet the increasing interest, both in academia and industry, in the application of formal methods to the design of reliable, testable and robust integrate systems and it is the first ACM/SIGDA sponsored workshop in the area. The emphasis of this workshop is to provide an opportunity for synergistic interaction between researchers in "traditional" CAD and those interested in formal approaches to design. The workshop accepted 33 papers for presentation and 14 papers for poster session. Those papers cover a wide spectrum of formal methods research, ranging from model checking, theorem proving, FSMs, thning issues, synthesis and transformation design methodologies to algebraic techniques for design. Panel discussions were conducted throughout the workshop to stimulate exchange and debate. During the workshop, it was a consensus of participants that as technology advances, VLSI design complexity outgrows the

Journal

ACM SIGDA Newsletter – Association for Computing Machinery

Published: Jun 1, 1991

There are no references for this article.